bosatsu
bosatsu copied to clipboard
johnynek
A python-ish pure and total functional programming language
If we don't mention a type, but it is needed to typecheck a mentioned method and we declare a dependency on the module, we shouldn't error but automatically import. If...
we unify type application and curry types left to right, but sometimes we want to name types in a different order. If we had a direct notion of type lambda,...
## About this PR 📦 Updates [org.scalameta:munit-scalacheck](https://github.com/scalameta/munit-scalacheck) from `1.0.0-M12` to `1.0.0-RC1` 📜 [GitHub Release Notes](https://github.com/scalameta/munit-scalacheck/releases/tag/v1.0.0-RC1) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve conflicts as long...
## About this PR 📦 Updates [org.scalameta:munit](https://github.com/scalameta/munit) from `1.0.0-M12` to `1.0.0-RC1` 📜 [GitHub Release Notes](https://github.com/scalameta/munit/releases/tag/v1.0.0-RC1) - [Version Diff](https://github.com/scalameta/munit/compare/v1.0.0-M12...v1.0.0-RC1) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
This is the beginnings of trying to make a basic C runtime to alloc compiling bosatsu to C code.
Cats effect works on all scala platforms now. No reason not to use it in core and we can avoid some of the tagless and also the Par wrapper for...
I noticed if I made a duplicate import that does not exist to a name that collides with a predef name, the error message is bad. I should add a...
See: https://compiler.club/compiling-pattern-matching/ Currently in Matchless we compile pattern matches into nest if/else. But a better algorithm can pretty much always compile into a switch which can be encoded in Python...
External types that model direct machine types would be useful. That said, it might be better to optimize "number like" Enums such that we can model these with enums but...
It would be good to have an immutable Array type that offers constant time access for cases like reading files. We need a total API for it so thinking of...