ditto

ditto copied to clipboard

[](https://renovatebot.com) Welcome to [Renovate](https://togithub.com/renovatebot/renovate)! This is an onboarding PR to help you understand and configure settings before regular Pull Requests begin. 🚦 To activate Renovate, merge this Pull Request....

renovate[bot]

This issue lists Renovate updates and detected dependencies. Read the [Dependency Dashboard](https://docs.renovatebot.com/key-concepts/dashboard/) docs to learn more. ## Open These updates have all been created already. Click a checkbox below to...

renovate[bot]


jmackie

jmackie

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....

jmackie

Compiler benchmarks

1

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...

jmackie

The result is a lot of reaching across directory/package boundaries, which doesn't play nicely with `pnpm`.

jmackie

jmackie

Is higher-kindedness worth it?

2

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...

jmackie

Use Rome?

1

Maybe we can integrate https://rome.tools/ into the JavaScript codegen, as it's all written in Rust?

jmackie