Jordan Mackie
Jordan Mackie
Suppose I'm rendering a type error that involves some large/gnarly types. Ideally, I'd like to format/pretty-print those types over multiple lines to make them readable. But afaict this isn't something...
### What's not working? At [Nous](https://github.com/project-nous) our Redwood test suite has become _incredibly_ resource hungry, to the point that we can't actually run the entire suite on our local machines....
`flutter build apk` is working for me on NixOS :ok_hand: Now I'd like to `flutter run` on an emulator. So still with virtually no understanding on Android I tried: ```...
Time to start thinking about making `ditto` fast, methinks. This first batch of benchmarks are guided by #217, which identified some suspicious outliers when profiling a cold build of https://github.com/ditto-lang/playground....
We need benchmarks to guide optimization work and catch performance regressions. At the very least we should be benchmarking: - Parsing - Type checking - Code generation There's probably no...
The result is a lot of reaching across directory/package boundaries, which doesn't play nicely with `pnpm`.
Currently the Ditto type system supports higher-kinded type variables, for example... ```ditto type IntContainer(f) = IntContainer(f(Int)); ``` Here, `f` has the kind `Type -> Type`. This _could_ be useful if...