4 ms·
> SML in particular is cute if you use your tiny Prolog to implement the type system. That sounds pretty cool; do you know of an implementation of SML that fit
by trealira 2y ago
> SML in particular is cute if you use your tiny Prolog to implement the type system.
That sounds pretty cool; do you know of an implementation of SML that fits into 10 KB of memory because it uses tiny Prolog?
- johnnyjeans 2y agoI do not. As far as I'm aware, SML is much like C in that despite being a relatively simple language, there aren't many toy implementations floating around.