|
|
|
|
|
|
by arxanas
1105 days ago
|
|
|
Why would you need substructural typing to emulate Typescript? Is there a substructural type system feature in TS? You can accomplish width subtyping with OCaml's "polymorphic variants", which could be used to emulate TS union types more flexibly than traditional sum types. What are the features of Elm and Purescript that help model TS that OCaml doesn't have? |
|
|