recentpopularlog in

ianweatherhogg : monad   654

« earlier  
Idiomatic monads in Rust | varkor’s blog
A pragmatic new design for high-level abstractions In this post, I’m going to describe a new approach to express monads in Rust. It is the most minimal design I have seen proposed and is, in my eyes, the first plausible design for such abstractions — those commonly known as “higher-kinded types”. This approach depends on a very minimal extension to Rust’s type system. In particular, this approach avoids the need for either higher-kinded types (e.g. as in this design) or full abstract...
rust  functor  monad 
march 2019 by ianweatherhogg
MonadBaseControl in Five Minutes
This post is intended to be a short guide on using MonadBaseControl effectively in Haskell code without understanding it.
monad  base 
november 2017 by ianweatherhogg
Free Monads: from the basics to the implementation of composable and effectful stream processing – Deque
In the previous post, we introduced IdrisPipes, a library for composable and effectful production, transformation and consumption of streams of data in Idris. We talked about the motivations behind this library, its API and its model, and some of the features it offers. In this post, we will embark in a journey from the basics…
free  monad  haskell 
november 2017 by ianweatherhogg
MonadFix is Time Travel
MonadFix is a pretty difficult concept, and I personally found muchof the existing content about it online to be somewhatunhelpful. I answereda request for a...
monad  fix  haskell  recursion 
august 2017 by ianweatherhogg
The Reader Monad — Part 1 – Hacker Noon
This post will cover the foundations. It will mostly be an exercise in learning how to specialize types, simplify the substitutions and come up with the only reasonable implementation. The Reader…
haskell  reader  monad 
july 2017 by ianweatherhogg
Continuations From the Ground Up -
It’s difficult to learn functional programming without hearing about continuations. Often they’re mentioned while talking about boosting the performance of pure functional code, sometimes there’s talk of control flow, and occasionally with ‘time-travel’ thrown in there to make it all seem more obscure. It’s all true, but let’s start from the beginning.
haskell  continuation  derivation  monad  transformer  applicative  functor  5* 
june 2017 by ianweatherhogg
Monad Transformers for the working programmer
There you go, you sit at your desk, sip on your coffee, and get ready to write some more Scala code. Functional programming is not so scary as you thought, life is good, you stretch your muscles and…
scala  monad  transformer 
march 2017 by ianweatherhogg
Lost in Technopolis
A blog on the Bahá’í Faith, philosophy and spiritual topics
haskell  free  monad 
january 2017 by ianweatherhogg
Lost in Technopolis
A blog on the Bahá’í Faith, philosophy and spiritual topics
haskell  free  monad 
january 2017 by ianweatherhogg
Lost in Technopolis
A blog on the Bahá’í Faith, philosophy and spiritual topics
haskell  monad  transformer 
january 2017 by ianweatherhogg
The Probability Monad
What are the foundational structures of probabilities? How do we designa language making it easy to model probabilistic problems? Oftentimesthe modeling happens directly in terms of vectors and mat...
haskell  probability  monad 
december 2016 by ianweatherhogg
FP for the average Joe - III - Applications as Coproducts of Free Algebras | 47 Degrees
FP for the average Joe is a series of posts where functional Programming constructs are explained and shown in a clear way for folks getting introduced to FP and Scala - Part 3 - Applications as Coproduct of Free Algebras
scala  free  monad 
october 2016 by ianweatherhogg
Jon Eisen - CSP Channels in Type Theory
Communicating Sequential Processes (CSP) has become a popular solution for simplifying concurrent programming. In its modern implementations, it is the commu...
csp  functional  applicative  monoid  clojure  4*  monad  transformer 
october 2016 by ianweatherhogg
Type Class 101: A practical guide to Monad Transformers (Example) - inoio gmbh
The last episode of this series covered the motivation behind Monad Transformers and gave some examples of their usage. Now it is time to show a …
scala  monad  transformer 
february 2016 by ianweatherhogg
Shapeless Monads | Scalac
Demonstration of how shapeless can be used to make the code more compact and flexible.
scala  shapeless  monad  applicative  functor 
february 2016 by ianweatherhogg
More monads in OCaml
My own semi-coherent thoughts on technology, politics, local news, and whatever I happen to be reading, doing, or learning at the time. Anything posted on this blog represents my own views, and not those of my employer or any organization.
ocaml  monad 
october 2015 by ianweatherhogg
Understanding the State monad : haskell
I am just trying to get to understand haskell and I am stuck at State monad. First of all I am confused where it is defined (all the other monads...
reddit  haskell  state  monad 
august 2015 by ianweatherhogg
Swift Functors, Applicatives, and Monads in Pictures | mokacoding
In this port to Swift of the great of Haskell's "Functors, Applicatives, And Monads In Pictures" we are going to look at these functional programming concepts aided by some very helpful pictures.
swift  functor  applicative  monad  helloworld 
july 2015 by ianweatherhogg
burrito - A monadic IO interface in Rust
rust  monad  io 
june 2015 by ianweatherhogg
scala and state monad: no free lunch part
- Gist is a simple way to share snippets of text and code with others.
scala  scalaz  state  monad 
june 2015 by ianweatherhogg
Reader and State Mond and a bit of
- Gist is a simple way to share snippets of text and code with others.
scala  reader  state  monad 
june 2015 by ianweatherhogg
« earlier      
per page:    204080120160

Copy this bookmark:

to read