{ "info": { "author": "AnqurVanillapy", "author_email": "anqurvanillapy@gmail.com", "bugtrack_url": null, "classifiers": [ "License :: OSI Approved :: MIT License", "Operating System :: OS Independent", "Programming Language :: Python :: 3" ], "description": "# Aca\n\n> *Aca, a functional programming language, and shitty toy.*\n\nAca is a toy functional programming language initially inspired by ISWIM. The\ninterpreter is currently written in Python.\n\n## Install\n\n```bash\n$ pip install acalang\n```\n\n## Example\n\n1. Command line usage\n\n```bash\n$ cat foo.aca\nlet main =\n dechurch 3\n\n$ aca foo.aca\n3\n\n$ aca foo.aca -S # `noeval' mode\n(lambda x: dechurch(x))((lambda x: x)((lambda f: lambda x: (f(f(f(x)))))))\n\n$ aca # REPL\n$ aca -S # REPL with `noeval'\n```\n\n2. Lambda calculus\n\n```\nlet main =\n (\\x y f. f x y)\n```\n\n3. Standard library for basic datatypes\n\n```\nlet a = zero\nlet b = succ zero\nlet main = dechurch b\n-- 1\n```\n\n4. Sugar for Church numerals\n\n```\nlet main = 0\n\n-- This is identical to\n{-\nlet main =\n (\\x . x)\n-}\n```\n\n5. Special builtin functions for debugging (decoded into Python value)\n\n```\nlet main =\n dechurch 42\n-- Output: 42\n\nlet main =\n debool true\n-- Output: True\n\nlet main =\n dereal (neg (u2i 42))\n-- Output: -42\n```\n\n6. Simple module import with `use`\n\n```bash\n$ foo.aca\nlet foo = 42\n\n$ bar.aca\nuse foo\n\nlet main =\n dechurch foo\n\n$ aca bar.aca\n42\n```\n\n## Goals\n\n- Before `v1.0.0`:\n + Untyped lambda calculus\n- `v1.0.0`:\n + Simply typed lambda calculus\n- `v2.0.0`:\n + System F\n\n## License\n\nMIT", "description_content_type": "text/markdown", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/anqurvanillapy/acalang", "keywords": "", "license": "MIT", "maintainer": "", "maintainer_email": "", "name": "acalang", "package_url": "https://pypi.org/project/acalang/", "platform": "", "project_url": "https://pypi.org/project/acalang/", "project_urls": { "Homepage": "https://github.com/anqurvanillapy/acalang" }, "release_url": "https://pypi.org/project/acalang/0.5.0/", "requires_dist": null, "requires_python": "", "summary": "Aca, a functional programming language, and shitty toy", "version": "0.5.0" }, "last_serial": 4064501, "releases": { "0.1.1": [ { "comment_text": "", "digests": { "md5": "0c76f53cc4f174ccb9af4895a99d2cd0", "sha256": "5b772cc01893e6f74400d6b2d434eafa44145f987480c9a870bb34f56e5249ea" }, "downloads": -1, "filename": "acalang-0.1.1.tar.gz", "has_sig": false, "md5_digest": "0c76f53cc4f174ccb9af4895a99d2cd0", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 1378, "upload_time": "2018-07-10T15:11:58", "url": "https://files.pythonhosted.org/packages/0e/dd/dc9915b57a39ae3ae7f48a6837281111d9aaceca0c0d88db0c036eb5429c/acalang-0.1.1.tar.gz" } ], "0.1.2": [ { "comment_text": "", "digests": { "md5": "4b780d6e405d1dd90a821c46db016590", "sha256": "3275c502ce6e1ab34b242e91ee9388c77dac2f6d968822e620f6571ec362b4fc" }, "downloads": -1, "filename": "acalang-0.1.2.tar.gz", "has_sig": false, "md5_digest": "4b780d6e405d1dd90a821c46db016590", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 1786, "upload_time": "2018-07-10T15:31:39", "url": "https://files.pythonhosted.org/packages/0f/7e/7ffcbc12c449163b99bf418f02a01d7c1b198ecf280c1eed754da85c3547/acalang-0.1.2.tar.gz" } ], "0.1.3": [ { "comment_text": "", "digests": { "md5": "5ad5e814e9b3253a56d254fcdf85d2d7", "sha256": "fa94dfc7c21bcb2851920eea1f48f72026f0f750dba39901af895631972d205f" }, "downloads": -1, "filename": "acalang-0.1.3.tar.gz", "has_sig": false, "md5_digest": "5ad5e814e9b3253a56d254fcdf85d2d7", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 3964, "upload_time": "2018-07-10T15:38:31", "url": "https://files.pythonhosted.org/packages/d4/01/bf653f5d10209928dd0c0fb89db33e31640110cbe2f71b543c9837d5beb2/acalang-0.1.3.tar.gz" } ], "0.1.4": [ { "comment_text": "", "digests": { "md5": "df47b06a41f2bfaab9d2a742fb055fcc", "sha256": "4ea9119a483c45326f279dac03d401a9a9126360b4241211cfbd2e62a9c34237" }, "downloads": -1, "filename": "acalang-0.1.4.tar.gz", "has_sig": false, "md5_digest": "df47b06a41f2bfaab9d2a742fb055fcc", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 3941, "upload_time": "2018-07-10T15:43:48", "url": "https://files.pythonhosted.org/packages/e5/70/389a4fc52788f68232aafe3c583c37ca86f613e76d4c4ad1d02c9cbde27f/acalang-0.1.4.tar.gz" } ], "0.2.0": [ { "comment_text": "", "digests": { "md5": "e7d2c06dad08a57ca01b951372137957", "sha256": "bdab59c5bc424ad48cbb8163af66d29ee4d87e65d2dd7b4e41c00eb575de3be3" }, "downloads": -1, "filename": "acalang-0.2.0-py3.6.egg", "has_sig": false, "md5_digest": "e7d2c06dad08a57ca01b951372137957", "packagetype": "bdist_egg", "python_version": "3.6", "requires_python": null, "size": 11075, "upload_time": "2018-07-12T06:58:58", "url": "https://files.pythonhosted.org/packages/d8/2d/97e8feccd1e1dfba1d61e137c5bd199075b287df7f07a5b955666a4e5fcd/acalang-0.2.0-py3.6.egg" }, { "comment_text": "", "digests": { "md5": "941fd6163896371154a2e6ec421456b4", "sha256": "4f4d3f3cca7246a38bece9460bc43c6c35d9b72da6125c27e3fe2d59e40112f0" }, "downloads": -1, "filename": "acalang-0.2.0.tar.gz", "has_sig": false, "md5_digest": "941fd6163896371154a2e6ec421456b4", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 4452, "upload_time": "2018-07-11T05:40:10", "url": "https://files.pythonhosted.org/packages/7f/9d/0da848e828828e020ca6aea3ecdddbaa57768f8cad8892f5125360ab763f/acalang-0.2.0.tar.gz" } ], "0.3.0": [ { "comment_text": "", "digests": { "md5": "e578ee71dfd1f92ebfd328ff7c2ffbe2", "sha256": "61d46245d4104cc6e34134e6aa066faafef33a1b58f8d21209948f2433f176e7" }, "downloads": -1, "filename": "acalang-0.3.0-py3.6.egg", "has_sig": false, "md5_digest": "e578ee71dfd1f92ebfd328ff7c2ffbe2", "packagetype": "bdist_egg", "python_version": "3.6", "requires_python": null, "size": 11066, "upload_time": "2018-07-12T06:59:01", "url": "https://files.pythonhosted.org/packages/70/13/c87ae1804e2be924cef1cf233c2ece534b911b2f6cb02fe9bff8e140fbb2/acalang-0.3.0-py3.6.egg" }, { "comment_text": "", "digests": { "md5": "3331b9a76feccb7a145bae4c10df2a16", "sha256": "f203bb9bd3aa2539c97782769b54ee5afbb3acc49ea82af830d11fea2129eec1" }, "downloads": -1, "filename": "acalang-0.3.0.tar.gz", "has_sig": false, "md5_digest": "3331b9a76feccb7a145bae4c10df2a16", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 5016, "upload_time": "2018-07-12T06:59:02", "url": "https://files.pythonhosted.org/packages/b9/67/4e2f198ea128c3a5dccbecbadc06475b09fede4e99d72f1537f09b1a58cd/acalang-0.3.0.tar.gz" } ], "0.4.0": [ { "comment_text": "", "digests": { "md5": "e8ad8488b2651ec8b0b3cacb159e8877", "sha256": "0d0876a4d0d404128de95c9e535140e0d8f294b124964d1be7e4d043053e61a9" }, "downloads": -1, "filename": "acalang-0.4.0.tar.gz", "has_sig": false, "md5_digest": "e8ad8488b2651ec8b0b3cacb159e8877", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 5053, "upload_time": "2018-07-12T16:51:19", "url": "https://files.pythonhosted.org/packages/f6/df/5bf8b98d364e2737e7dd47a300d1d59a8cdec5086124f28f9b277cf8e85c/acalang-0.4.0.tar.gz" } ], "0.5.0": [ { "comment_text": "", "digests": { "md5": "469ce64cfac747492dc58c22b00283be", "sha256": "22be4fa7a0db8c84edfee5f19fd325689a1542af768fa14230d9728d45dd8194" }, "downloads": -1, "filename": "acalang-0.5.0.tar.gz", "has_sig": false, "md5_digest": "469ce64cfac747492dc58c22b00283be", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 5468, "upload_time": "2018-07-16T05:46:25", "url": "https://files.pythonhosted.org/packages/5a/a9/c1088267696e94eecc9168d8a56b864817e71f0a290905253046215c02f9/acalang-0.5.0.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "469ce64cfac747492dc58c22b00283be", "sha256": "22be4fa7a0db8c84edfee5f19fd325689a1542af768fa14230d9728d45dd8194" }, "downloads": -1, "filename": "acalang-0.5.0.tar.gz", "has_sig": false, "md5_digest": "469ce64cfac747492dc58c22b00283be", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 5468, "upload_time": "2018-07-16T05:46:25", "url": "https://files.pythonhosted.org/packages/5a/a9/c1088267696e94eecc9168d8a56b864817e71f0a290905253046215c02f9/acalang-0.5.0.tar.gz" } ] }