News for hackers. Stuff that matters.
Re:Land of Lisp (2010) by wyager on Saturday January 08, 2022 @06:53PM (#29858002)
Are there any implementations of good type systems on top of lisp (let's say approaching Haskell's in capability)?
Re:Land of Lisp (2010) by vindarel on Saturday January 08, 2022 @07:00PM (#29858065)
There is! Coalton: https://github.com/coalton-lang/coalton

> Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp

Re:Land of Lisp (2010) by rajandatta on Saturday January 08, 2022 @07:13PM (#29858201)
Typed Racket is getting steady development and focus but more closely resembles Scheme.