3 ms·
Is there any statically-typed FP language with Lisp's parenthesized syntax?
by ggregoire 6y ago
Is there any statically-typed FP language with Lisp's parenthesized syntax?
- simongray 6y agohttps://github.com/carp-lang/Carp https://github.com/carp-lang/Carp
- bmitc 6y agoTyped Racket is one option: https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/ I'd say also that the ML-dialects, such as F#, Ocaml, and SML, are pretty close to a statically typed Lisp/Scheme, at least in the flavor of programming aside from them having better pattern matching built-in. I'd like to see a specifically designed statically typed parenthetical language, basically something that merges Racket and F# but simplifies things a bit.