recentpopularlog in

ianweatherhogg : monoid   68

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
scala, scalaz, scalaz stream, scalaz machine
scala, scalaz, scalaz stream, scalaz machine - Gist is a simple way to share snippets of text and code with others.
gist  scalaz  stream  monoid  4* 
june 2015 by ianweatherhogg
Monads in Haskell – Part II | NP-Incompleteness
In this second post about Monads in Haskell, we'll talk about the three new types of Monads introduced in the chapter For a Few Monads More, from the Learn You A Haskell for Good: the Writer, the Reader and the State Monads. Writer Monad The writer monad is useful when we want to attach some…
haskell  writer  monad  monoid  state  reader  helloworld 
november 2014 by ianweatherhogg
Transducers are monoid homomorphisms | Oleksandr Manzyuk's Blog
Well, that's not quite right: monoidal transducers, which are closely related to transducers, are in bijection with monoid homomorphisms between free monoids. This wouldn't make a catchy title, however, would it? The following is my humble exploration of the ideas from Franklin Chen's post, in which he is trying to give a more typeful account…
haskell  transducer  monoid  morphism 
november 2014 by ianweatherhogg
Monoid morphisms, products, and coproducts - Higher Order
Today I want to talk about relationships between monoids. These can be useful to think about when we’re developing libraries involving monoids …
scala  scalaz  monoid  apocalisp  5*  product  category  theory  free 
march 2014 by ianweatherhogg
typelevel.scala | Towards Scalaz (Part 2)
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
scalaz  foldable  fold  left  4*  semigroup  monoid  right  scala  type  level 
december 2013 by ianweatherhogg

Copy this bookmark:

to read