bosatsu
bosatsu copied to clipboard
johnynek
A python-ish pure and total functional programming language
We could optionally take a cache directory as an option, and if given, we could cache compilation of files into packages. We could use a hash of the expressions without...
often (we should be so lucky) one hits a limit of the arg length a program can test. The canonical solution to this is to pass a file and we...
see the sort implementation in #406 and this tweet: https://twitter.com/milessabin/status/1197977313809510400?s=20 see: https://personal.cis.strath.ac.uk/conor.mcbride/TotallyFree.pdf http://casperbp.net/store/intrinsicallytyped.pdf http://www.cs.nott.ac.uk/~pszvc/publications/General_Recursion_MSCS_2005.pdf this tweet: https://twitter.com/jer_gib/status/1053066342180446208 calls the fuel pattern the "Bove-Capretta Method"
Right now, each name is either exported or not. We don't have any mechanism as in java for limited exports. We could have something like: ``` export [ foo, bar...
see #392 One obvious thing I haven't done much work on is that it is much easier to get started if bosatsu CLI is usable without other tools or writing...
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...