bosatsu
bosatsu copied to clipboard
johnynek
A python-ish pure and total functional programming language
I saw this on hacker news: http://erlang.org/pipermail/erlang-questions/2011-May/058768.html where the late Joe Armstrong makes the case that modules are unneeded and mostly about making build units. An alternate approach to modules...
the compiler treats it the same as an unknown name, but we could search especially top-level definitions and suggest reordering the file. Alternatively, we could sort the file topologically. I...
It would be nice to have a Generative/Property testing library.
One thing I’ve been thinking is how annoying it is in many languages to run with all warnings as failure while developing. Since this setting is usually a compiler flag,...
``` [info] - Any declaration may append any whitespace and optionally a comma and parse *** FAILED *** (10 seconds, 513 milliseconds) [info] TestFailedException was thrown during property evaluation. [info]...
I've tried to simplify this a bunch. It's possible this could be related to #264, or I might have just come across this at the same time. ``` package SubsumeTest...
We could also run bosatsu without any typechecking since we convert to Expr before typechecking. We could just put in incorrect types and pass to Evaluation which doesn't use types....
When using bosatsu for configuration, I can imagine users will want to have ways to validate strings. E.g. ``` maven("http://maven.org/repo", "dev.bosatsu:lang:0.1.0") ``` We don't just want to pass anything to...
bazel makes it pretty easy to use its java rules, so if we compile bosatsu to java code, it should be fairly easy to get a bazel rule.
See https://github.com/oracle/graal/blob/master/truffle/README.md This seems to be an interesting path to get a fast JVM implementation. I’d want to do this after #54 since it would be nice to link statically...