# It's Like Faulkner

/- Sweet Baby Ray's
- Elm is Wrong
- Why type classes aren’t important in Elm yet
- Adjunction
- Free
- Cofree
- Reader
- Writer
- Env
- Monad
- Comonad
- Any homomorphism, f, between monoids is completely determined once you

know where a set of generators of the monoid map under the

homomorphism, and vice versa. - Dan Piponi - Category
- Forgetful functor
- Isomorphism
- Galois connection
- If you find that a design forces you into making ad hoc decisions, you are missing an adjunction somewhere. - Rúnar Bjarnason
- React Component
- Contravariant
- Closure
- Profunctor
- Opaleye
- Arrows
- postgresql-typed
- Yesod
- scotty
- Everything Old is New Again: Quoted Domain Specific Languages - Philip Wadler
- Views

# Haskell and Chill

/- Chris Penner
- Hanabi
- Skyladder
- Mindfulness meditation
- Primitive Obsession
- POJO
- Boolean Blindness
- Destroy All Ifs
- MuniHac 2016: Beautiful folds are practical, too
- purescript-halogen
- Integrating PureScript and Halogen into JavaScript Applications
- The J Programming Language
- Numeronym
- As-patterns
- Comonads, Monoids and Trees

# Are Denotational Semantics Adjoint to Hacking Something Together?

/- 2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed Metathe
- Galois Connection
- An Exercise Utilising Galois Connections
- Denotational semantics
- Deriving Functor
- purescript-filterable
- excursion
- purescript-matryoshka
- apomorphism
- anamorphism
- histomorphism
- futumorphism
- Group
- :not
- Ring
- Boolean algebra
- Heyting algebra
- Idempotence
- Lattice
- Semigroup
- Monoid
- Commutative property
- Semilattice

# Put an Iframe on it, Done!

/- Dreamforce
- Elmlang PSA
- Denotational Design From Meanings to Programs - Conal Elliott
- Add a type parameter! One 'simple' design change, a panoply of outcomes - Stephen Compall
- Boston Haskell Lightning talks - Dec. 2014
- Modularity and Abstraction in Functional Programming - Chris Martens
- Évariste Galois
- Functional Geekery Episode 67 - Hardy Jones
- Galois Connection
- Galois Connections - Array out Bounds Checking
- Making Impossible States Impossible - Richard Feldman
- Practically functional programming - Connect.Tech
- h3h3productions