Pretty happy with how my total programming language with python-ish syntax is coming. Here's an example of a Natural number type: https://github.com/johnynek/bosatsu/pull/383/files#diff-56e5e6597c7672b866737f3bb2af3b38 … -- play with it in your browser here: https://johnynek.github.io/bosatsu/compiler/ …
-
-
that was an original motivation... now that the language works, I should go ahead and implement the skylark backend. It would be really cool.
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.