4 ms·
Lem's Coalton mode looks good: https://lem-project.github.io/modes/coalton-lang/ https://lem-project.github.io/modes/coalton-lang/
by vindarel 7mo ago
Lem's Coalton mode looks good: https://lem-project.github.io/modes/coalton-lang/ https://lem-project.github.io/modes/coalton-lang/
- tkrn 7mo agoNice, pretty much what I had in mind. I think there could be some interesting potential there tooling wise. Combining a highly dynamic interactive environment with a good statically typed language sounds fascinating to me and it's something that at least to my knowledge has never been seriously tried. Only Strongtalk comes to mind but I have no idea how it was like in practice, and I assume the type system was something closer to Java.
- deleted 7mo ago[deleted]