Lambdaconf 2015 Introducing Emily Simplifying

Haskell is known for being hard, this is a result of pedagogy catching up to different ways of thinking about and structuring ... HTTP is a fascinating standard — one of those that we all use every day. But there are many different ways of reasoning about ... Finally Tagless DSLs are a DSL embedding technique pioneered by Oleg Kiselyov, Jaques Carrette, and Chung-Chieh Shan that ... Freya is a stack of libraries for F# which are designed to let you get close to HTTP in a functional, typed way. As well as providing ... A burgeoning Haskeller soon discovers that proper use of descriptive types helps to capture real-world ideas, catches errors, aids ... Cats is a library that aims to fill in the gaps in the Scala standard library that we think are necessary to do pure functional ...

"Programming in Scala", by Martin Odersky et al., is one of the most comprehensive and the de facto reference for Scala. However ... Shortly after Adelbert Chang entered college as a computer science major, he contemplated changing his major several times, ... Cryptol is an open source pure functional language for expressing and reasoning about bit-precise computations, particularly ... Computation Expressions are a generalization of do-notation and Idiom Brackets. They provide a single notation that uses the ... We're all used to typing code into an editor and seeing the computer do something when we run it. This is so familiar that it's easy ... Idris is a dependently typed programming language. Unlike most other dependently typed systems, Idris is designed specifically ...