P. Oscar Boykin
P. Oscar Boykin
``` 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)...
``` [info] - subset consistency: a n b == a a - b = 0 *** FAILED *** (91 milliseconds) [info] TestFailedException was thrown during property evaluation. [info] Message: false...
We could ban defining operators that end with a single `=` such as `+=`. Then we could expand that syntax into: ``` x = x + 1 # same as...
a common idiom in python is something like: ```python x = 0 for y in z: x += y return x ``` This does not look so functional, but it...
We added support for using the names on constructors (#289) We could follow a similar approach for named functions: at the source to expression translation layer, we replace named function...
Since bosatu is total, can we adapt the totality checking to compute a limit of the number of recursive calls made? It seems like maybe yes, because we can look...