Please log in to watch this conference skillscast.
Ling is an experimental programming language combining the precision of a system-level programming language and the abstraction and safety of a pure, functional programming language.
This combination is made possible by the underlying theory which is based on a combination of dependent type theory and linear logic. In practice, this provides a general form of program fusion (an optimization short-cutting production and consumption of data) which is part of the type system, and which can still be finely controlled.
In Ling, resource allocations such as memory are explicit. Fusion may happen at each allocation point. The user controls how much fusion should happen, and the type system checks if this is possible. The resulting fusion framework is both quite general and fully predictable.
YOU MAY ALSO LIKE:
- DDD eXchange 2017 (in London on 27th - 28th April 2017)
- Greg Young's CQRS, Domain Events, Event Sourcing and how to apply DDD (in Stockholm on 22nd - 24th May 2017)
- Whole Team Approach to Agile Testing (in London on 5th - 7th June 2017)
- Serverless Architecture with Azure Functions with Christos Matskas! (in London on 29th November 2017)