hmm
could something like a #Lisp machine be built on a language like #Haskell or #Idris (or something even more strictly functional?)
of course the runtime wouldn't have to be written in eg. Idris, but could something like Lisp's debugging be replaced/complemented by the kind of hole-filling way of writing function implementations?
@h
nah, I don't meant Lisp interpreters, I mean systems like the old Lisp machines
interactive development and debugging but with a (very) type-safe language
@grainloom Last time I saw something vaguely resembling a Lisp machine was this, an embeddded microLisp on MCU
https://hackaday.com/2016/11/11/microlisp-with-matching-parens/
@grainloom @h Isn't it DrRacket with Typed-Racket?
Pshh just write everything in Lisp! Any other language is just fluff.
-Me, a very bias person.
Alright, seriously though, a Haskell machine would be pretty interesting 🤔
@grainloom
It's been done.
https://www.defmacro.org/ramblings/lisp-in-haskell.html
A few times.
https://github.com/IvanIvanov/haskell-lisp-interpreter
In various different ways
https://wiki.haskell.org/Haskell_Lisp#Lisps_in_Haskell