Swift KeyPaths under a different optic
KeyPaths are widely used in Swift, and have their grounds in a powerful FP concept: optics.
October 20 2020
Technical Articles
Your source for technical news, coding tutorials, and release updates regarding functional programming.
Mu-Haskell 0.4: OpenAPI and Instrumentation
Mu-Haskell 0.4 is now released! Mu-Haskell is a framework for building microservices using type-level techniques, with sup...
October 14 2020
haskell
,
functional programming
,
functional
,
mu
,
microservices
,
rpc
,
grpc
,
protocol buffers
,
avro
,
graphql
,
openapi
,
swagger
A (very short) intro to optics
What are optics and what kinds of them are out there.
October 1 2020
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
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
Announcing Bow Lite 0.1
Bow Lite 0.1 is now available as a Swift Package!
August 18 2020
Ensure the success of your project
47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.