Explain linear types and why they are useful

lambdaclass / concrete

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

Apache License 2.0

123 stars 11 forks source link

Explain linear types and why they are useful #41

Open unbalancedparentheses opened 8 months ago

unbalancedparentheses commented 8 months ago

Austral explains it very well in a blog post and in the specs. Also this reddit discussion is very good https://www.reddit.com/r/ProgrammingLanguages/comments/18utk9o/linear_types_where_do_the_turtles_end/?share_id=t148TzlyX4FQiEkoRZYOW&utm_content=1&utm_medium=ios_app&utm_name=ioscss&utm_source=share&utm_term=1