|
| From: | Clément Pit-Claudel |
| Subject: | Re: Tracking buffer positions across time, without markers (was Re: PL support) |
| Date: | Mon, 11 May 2020 11:03:37 -0400 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
On 11/05/2020 10.24, Eli Zaretskii wrote: >> It's not unusual for compilation cycles or checking to take up to a minute > > Minutes sounds ... bad. What takes minutes in these cases? Typechecking :) I often work with complicated type systems that can encode arbitrary properties, and there typechecking can be costly. Or I work with tools that statically check assertions in code, and often these checks are pretty slow.
| [Prev in Thread] | Current Thread | [Next in Thread] |