A Porcupine Named Edgar Allen Poke
/Selector -> Array Component
Component -> Array Selector
a -> f b
b -> f a
a -> f b
b -> g a
Like a Parent at a Beauty Pagent
/- LamdaConf 2017
- Integrating PureScript and Halogen into JavaScript Applications
- How to Build a Blog in 10 Minutes with Hyper
- Lattice
- CSS Animation
- Keyframe
- Transition
- Mealy Machine
- Moore Machine
- Profunctor
- Arrowized FRP
- Semiring
- Ring
- Adjunctions in Everyday Life
- Corecursion, Codata and Just a Little Combinatorial Game Theory
- The Zipper
- The Algebra of Algebraic Data Types - Chris Taylor
- The Algebra of Algebraic Data Types, Part 1
- The Algebra of Algebraic Data Types, Part 2
- The Algebra of Algebraic Data Types, Part 3
- The Two Dualities of Computation: Negative and Fractional Types
- Euclidean Space
- Redux
- Data types à la carte
- Encapsulation Considered Harmful
- Open/closed principle
Jesse Down South
/- ConnectTech (2:20)
- Dandie Dinmont (4:07)
- Oh Composable World! - Brian Lonsdorf (5:20)
- Applicative Effects in Free Monads (8:09)
- "Anything free is relative to what you forget" (11:32)
liftFree (Const "a") <*> liftFree (Const "b") = Free (Const "ab") liftFree (Const "a") `ap` liftFree (Const "b") = Free (Const "a")
- Eta (formerly GHCVM) (16:16)
- Lets make Minecraft mod on Haskell (16:30)
- Apex (16:44)
- LINQ (17:00)
- Extensible Records (17:45)
- purescript-typelevel (18:05)
- purescript-typelevel-eval (18:15)
- Idris (18:26)
- Jesse Williamson (22:50)