Linking pages
- Moving Beyond Type Systems | Vhyrro's Digital Garden https://vhyrro.github.io/posts/effect-systems/ 181 comments
- How to improve the RISC-V specification – Alastair Reid – Researcher at Intel https://alastairreid.github.io/riscv-spec-issues/ 78 comments
- You can't handle Errors - by Sir Whinesalot https://btmc.substack.com/p/you-cant-handle-errors 76 comments
- Contexts and capabilities in Rust - Tyler Mandry https://tmandry.gitlab.io/blog/posts/2021-12-21-context-capabilities/ 74 comments
- The problem of effects in Rust https://boats.gitlab.io/blog/post/the-problem-of-effects/ 71 comments
- The problem of effects in Rust - Without boats, dreams dry up https://without.boats/blog/the-problem-of-effects/ 45 comments
- Unexplanations: query optimization works because sql is declarative https://www.scattered-thoughts.net/writing/unexplanations-sql-declarative/ 30 comments
- void-which-joins https://www9.open-std.org/JTC1/SC22/WG14/www/docs/n3317.htm 30 comments
- Coeffects: The next big programming challenge - Tomas Petricek http://tomasp.net/blog/2014/why-coeffects-matter/ 24 comments
- GitHub - Holo314/Coeffect: Add a partial Coeffect system into Java using Loom's ExtentLocals https://github.com/Holo314/Coeffect 23 comments
- GitHub - glyh/awesome-pl-concepts: An menu/quick reference for Programming Language concepts https://github.com/glyh/awesome-pl-concepts 21 comments
- Real functional programmers don’t need functional languages! | by Daniel C Wang | Medium https://medium.com/@danwang74/real-functional-programmers-dont-need-functional-languages-672e488bdbf9#.p6uvyd8yn 11 comments
- On Implementation of Distributed Protocols | Replica_IO https://replica-io.dev/blog/2024/03/04/on-implementation-of-distributed-prtocols 3 comments
- Testing SIMD instructions on ARM with Rust on Android | Blog | Guillaume Endignoux https://gendignoux.com/blog/2023/01/05/rust-arm-simd-android.html 1 comment
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- Linear Types and Exceptions https://borretti.me/article/linear-types-exceptions 0 comments
- How To Make Functional Programming in Python Go Fast - DEV Community https://dev.to/suned/how-to-make-functional-programming-in-python-go-fast-ad6 0 comments
- Higher-Order Functions in Unison. Why you must use map, reduce and filter… | by Erik Engheim | Jan, 2023 | ITNEXT https://erik-engheim.medium.com/higher-order-functions-in-unison-824857c968e0?sk=49d7a48138c6a16f4c329673be8d8656 0 comments
- Early adventures in ZIO land | Bogdan Dimitriu’s blog https://bbdimitriu.github.io/scala/zio/2023/01/14/early-adventures-zio-land.html 0 comments
- GitHub - glyh/PL-features: A cheatsheet and meta wiki for Programming Language features https://github.com/glyh/PL-features 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Effect system - Wikipedia
See how to search.