Konrad Hinsen
boosted
racket based solver-aided programming
racket based solver-aided programming
Oxur - A Modern #Lisp for the Next Generation of Developers.
https://oxur.li/
[under active development]
@frescosecco typed #lisp?
That piques my interest. Lack of types is probably one of the biggest hurdles for me to use lisp more.
I know about typed #racket , but the syntax just feels ugly to me.
Chip Butty
boosted
This may be what finally pushes me over the edge to become a normal person by finally ditching #Chez #Scheme for Racket:
"With the version 9.0 release, #Racket includes support for shared-memory threads that can take advantage of multicore hardware and OS threads to run in parallel— not merely concurrently with other Racket threads, as was the case in versions before 9.0."
https://blog.racket-lang.org/2025/11/parallel-threads.html
This may be what finally pushes me over the edge to become a normal person by finally ditching #Chez #Scheme for Racket:
"With the version 9.0 release, #Racket includes support for shared-memory threads that can take advantage of multicore hardware and OS threads to run in parallel— not merely concurrently with other Racket threads, as was the case in versions before 9.0."
https://blog.racket-lang.org/2025/11/parallel-threads.html
"Build a Compiler in Five Projects"
https://kmicinski.com/functional-programming/2025/11/23/build-a-language/
