Ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Install / Use
/learn @np/LingREADME
Here are some instructions on how to use the ling tool chain.
Requirements
If you're new to Haskell your simplest option might be to install stack: http://docs.haskellstack.org/en/stable/README.html#how-to-install
Building
Once the repository is cloned, you can setup a local Haskell environment:
$ stack setup
Then to build the tool chain:
$ stack build
Finally you can run the compiler on a simple example:
$ stack exec -- ling --seq --fuse --pretty --compile fixtures/compile/double.ll
The command above is type checking, apply sequencing and fusion. It finally prints the final version in Ling and in C.
Contributions
Various contributions can be made whether you know Haskell or not.
Beside hacking on the tool chain, you can:
- Write small programs in the language
- Submit bug reports
- Join the discussion on the evolution of the language
- Help with the documentations and tutorials
Documentation
- Tutorial: https://ling.readthedocs.org/en/latest/tutorial/
- Talk: https://nicolaspouillard.fr/talks/ling-32c3/
Related Skills
node-connect
340.5kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
84.2kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
340.5kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
commit-push-pr
84.2kCommit, push, and open a PR
