{"id":22777872,"url":"https://github.com/a1exwang/adonis-lang","last_synced_at":"2026-05-18T15:39:33.390Z","repository":{"id":95284926,"uuid":"115620470","full_name":"a1exwang/adonis-lang","owner":"a1exwang","description":"A functional programming language with built in NVM support","archived":false,"fork":false,"pushed_at":"2018-04-02T02:52:01.000Z","size":312,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"simple","last_synced_at":"2025-02-05T15:28:31.638Z","etag":null,"topics":["functional-programming","nvm","programming-language","rust"],"latest_commit_sha":null,"homepage":null,"language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/a1exwang.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}},"created_at":"2017-12-28T12:19:30.000Z","updated_at":"2018-04-02T02:52:02.000Z","dependencies_parsed_at":"2023-04-21T11:48:59.581Z","dependency_job_id":null,"html_url":"https://github.com/a1exwang/adonis-lang","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/a1exwang%2Fadonis-lang","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/a1exwang%2Fadonis-lang/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/a1exwang%2Fadonis-lang/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/a1exwang%2Fadonis-lang/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/a1exwang","download_url":"https://codeload.github.com/a1exwang/adonis-lang/tar.gz/refs/heads/simple","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246326598,"owners_count":20759436,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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","nvm","programming-language","rust"],"created_at":"2024-12-11T19:17:32.193Z","updated_at":"2026-05-18T15:39:28.363Z","avatar_url":"https://github.com/a1exwang.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# adonis\nadonis-lang is an programming language.\n\n\n## Dependencies\n\n- cmake 3.4.3+\n- llvm 5.0\n- Google RE2\n\n## Build\n\n- mkdir build\n- cd build\n- cmake ..\n- make -j8\n\n## Design Goals\n- Zero-cost abstraction\n- Static typed, type-safety\n- Compile and JIT\n- Functional\n  - Function object/lambda\n  - Pattern matching\n  - Inner iterator\n  - Immutable heap object?\n- Threading/memory model\n  - Rust-like, object ownership\n  - Erlang-like, actor pattern\n  - Clojure-like, pure functional, immutable\n  - Go-like, go function/channel/select, message queue model\n  - SQL-like, transaction model\n- Native support for fail-safe operations on NVRAM\n  - Prevent the following errors\n    1. inconsistent persistent memory\n    1. leak persistent memory\n\n## Persistent memory\n- By memory type\n  - Persistent static memory\n  - Persistent heap\n  - Persistent stack?\n\n- By semantics\n  - Persistent object(an object whose memory address is in persistent mem,\n   will not leak)\n    - Built-in type\n      - Wrap all operations on it\n    - Structure\n  - Persistent pointer(a pointer points to a persistent object)\n    - A volatile pointer(a pointer points to a volatile object) can\n    only live in volatile memory\n  - Persistent auto-pointer/gc\n    - Reference counting in NVM pointers\n    - Root pointers must be in static persistent memory\n    - Garbage collection when recovery or out of NVRAM\n\n## Learn by Examples\n```\n// Declare a struct\nstruct User {\n  i0: int32\n  i1: int32\n  i2: int32\n}\n\n// Declare a persistent block\n// All variables declared here are like C static/global variables,\n// but they live in NVM\npersistent {\n  // built-in type\n  p0: int32\n  // struct type\n  p1: User\n  p2: User\n  // pointer type\n  pp4: *int32\n  pp5: *User\n}\n\n// External functions and variables\nextern {\n  fn putsInt(val: int32);\n  fn plus(i1: int32, i2: int32) int32;\n}\n\n\n// Function definition\nfn AL__main() {\n\n  // assignment operator, member access operator, plus operator\n  p1.i0 = p1.i0 + 1;\n  p1.i2 = p1.i2 + 1;\n\n  // copy assignment operator\n  p2 = p1;\n\n  // function call\n  putsInt(p2.i0);\n  putsInt(p2.i1);\n  putsInt(p2.i2);\n  putsInt(plus(p2.i0, p2.i2));\n\n  // address-of operator\n  pp4 = \u0026p1.i0;\n  // dereference operator\n  putsInt(*pp4);\n\n  pp5 = \u0026p2;\n  putsInt((*pp5).i0);\n}\n```\n\n## Concurrency\n```\npm: pmutx;\n\n// using persistent channel + move semantics\nfn producer0(ch: pchannel\u003cUser\u003e) {\n  loop {\n    ch \u003c- new_persistent_user();\n  }\n}\n\nfn producer1(ch: pchannel\u003cUser\u003e) {\n  loop {\n    ch \u003c- new_persistent_user();\n  }\n}\n\nfn consumer0(ch0: pchannel\u003cUser\u003e, ch1: pchannel\u003cUser\u003e) {\n  loop {\n    select {\n      u := \u003c- ch0: {\n        puts(u.id);\n      }\n      u := \u003c- ch1: {\n        puts(u.id);\n      }\n    }\n  }\n}\n\nfn main() {\n  persistent {\n    tx0, tx1: pchannel\u003cUser\u003e::tx;\n    rx0, rx1: pchannel\u003cUser\u003e::rx;\n  }\n  tx0, rx0 := pchannel\u003cUser\u003e(\"ch0\");\n  tx1, rx1 := pchannel\u003cUser\u003e(\"ch1\");\n\n  thread::spawn(producer0, tx0);\n  thread::spawn(producer1, tx1);\n  thread::spawn(consumer0, rx0, rx1);\n}\n```\n\n## Nested Transaction\n```\nfn main() {\n  x = 1;\n  y = 1;\n  transaction(x, y) \"tx0\" {\n    x += 1;\n    transaction(y) \"tx1\" {\n      y += 1;\n    }\n    y += 1;\n  }\n  puts(x);\n  puts(y);\n}\n```\n\n## TODOs\n\n- leveldb-like delayed persistence\n- function scope nvm variables, delayed or canceled persistence\n- persistent gc\n\n\n## GC implementation\n\n#### Roots\n- Named persistent vars\n- Stack vars\n\n#### Branches\n- Array elements\n- Struct members\n- Pointed objects\n\n#### Consistency\n- Stop the world\n\n#### Trigger\n- Manually or by memory usage or on start up\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fa1exwang%2Fadonis-lang","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fa1exwang%2Fadonis-lang","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fa1exwang%2Fadonis-lang/lists"}