Skip to content
Oeiuwq Faith Blog OpenSource Porfolio

bitwalker/aria

An experiment in programming language design

bitwalker/aria.json
{
"createdAt": "2016-11-30T03:08:04Z",
"defaultBranch": "master",
"description": "An experiment in programming language design",
"fullName": "bitwalker/aria",
"homepage": null,
"language": null,
"name": "aria",
"pushedAt": "2016-11-30T03:17:00Z",
"stargazersCount": 7,
"topics": [],
"updatedAt": "2019-04-30T20:08:51Z",
"url": "https://github.com/bitwalker/aria"
}

Aria is an ML-style programming language, in the vein of OCaml, but with my take on syntax and features. In short:

  • Interpreted, but with the option for native-code compilation
  • First class polymorphism
  • Functors/first-class modules, like OCaml
  • Sum/product types
  • Actor-based concurrency model
  • FFI
  • Macros
  • A strong, but conservative standard library, like Go
  • First-class tooling for testing/documentation, like Elixir

I’m currently working through the design phase, and have some toy implementations, but will wait to push anything until I’m feeling good about the core of what’s built. I plan to post my notes as I go along.

MIT