recentpopularlog in

ianweatherhogg : combinator   172

« earlier  
Using and_then and map combinators on the Rust Result Type
If you have spent any amount of time learning Rust, you quickly become accustomed to Option and Result types. It is through these two core types that we make our programs reliable. My background is with C and dynamic languages. I found it easiest to use the match keyword when working with these types. There are also combinator functions like map and and_then which allow a set of computations to be chained together. I like to chain combinators together so error logic is separated from...
rust  combinator 
april 2018 by ianweatherhogg
Parser Combinators
Today we will explore how to build a small parser combinator library in Haskell from scratch. This blog post is the result of an experiment to see if I could...
haskell  parser  combinator  helloworld  4* 
december 2016 by ianweatherhogg
dtchepak/SwiftParserExercises · GitHub
SwiftParserExercises - Parser combinators exercise by Tony Morris/NICTA, ported to Swift from the original Haskell version.
github  swift  parser  combinator 
march 2015 by ianweatherhogg
Announcing mono-traversable, chunked-data, and conduit-combinators
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications.
haskell  yesod  chunk  data  conduit  combinator 
november 2014 by ianweatherhogg
Poleiro, the Coq blog - Archives
A blog about the Coq proof assistant and
programming language
blogs  hakyll  coq  game  theory  combinator  proof  induction  type 
april 2014 by ianweatherhogg
A Whirlwind Tour of Combinatorial Games in Haskell
A Whirlwind Tour of Combinatorial Games in Haskell - Gist is a simple way to share snippets of text and code with others.
gist  game  haskell  combinator 
january 2014 by ianweatherhogg
« earlier      
per page:    204080120160

Copy this bookmark:





to read