A (very short) intro to optics
What are optics and what kinds of them are out there.
October 1 2020
Blog
Your source for Functional Programming news, updates, and coding tutorials.
Your iOS Home Screen is a Monoid - Part 2
You can find examples of algebraic structures, like Monoids, in everyday situations!
September 16 2020
Your iOS Home Screen is a Monoid - Part 1
You can find examples of algebraic structures, like Monoids, in everyday situations!
September 16 2020
Dependent and refinement types: why?
Why are dependent and refinement types useful?
September 14 2020
haskell
,
functional programming
,
functional
,
dependent types
,
refinement types
,
arend
,
agda
,
coq
,
liquidhaskell
Arrow 0.11.0 is now available
Arrow 0.11.0 is now available, featuring bug fixes and new features.
September 9 2020
Why Learning Kotlin is a Must for Android Developers
When it comes to the Android platform, knowing Kotlin is essential
September 3 2020
ValidatedNel in the Wild: Exploring error accumulation in an sbt plugin
Using an open-source PR as a guide, show how you can rewrite error handling in an sbt plugin by using the ValidatedNel Cat...
August 26 2020
What is Haskell, and Who Should Use It?
A quick look at the functional programming language Haskell.
August 21 2020
Announcing Bow Lite 0.1
Bow Lite 0.1 is now available as a Swift Package!
August 18 2020