P. Oscar Boykin
P. Oscar Boykin
Not sure who would be very interested, but it is interesting to note that I think it is very easy to make a nodejs version of bosatsu since we use...
There are interesting classes useful for optimization at compile/evaluation time: 1. enumeration like: `enum T: A, B, C, D` these can be represented by a single integral number with a...
The parser needs better error messages. When we fail to parse e.g. missing `)` it does not give very good messages. One interesting law: if we make a random package...
Given that we have a total language, we probably want Nat and PositiveNat that are closed under addition and multiplication. Also, then `div` and `mod` could take a `PositiveNat` and...
see #342 for more discussion. We should try to remove backtracking as much as possible. Cases where we currently have it: 1. binding parsing in Declaration. There is an ambiguity...
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]...