Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/johnynek/bosatsu
A python-ish pure and total functional programming language
https://github.com/johnynek/bosatsu
functional-programming language
Last synced: 25 days ago
JSON representation
A python-ish pure and total functional programming language
- Host: GitHub
- URL: https://github.com/johnynek/bosatsu
- Owner: johnynek
- License: apache-2.0
- Created: 2017-10-19T02:48:28.000Z (about 7 years ago)
- Default Branch: main
- Last Pushed: 2024-04-14T18:57:39.000Z (8 months ago)
- Last Synced: 2024-04-16T17:39:00.847Z (8 months ago)
- Topics: functional-programming, language
- Language: Scala
- Homepage:
- Size: 128 MB
- Stars: 220
- Watchers: 14
- Forks: 10
- Open Issues: 113
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- programming-languages - Bosatsu - Python-ish pure and total functional programming language. (Functional)
README
# The Bosatsu Programming Language
Bosatsu (菩薩) is the transliteration in Japanese of the sanskrit bodhisattva.
A bodhisattva is someone who can reach enlightenment but decides not to, to
help others achieve that goal. -- Wikipedia
Bosatsu is a simple, non-turing complete language designed for configuration, queries and scripting. It
borrows from [Python](https://www.python.org/), [Haskell](https://www.haskell.org/),
[Dhall](https://hackage.haskell.org/package/dhall) and [Rust](https://www.rust-lang.org/en-US/).
Please see the [documentation site](https://johnynek.github.io/bosatsu/)
or try basic expressions using this [in-browser Bosatsu compiler](https://johnynek.github.io/bosatsu/compiler/).
## An example of Bosatsu
Here is a working Bosatsu program to solve the first [Project Euler](https://projecteuler.net/) problem:
```
package Euler/One
# see:
# https://projecteuler.net/problem=1
# Find the sum of all the multiples of 3 or 5 below 1000.
operator == = eq_Int
operator % = mod_Int
def operator ||(x, y):
True if x else y
def keep(i):
(i % 3 == 0) || (i % 5 == 0)
def sum(as): as.foldLeft(0, add)
# here is the python version:
# >>> sum(i for i in xrange(1000) if keep_fn(i))
# 233168
#
# bosatsu version here
computed = sum([i for i in range(1000) if keep(i)])
test = Assertion(computed == 233168, "expected 233168")
```
## Contributing
Please feel free to file an issue to discuss making a change to Bosatsu or
to ask a question about how Bosatsu might be useful for a use-case that is
interesting to you.
## Development notes:
Bosatsu is developed in Scala. We use `sbt` as the build system. To build
bosatsu, run `sbt cli/assembly` and then the script `./bosatsuj` should print
help (see the documentation link above for more help). `sbt test` should run
all the tests.
### How to run the benchmarks
At the `sbt` prompt:
```
bench/jmh:run -i 3 -wi 3 -f1 -t1
```
or for a specific benchmark
```
bench/jmh:run -i 3 -wi 3 -f1 -t1 .*SomeBench.*
```