Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
Keynote talk from Erlang USer Conference 2016 http://www.erlang-factory.com/euc2016/ Erlang and Haskell are childhood friends who grew up together. Throughout the years, they have learnt a lot from each other. And just because they have become adults does not mean the learning stops. GHC translates all of Haskell into a tiny but super-expressive intermediate language called Core, does a lot of o
Catster Videos
The following is Edsko de Vries' overview of The Catsters' Category Theory videos. [The graphical overview is no longer available as it used a java applet and these are no longer supported.] Suggestions for improvements are always welcome. Basics Limits and Colimits Terminal and Initial Objects 1 2 3 Products and Coproducts 1 2 3 4 Pullback and Pushouts 1 2 General Limits and Colimits 1 2 3 4 5 6
"Propositions as Types" by Philip Wadler
The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to be remarkably robust, inspiring the design of theorem provers and programming languages, and continuing to influence the forefronts of computing. Propositions as Types has many names and many origins, and is a notion with depth, breadth, and m
Functional Front-End Coding
Greg Weber explains how languages like Haskell and Elm are informing the design of Javascript libraries like Redux. He traces the evolution of front end coding from the simple to the complex and back towoard simplicity with carefully managed mutable state. This talk is based on work he did at the Haskell startup Front Row Education refactoring their front-end code. (Slides here) Summary Front row
Depending on Types - Stephanie Weirich
Slides and more info: http://www.codemesh.io/codemesh2015/stephanie-weirich Is Haskell a dependently typed programming language? Should it be? The Glasgow Haskell Compailer's many type-system features, such as Generalized Algebraic Datatypes (GADTs), datatype promotion, multiparameter type classes, and type families, give programmers the ability to encode domain-specific invariants in their types
Haskell eXchange 2015 | Skills Matter
Featuring two days of talks, demos and discussions, the Haskell eXchange is an opportunity for Haskellers to meet, talk, learn, share skills and exchange ideas. Everyone is welcome to join, whether an expert or a beginner, whether commercial user, academic or hobbyist. Line Up 2015 View this year's speakers, topics and workshops/tutorials here. The Haskell eXchange is an independent conference org
Haskell Implementors' Workshop 2015
概è¦ãƒ—レスルーム著作権ãŠå•ã„åˆã‚ã›ã‚¯ãƒªã‚¨ã‚¤ã‚¿ãƒ¼å‘ã‘広告掲載開発者å‘ã‘利用è¦ç´„プライãƒã‚·ãƒ¼ãƒãƒªã‚·ãƒ¼ã¨ã‚»ã‚ュリティYouTube ã®ä»•çµ„ã¿æ–°æ©Ÿèƒ½ã‚’試ã—ã¦ã¿ã‚‹Â© 2024 Google LLC
Catsters guide
Introduction In an attempt to solidify and extend my knowledge of category theory, I have been working my way through the excellent series of category theory lectures posted on Youtube by Eugenia Cheng and Simon Willerton, aka the Catsters. Edsko de Vries used to have a listing of the videos, but it is no longer available. After wresting a copy from a Google cache, I began working my way through t
Haskell Hacking in the Google Zurich Office
The Google Open Source Programs Office recently co-sponsored a three-day hackathon for Haskell, an open source functional programming language. Johan Tibell from Google’s Zurich office talks more about the event below. On the weekend of May 29th, 120 Haskell enthusiasts got together for the 5th installment of ZuriHac, a yearly open source Haskell hackathon held in Zurich, Switzerland. This year we
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Easy Native GUIs in Haskell, Today!
Keynote: Dependently-Typed Haskell - Stephanie Weirich
JSON Autotype 1.0 - Haskell SG
Haskell in Production at Wagon - Square Tech Talk
UoY CS - Folding Domain-Specific Languages - Prof. Jeremy Gibbons
Functional Programming in a Stateful World by Manuel Chakravarty - YOW! Lambda Jam 2015 | Eventer
Erik Meijer on Monads
Big Techday 8 - TNG Technology Consulting - Anonymous records in Haskell
http://school.looprecur.com/
http://looprecur.com/blog/gpu-programming-in-haskell/
Category theory foundations 1.0 — Steve Awodey
{{#tags}}- {{label}}
{{/tags}}