recentpopularlog in

ianweatherhogg : applicative   97

« earlier  
Continuations From the Ground Up - ielliott.io
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
Isomorphism of digital circuits
Building software in haskell is frequently expressing problem in onedomain and then transfer it into another. Previous post Remote fpgacall wasabout using ty...
haskell  electronics  5*  signal  functor  applicative 
january 2017 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
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
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
A mad Haskeller runs the same input through a list of functions - dave^2 = -1
Last time I donned my mad Haskeller lab coat we ended up using arrows to pipe the output of two functions into a tuple. This time I’m going to …
haskell  applicative  functor 
november 2014 by ianweatherhogg
articles/cont_monad.md at master · quchen/articles
-- |-------------| <- "Continuation" type. ("square maps an
-- | | 'a' to a continuation")
square :: Int -> (Int -> r) -> r
square x = \k -> k (x^2)
haskell  continuation  callcc  derivation  functor  applicative  5* 
november 2013 by ianweatherhogg
Applicative Programming 5 · vpatryshev/ScalaKittens Wiki
Scalakittens - derivation of applicative functor and usage in db access
scala  applicative  functor 
october 2012 by ianweatherhogg
Applicative option parser - Paolo Capriotti's blog
> data Parser a where
> NilP :: a -> Parser a
> ConsP :: Option (a -> b)
> -> Parser a -> Parser b
haskell  5*  algebraic  data  type  parser  applicative  functor  derivation 
july 2012 by ianweatherhogg
« earlier      
per page:    204080120160

Copy this bookmark:





to read