News for hackers. Stuff that matters.
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.
Re:Racket 8.4 by epolanski on Wednesday February 09, 2022 @07:58PM (#30281092)
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)
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.

[0] https://coalton-lang.github.io/