2 ms·
I love the hyper-introspective living environment of Smalltalk, but I'm a functional programming type nerd and fantasize regularly about something like Smalltal
by wk_end 6y ago
I love the hyper-introspective living environment of Smalltalk, but I'm a functional programming type nerd and fantasize regularly about something like Smalltalk + dependent types, which feels like it'd be a dream development environment for me.
- TurboHaskal 6y agoYou cannot have both.
- wk_end 6y agoWhy not?
- pjmlp 6y agoWell, for many people Common Lisp also counts as FP, so https://franz.com/products/allegro-common-lisp/acl_ide.lhtml https://franz.com/products/allegro-common-lisp/acl_ide.lhtml http://www.lispworks.com/products/lispworks.html http://www.lispworks.com/products/lispworks.html And if you happen to use a Mac, https://ccl.clozure.com/docs/ccl.html#the-clozure-cl-ide https://ccl.clozure.com/docs/ccl.html#the-clozure-cl-ide As history info, going back to the Smalltalk days, Interlisp-D at Xerox http://www.softwarepreservation.org/projects/LISP/interlisp_family http://www.softwarepreservation.org/projects/LISP/interlisp_... Check the paper "The Interlisp programming environment".