We're a place where coders share, stay up-to-date and grow their careers.
Functional programmer, wannabe-mathematician and photographer
Master of sciences
All private interactions must abide by the code of conduct.
monadic-mondays
Code samples for #monadicmonday topics
TypeScript • 69 stars
circuit-breaker-monad
Circuit Breaker pattern as a monad
TypeScript • 51 stars
kleisli-ts
Kleisli arrows for bifunctor IO
TypeScript • 36 stars
TypeScript, Haskell
Rust, Agda
Pretty much like it, yes. Although I should admit that sequ...
Sep 3 '19
Awesome! I sometimes use this trick to sequence foldables w...
In TS they are not magic numbers, but rather type-level num...
Jul 25 '19
Sorry, but this article could be a bit misleading to newbie...
Jun 6 '19
Some more tips: Avoid using any at all costs! You will be...
Jun 3 '19
I remember when the word "burnout" was used mostly in car r...
May 23 '19
It is good to see that type-safe development is gaining popul...
May 6 '19
"There are more things in heaven and earth, Horatio, than a...
Apr 25 '19
Agda. Dependently-typed languages are the future of program...
All 9 comments
fp-ts, sequenceT, and sweet sweet async typed FP
Pretty much like it, yes. Although I should admit that sequ...
fp-ts, sequenceT, and sweet sweet async typed FP
Awesome! I sometimes use this trick to sequence foldables w...
More accurate the type, better the code
In TS they are not magic numbers, but rather type-level num...
Using the Local Storage
Sorry, but this article could be a bit misleading to newbie...
Discoveries I made while using Typescript and React
Some more tips: Avoid using any at all costs! You will be...
What are you "old enough to remember" in software development?
I remember when the word "burnout" was used mostly in car r...
Type-Safe Error Handling In TypeScript
It is good to see that type-safe development is gaining popul...
What new language/tool/etc. have you been meaning to learn but haven't gotten around to yet?
"There are more things in heaven and earth, Horatio, than a...
What new language/tool/etc. have you been meaning to learn but haven't gotten around to yet?
Agda. Dependently-typed languages are the future of program...