ordo
ordo copied to clipboard
FrankBro
Ordo: A minimalist language with row polymorphism
In typescript, discriminated unions are indicated via a field which has a constant value, usually a string. Like so: ```typescript interface Square { kind: "square"; size: number; } interface Rectangle...
Instead of ```fsharp match x with | { case = CaseA } | { case = CaseC } -> 0 ``` Something like ```fsharp match x with | { case...
Hi, could you please add steps to build the compiler and run the repl? I'm on Mac but i think any set of steps will give some idea.
Something like this: https://stackoverflow.com/questions/9248426/basic-error-recovery-with-fparsec
Will be needed for lsp implementation.
Since some records might have something similar fields that would be similar to members in F#, we might want a notation to allow calling the member of a record with...
This is a suggestion that might force users to give good names to their parameters. Here is an example of how it would work: ```ocaml let connect address port =...