Archived tweet #12006 from the @leastfixedpoint Twitter Archive

@defnotbeka So I think Smalltalk shows one way a *system* designed for inhabiting a partial program can work. Perhaps it'd be valuable to study the system, and bring the relevant features from it into a (new?) language, to see if you can statically achieve what the Smalltalk *system* gets.