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/ …
-
-
but for real... a typed lang that compiles to starlark plzzzzzz
-
that was an original motivation... now that the language works, I should go ahead and implement the skylark backend. It would be really cool.
End of conversation
New conversation -
-
-
not the first time I've been told the branding isn't great, but I like the name. Maybe I should change it though...
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.