Digraph

Programming language concepts

Parent topics

Programming languages, data formats and protocols

This topic

Recent activity

You must be signed in to add and move topics and links.

ATS (programming language) - Wikipedia
https://en.wikipedia.org/wiki/ATS_(programming_language)
Programming language concepts
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches
https://verdagon.dev/grimoire/grimoire
Programming language concepts
Curry–Howard correspondence - Wikipedia
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
Programming language concepts
Dependent type - Wikipedia
https://en.wikipedia.org/wiki/Dependent_type
Programming language concepts
Reddit - Dive into anything
https://www.reddit.com/r/rust/comments/1127kgj/comment/j8keiqi/
Programming language concepts
Substructural type system - Wikipedia
https://en.wikipedia.org/wiki/Substructural_type_system
Programming language concepts
Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge
https://verdagon.dev/blog/higher-raii-7drl
Programming language concepts Vale (programming language)