{"id":13787722,"url":"https://github.com/johnynek/bosatsu","last_synced_at":"2026-04-01T22:51:46.121Z","repository":{"id":27578808,"uuid":"107490085","full_name":"johnynek/bosatsu","owner":"johnynek","description":"A python-ish pure and total functional programming language","archived":false,"fork":false,"pushed_at":"2026-03-02T01:24:11.000Z","size":334285,"stargazers_count":230,"open_issues_count":96,"forks_count":12,"subscribers_count":11,"default_branch":"main","last_synced_at":"2026-03-02T01:31:56.902Z","etag":null,"topics":["functional-programming","language"],"latest_commit_sha":null,"homepage":"","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/johnynek.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2017-10-19T02:48:28.000Z","updated_at":"2026-03-02T00:50:39.000Z","dependencies_parsed_at":"2023-02-19T05:16:11.022Z","dependency_job_id":"d6ab13c8-08a5-4f37-b3cd-4d094aedc17e","html_url":"https://github.com/johnynek/bosatsu","commit_stats":null,"previous_names":[],"tags_count":41,"template":false,"template_full_name":null,"purl":"pkg:github/johnynek/bosatsu","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnynek%2Fbosatsu","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnynek%2Fbosatsu/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnynek%2Fbosatsu/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnynek%2Fbosatsu/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/johnynek","download_url":"https://codeload.github.com/johnynek/bosatsu/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnynek%2Fbosatsu/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30107658,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-05T01:39:18.192Z","status":"online","status_checked_at":"2026-03-05T02:00:06.710Z","response_time":93,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["functional-programming","language"],"created_at":"2024-08-03T21:00:28.577Z","updated_at":"2026-04-01T22:51:46.102Z","avatar_url":"https://github.com/johnynek.png","language":"Scala","readme":"# The Bosatsu Programming Language\n![Codecov](https://img.shields.io/codecov/c/github/johnynek/bosatsu.svg?style=flat-square)\n\nBosatsu (菩薩) is the transliteration in Japanese of the sanskrit bodhisattva.\nA bodhisattva is someone who can reach enlightenment but decides not to, to\nhelp others achieve that goal.  -- Wikipedia\n\nBosatsu is a simple, non-turing complete language designed for configuration, queries and scripting. It\nborrows from [Python](https://www.python.org/), [Haskell](https://www.haskell.org/),\n[Dhall](https://hackage.haskell.org/package/dhall) and [Rust](https://www.rust-lang.org/en-US/).\n\nBosatsu aims to keep logic flow literal in the source even when the compiler is\ndoing sophisticated checking. A reader should be able to see the package\ninterface at the top of the file, where each non-predef name comes from, and\nhow control flows through the program directly from the syntax. Bosatsu is\nstricter about names than about type annotations: dependencies stay explicit,\nwhile most types can be inferred unless the source literally names a foreign\ntype.\n\nCorrectness comes from a sound total language with explicit effects and\nprivate-by-default package boundaries. Simplicity comes from local reasoning,\nnot from minimizing keystrokes at all costs.\n\nPlease see the [documentation site](https://johnynek.github.io/bosatsu/)\nand the [Getting started guide](docs/src/main/paradox/getting_started.md)\nor try basic expressions using this [in-browser Bosatsu compiler](https://johnynek.github.io/bosatsu/compiler/).\n\n## An example of Bosatsu\nHere is a working Bosatsu program to solve the first [Project Euler](https://projecteuler.net/) problem:\n```\npackage Euler/One\n\n# see:\n# https://projecteuler.net/problem=1\n# Find the sum of all the multiples of 3 or 5 below 1000.\n\noperator == = eq_Int\noperator % = mod_Int\n\ndef operator ||(x, y):\n  True if x else y\n\ndef keep(i):\n  (i % 3 == 0) || (i % 5 == 0)\n\ndef sum(as): as.foldl_List(0, add)\n\n# here is the python version:\n# \u003e\u003e\u003e sum(i for i in xrange(1000) if keep_fn(i))\n# 233168\n#\n# bosatsu version here\ncomputed = sum([i for i in range(1000) if keep(i)])\n\ntest = Assertion(computed == 233168, \"expected 233168\")\n```\n\n## Contributing\nPlease feel free to file an issue to discuss making a change to Bosatsu or\nto ask a question about how Bosatsu might be useful for a use-case that is\ninteresting to you.\n\n## Tree-sitter + Neovim\nBosatsu has an in-repo Tree-sitter grammar at\n`syntax/tree-sitter-bosatsu`.\n\nFor local parser workflows and Neovim setup (`:TSInstall bosatsu`,\n`:TSUpdate bosatsu`), see:\n`syntax/tree-sitter-bosatsu/README.md`.\n\n## Release\nSee [release.md](release.md) for the release workflow and tagging steps.\n","funding_links":[],"categories":["JVM语言","Functional"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjohnynek%2Fbosatsu","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjohnynek%2Fbosatsu","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjohnynek%2Fbosatsu/lists"}