bosatsu
bosatsu copied to clipboard
A python-ish pure and total functional programming language
I'm wondering if the current pattern syntax might lead to confusion, and if it's early enough to consider changing it consider the program ``` package Example/Match out = match Some(2):...
We support splices for lists, but it would be nice to support the same for tuples: ```python x = (1, 2) y = (*x, 3) (a, *b) = y ```...
I am trying to represent a recordset / query result using the type system. - It will have 0 or more rows. - It will have 0 or more columns....
@snoble offline suggested the ability for operators to serve as constructor patterns: ``` operator // = Tuple2 match (1 // 2 // 3 // 4): a // b // c...
This makes it hard to write infer tests since we can't use anything expanded: list comprehensions, tuples, dictionaries...
right now, we are basically in one big namespace. There is actually a fair amount of code now. I can see a few modules: 1. syntax, parsing, basic name types,...
There are currently bazel rules that allow you to use bosatsu as a json generation system similar to https://github.com/google/jsonnet See `BUILD` in the root directory currently.
ProductValue.fromList *seems* like it would build a struct with the same number of items in the list. It does not do this. you still have to manually encode the cons-cell...
This is almost certainly a bad idea... but hear me out. So the motivating example is I've been working on making a `db_query` external that looks something like `db_query(query: String,...
It might be interesting to support the idea of possible concrete types, that we don't know. ``` struct Pair(fst, sec) def outer(p1: ?a, p2: ?a): Pair(f, _) = p1 Pair(_,...