pLam , pure lambda calculus interpreter, Quick Sort with pure λ-calculus - https://www.reddit.com/r/compsci/comments/cuxp1p/quick_sort_with_pure_%CE%BBcalculus/
How is it like to be a dev in Iran - https://shahinsorkh.ir/2019/07/20/how-is-it-like-to-be-a-dev-in-iran
"Gleam is a statically typed functional programming language for building scalable concurrent systems.
I will widly claim that for about 92.3% of the time and cases we only need the following things in a #programming language and nothing else:
- immutability only and always;
- product types and coproduct types (aka adts or sum types);
- only and always expressions, never statements;
- Single linked immutable Lists, Maps and Sets as the most complex data structures;
- functions as values, higher order functions, easy currying;
- unbounded numeric types;
Imposing invariants in Scala | e.near Tech Blog - https://enear.github.io/2018/12/11/imposing-invariants-in-scala/
Was creating an account in manning website because I wanted to check about buying the #Idris book with 50% discount code that is currently there, but it's not worth it for me. I can order from bookdepository for around the same price. A good thing I discovered is that the livebook and livevideo stuff they have on the site are freaking awesome.
♥️ Anime/manga • Strong copyleft • Functional Programming
No Freedom exists without Privacy.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!