Did anyone build a programming language parser by automatically solving a constraint satisfaction problem that maps a handful of exhaustive examples of the desired language to a small Lisp? (I am looking for the a compact way to define a programming language)
-
-
good point, relying on such effects and the knowledge of them was one of the harder barriers for me to get deeper into type theory. but it sure gave me a lot of pleasure when i understood some of them.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.