现已上线！2025 年 Telegram 研究 — 年度关键洞察 
Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 686
订阅者
无数据24 小时
+67 天
+3330 天
帖子存档
1 686
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
https://github.com/koka-lang/libhandler
1 686
Introduction to Programming with Shift and Reset
http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-e.pdf
1 686
Systems Software Research is Irrelevant
Rob Pike
Feb 21, 2000
http://www.herpolhode.com/rob/utah2000.pdf
1 686
Monads for functional programming
https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
1 686
Implementing Algebraic Effects in C
“Monads for Free in C”
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf
1 686
Control Delimiters and Their Hierarchies
https://www2.ccs.neu.edu/racket/pubs/lasc1990-sf.pdf
1 686
Algebraic Effects for Functional Programming
(Type Directed Compilation of Row-typed Algebraic Effects)
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf
1 686
Models of Generics and Metaprogramming: Go, Rust, Swift, D and More
https://thume.ca/2019/07/14/a-tour-of-metaprogramming-models-for-generics/
1 686
Parametric Higher-Order Abstract Syntax for Mechanized Semantics
http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf
1 686
First-class modules: hidden power and tantalizing promises
https://okmij.org/ftp/ML/first-class-modules/first-class-modules.pdf
1 686
An Introduction to Algebraic Effects and Handlers
https://www.eff-lang.org/handlers-tutorial.pdf
1 686
Counterexamples in Type Systems: programs that crash, segfault or explode
https://counterexamples.org/intro.html
1 686
Concepts for higher-kinded types in C++20
https://mmore500.com/cse-491/blog/2020/02/24/concepts-monads.html
1 686
Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega
https://web.cs.ucla.edu/~palsberg/paper/popl16-full.pdf
1 686
Cayenne—a language with dependent types
https://dl.acm.org/doi/pdf/10.1145/289423.289451
1 686
Wyvern: A Simple, Typed, and Pure Object-Oriented Language
https://www.cs.cmu.edu/~lnistor/maspeghi13.pdf
