bosatsu
bosatsu copied to clipboard
johnynek
A python-ish pure and total functional programming language
Currently you could have a function `after_first_3` that looks like ``` def after_first_3(lst): match lst: [_*, 3, x*]: Some(x) _: None ``` but `after_first_n` is difficult. But what if you...
The reason we can't implement universal equality and comparison is that we could have embedded functions (and external types) that we don't know how to compare. If we only had...
set up automatic publishing of projects and artifacts. In addition to the library jars, set up: 1. build a fat jar someone can download from github. 2. build a nodejs...
e.g. here is one that got stuck: https://github.com/johnynek/bosatsu/pull/559/checks?check_run_id=1038409041 By process of elimination, we can probably find with test it is. I guess we are occasionally making very large inputs, or...
``` 2020-08-25T02:13:59.3688158Z [info] MatchlessTest: 2020-08-25T02:13:59.3689713Z [info] - matchless.fromLet is pure: f(x) == f(x) *** FAILED *** (44 seconds, 228 milliseconds) 2020-08-25T02:13:59.3690149Z [info] JavaScriptException was thrown during property evaluation. 2020-08-25T02:13:59.3690544Z [info]...
We support generating JSON output but we could also emit yaml which can be nicer for humans to read. Recall, JSON is a subset of yaml so it shouldn't be...
Set up a static site generator. Likely paradox. Related thread: https://twitter.com/posco/status/1297224648988401664 Goals: Document: 1. installation 2. generating JSON 3. running tests 4. compiling to python
It would be nice to implement hashing in a way that is robust to renames and commenting. This is something that dhall and unison have explored. A packagename, which is...
``` [info] - intersection is commutative *** FAILED *** (85 milliseconds) [info] TestFailedException was thrown during property evaluation. [info] Message: eqA.eqv(a12, a21) was false List(ListPat(List(Item(StrPat(NonEmptyList(WildStr)))))) != List(ListPat(List(Item(StrPat(NonEmptyList(NamedStr(Name(o)))))))) [info] Location: (SetOpsLaws.scala:27)...