filmov
tv
LambdaConf 2015 - Give me Freedom or Forgeddaboutit Joseph Abrahamson
Показать описание
The Haskell community is often abuzz about free monads and if you stick around for long enough you'll also see notions of free monoids, free functors, yoneda/coyoneda, free seminearrings, etc. Clearly "freedom" is a larger concept than just Free f a ~ f (Free f) + a. This talk explores briefly the origins of "freedom" in Category Theory, explains what it means for you to have a "free X" for any thing X, and talks a little bit about some useful free structures which exist in Haskell.
Help us caption & translate this video!
Help us caption & translate this video!
0:31:34
LambdaConf 2015 - Give me Freedom or Forgeddaboutit Joseph Abrahamson
0:50:09
LambdaConf 2015 - Why I Like Functional Programming Adelbert Chang
0:57:57
LambdaConf 2015 - The Next Great Functional Programming Language John A De Goes
0:21:25
LambdaConf 2015 - Monads Asking the Right Question Pawel Szulc
0:45:02
LambdaConf 2015 - In Rust We Trust Alex Burkhart
0:25:17
LambdaConf 2015 - Introducing Emily Simplifying Functional Programming Andi McClure
0:28:00
LambdaConf 2015 - Haskell Nuggets Power Series Brought to Life Doug McIlroy
0:30:36
LambdaConf 2015 - Parametricity The Essence of Information Hiding Kris Nuttycombe
0:52:24
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
0:51:44
LambdaConf 2015 - Programming and Math Harold Carr
0:26:08
LambdaConf 2015 - Make Your Own Programming Language! Nick Heiner
0:42:29
LambdaConf 2015 - How to Learn Haskell in Less Than 5 Years Chris Allen
0:51:40
LambdaConf 2015 - Pattern Functors... Alejandro Serrano Mena
0:36:06
LambdaConf 2015 - The Abstract Method, In General Gershom Bazerman
0:24:11
LambdaConf 2015 - Accelerating Haskell GPGPU Programming with Haskell Joe Nash
1:40:13
LambdaConf 2015 - Learn Functional Programming with PureScript John A De Goes
0:20:44
LambdaConf 2015 - Finally Tagless DSLs and MTL Joseph Abrahamson
1:45:43
LambdaConf 2015 - Write Some Idris Brian McKenna
0:19:09
LambdaConf 2015 - The Case for the Cutting Edge Matt Farmer
0:44:22
LambdaConf 2015 - Shipping a Production Web App in Elm Richard Feldman
0:29:56
LambdaConf 2015 - Programs as Values Pure Composable Database Access in Scala Rob Norris
0:27:51
LambdaConf 2015 - HTTP through Functional Programming Andrew Cherry
0:24:09
LambdaConf 2015 - Ipecac for the Ouroboros Paul Phillips
0:51:46
LambdaConf 2015 - The Virtual Filesystem This Changes Everything Paul Phillips
Комментарии