Media Summary: Freya is a stack of libraries for F# which are designed to let you get close to Haskell is known for being hard, this is a result of pedagogy catching up to different ways of thinking about and structuring ... Traditionally, in Computer Science, sets are assumed to be the basis of a type theory, together with Boolean logic. In this version ...

Lambdaconf 2015 Http Through Functional - Detailed Analysis & Overview

Freya is a stack of libraries for F# which are designed to let you get close to Haskell is known for being hard, this is a result of pedagogy catching up to different ways of thinking about and structuring ... Traditionally, in Computer Science, sets are assumed to be the basis of a type theory, together with Boolean logic. In this version ... Emily is an experimental language project focusing on simplifying the basis of programming languages: it models all language ... This workshop is designed for programmers of any skill level who want to learn Computation Expressions are a generalization of do-notation and Idiom Brackets. They provide a single notation that uses the ...

Design patterns are a useful way to organize software. Unfortunately, "gang-of-four"-like patterns are not composable, due to ... What happens when you take a 2011 CoffeeScript web app designed to edit 100000-word novels...and scratch-rewrite it in Elm? It ...

Photo Gallery

LambdaConf 2015 - HTTP through Functional Programming   Andrew Cherry
LambdaConf 2015 - Freya F# for HTTP Systems   Andrew Cherry   Part 1
LambdaConf 2015 - How to Learn Haskell in Less Than 5 Years   Chris Allen
LambdaConf 2015 - Intro to Cryptol and High Assurance Crypto Engineering   Adam Foltzer
LambdaConf 2015 - Introduction to Intuitionistic Type Theory   Vlad Patryshev
LambdaConf 2015 - Introducing Emily  Simplifying Functional Programming   Andi McClure
LambdaConf 2015 - Monads   Asking the Right Question   Pawel Szulc
LambdaConf 2015 - The Next Great Functional Programming Language   John A  De Goes
LambdaConf 2015 - Learn Functional Programming with PureScript   John A  De Goes
LambdaConf 2015 - Computation Expressions in Scala   Jean Rémi Desjardins
LambdaConf 2015 - Programming and Math   Harold Carr
LambdaConf 2015 - Shipping a Production Web App in Elm  Richard Feldman
View Detailed Profile
LambdaConf 2015 - HTTP through Functional Programming   Andrew Cherry

LambdaConf 2015 - HTTP through Functional Programming Andrew Cherry

HTTP

LambdaConf 2015 - Freya F# for HTTP Systems   Andrew Cherry   Part 1

LambdaConf 2015 - Freya F# for HTTP Systems Andrew Cherry Part 1

Freya is a stack of libraries for F# which are designed to let you get close to

LambdaConf 2015 - How to Learn Haskell in Less Than 5 Years   Chris Allen

LambdaConf 2015 - How to Learn Haskell in Less Than 5 Years Chris Allen

Haskell is known for being hard, this is a result of pedagogy catching up to different ways of thinking about and structuring ...

LambdaConf 2015 - Intro to Cryptol and High Assurance Crypto Engineering   Adam Foltzer

LambdaConf 2015 - Intro to Cryptol and High Assurance Crypto Engineering Adam Foltzer

Cryptol is an open source pure

LambdaConf 2015 - Introduction to Intuitionistic Type Theory   Vlad Patryshev

LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev

Traditionally, in Computer Science, sets are assumed to be the basis of a type theory, together with Boolean logic. In this version ...

LambdaConf 2015 - Introducing Emily  Simplifying Functional Programming   Andi McClure

LambdaConf 2015 - Introducing Emily Simplifying Functional Programming Andi McClure

Emily is an experimental language project focusing on simplifying the basis of programming languages: it models all language ...

LambdaConf 2015 - Monads   Asking the Right Question   Pawel Szulc

LambdaConf 2015 - Monads Asking the Right Question Pawel Szulc

When entering the world of

LambdaConf 2015 - The Next Great Functional Programming Language   John A  De Goes

LambdaConf 2015 - The Next Great Functional Programming Language John A De Goes

John has no clue what the next great

LambdaConf 2015 - Learn Functional Programming with PureScript   John A  De Goes

LambdaConf 2015 - Learn Functional Programming with PureScript John A De Goes

This workshop is designed for programmers of any skill level who want to learn

LambdaConf 2015 - Computation Expressions in Scala   Jean Rémi Desjardins

LambdaConf 2015 - Computation Expressions in Scala Jean Rémi Desjardins

Computation Expressions are a generalization of do-notation and Idiom Brackets. They provide a single notation that uses the ...

LambdaConf 2015 - Programming and Math   Harold Carr

LambdaConf 2015 - Programming and Math Harold Carr

Design patterns are a useful way to organize software. Unfortunately, "gang-of-four"-like patterns are not composable, due to ...

LambdaConf 2015 - Shipping a Production Web App in Elm  Richard Feldman

LambdaConf 2015 - Shipping a Production Web App in Elm Richard Feldman

What happens when you take a 2011 CoffeeScript web app designed to edit 100000-word novels...and scratch-rewrite it in Elm? It ...

LambdaConf 2015 - Freya F# for HTTP Systems   Andrew Cherry   Part 2

LambdaConf 2015 - Freya F# for HTTP Systems Andrew Cherry Part 2

Freya is a stack of libraries for F# which are designed to let you get close to