recentpopularlog in

ianweatherhogg : functor   171

« 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
articles/second_functor_law.md at master · quchen/articles
Miscellaneous articles. The readme is the table of contents.
haskell  functor  law 
june 2017 by ianweatherhogg
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
Categories in OO: Functors
Today I'm starting my series on categories in OO. My goal is to explain these concepts to programmers who are already familiar with object-oriented programming, but new to functional programming....
php  functor 
may 2017 by ianweatherhogg
PureScript: Deriving Functor
For the 0.10.4 release, I worked on Functor deriving. This allows you to write a data type and derive a Functor instance for it. This obviously doesn’t work ...
purescript  functor 
march 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
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
From callback to (Future -> Functor -> Monad) - Tech.pro
Motivation ========= A fundamental concept in functional programming is composition. It simply describe the mechanism by which we combine simpler things to...
javascript  functional  programming  idiom  pattern  future  promise  compose  functor  monad  lift  5* 
april 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
Understanding ((->) r) as a functor. : haskell
I'm reading "learn you a haskell" and after the chapter on applicative functors I had some confusion: In haskell the Functor instance of ( (->) r) is...
reddit  category  theory  haskell  _hask  functor 
august 2014 by ianweatherhogg
Functional composition with Monads, Kleislis and Functors - Leonardo Borges
I’ve been learning Scala for my current client project and I find writing to be a great tool to test my understanding of any given topic. This …
scala  functional  compose  monad  kleisli  functor 
june 2014 by ianweatherhogg
Inside My World (Ode to Functor and Monad) · in Code
Weblog of Justin Le, covering his various adventures in programming and explorations in the vast worlds of computation, physics, and knowledge.
functor  monad  helloworld 
may 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
« earlier      
per page:    204080120160

Copy this bookmark:





to read