Re:Racket 8.4
by ipnon on Wednesday February 09, 2022 @07:46PM
(#30280996)
Adding kinds to Typed Racket makes it an even more attractive alternative to purer functional languages.
[ Parent
| on HN ]
What makes racket less pure? Have been looking for a typed lisp to play with for quite some time and the choices have always been either racket or clojure.
Re:Racket 8.4
by KwisaksHaderach on Wednesday February 09, 2022 @08:05PM
(#30281160)
https://shenlanguage.org has static typing.
Re:Racket 8.4
by eyelidlessness on Wednesday February 09, 2022 @09:20PM
(#30281703)
I’m not working with either so this is outside observation at this point, but my takeaway from both is that Clojure is more concerned with functional purity/isolating statefulness, and Racket is more focused on accommodating static types. There’s no reason those should be in conflict, but such is lisp, pick your compromise.
Edit to add: I have worked with Clojure in production, I haven’t for several years, and probably won’t again unless something weird happens in my life.
Re:Racket 8.4
by piethesailorman on Wednesday February 09, 2022 @08:29PM
(#30281351)
And maybe carp?
https://github.com/carp-lang/Carp
Re:Racket 8.4
by reikonomusha on Wednesday February 09, 2022 @08:03PM
(#30281142)
Coalton [0] is an option too if you're more into the Common Lisp style of programming.