The author introduces an experimental concurrent programming language called Par, designed to bring the power of linear logic into practical programming. The language operates on channels that represent values and processes, ensuring no deadlocks with dynamic typing. Features like channel spawning, closing channels, signaling, and combining operations are highlighted, showcasing the expressive concurrency of Par. Functions are implemented as channels to optimize resource usage, and an early sugar treat is introduced for function calling in expression syntax. Overall, Par provides a unique approach to concurrency based on linear logic principles while keeping the programming experience straightforward and intuitive.
https://github.com/faiface/par-lang