Re:Limbo – A Reasoning System for First-Order Limited Belief
by theoh on Saturday May 06, 2017 @08:58PM
(#14283234)
See also Newsqueak (also Rob Pike) and the Squeak implementation of smalltalk.
Would suggest "There is already a software project called Limbo, although it's in a quite different domain." In fact there is already also this: https://sourceforge.net/projects/limbopcemulator/ and the Limbo language is almost definitely not in serious use anywhere. (Having bought a copy of Inferno a few years ago and played with it, it didn't feel like a mature platform.)
Would suggest "There is already a software project called Limbo, although it's in a quite different domain." In fact there is already also this: https://sourceforge.net/projects/limbopcemulator/ and the Limbo language is almost definitely not in serious use anywhere. (Having bought a copy of Inferno a few years ago and played with it, it didn't feel like a mature platform.)