Skip to content

Instantly share code, notes, and snippets.

View vijayksingh's full-sized avatar
🦊
Junior Developer for Life 🐱‍💻

Vijay Singh vijayksingh

🦊
Junior Developer for Life 🐱‍💻
View GitHub Profile
@vijayksingh
vijayksingh / what-i-didnt-know-about-fp-2020.md
Created November 3, 2021 22:28 — forked from melvic-ybanez/what-i-didnt-know-about-fp-2020.md
What I Didn't Know about Functional Programming until 2020

What I Didn't Know about Functional Programming until 2020

  1. Programming using a series of transformations and aggregations, something I've been doing for years, is known as programming in the map/reduce style.
  2. The more abstract the type is, the greater its cardinality, and the smaller the set of operations it supports. So make use of universal quantifiers, particularly by implementing fully parametric functions. They guide you on how to implement their term-level definitions by narrowing down the number of possible implementations. In other words, the type system of Scala (or Haskell, for that matter) is not only great for capturing compile-time errors, but is also capable of leading you to the correct solution.
  3. You can encode union types by combining different Scala features such as type constructors, subtyping and implicits, and by taking advantage of the Curry-Howard Isomorphism and De Morgan's Laws for neg
@vijayksingh
vijayksingh / list.md
Created October 1, 2022 06:50
Youtube Hidden Gem