060 - Vi unnar oss funktionell programmering med Christoffer Ekeroth

Christoffer Ekeroth kommer på besök och gör en djupdykning i funktionell programmering.

På vägen blir det historier från utbildningens och Javas mörka dagar där man blev piskad till sömns varje kväll, och en enda flashfilm kunde ta ner hela datasalen. Christoffer berättar om vad funktionell programmering är, varifrån det kommer, och vad det egentligen innebär att ha ett starkt typsystem och varför det är trevligt. Plus en matig lista länktips.

Länkar

• Christoffer Ekeroth
• Christoffer på Twitter
• QBasic
• ASP - klassisk ASP
• PHP
• Paul Graham
• Paul Grahams essäer om Lisp
• Common Lisp
• Prolog
• Haskell
• Smalltalk
• Sun blade
• XNA
• DirectX
• Erlang
• Lars Wikman gästade avsnitt 57
• Lodash
• Funktionell programmering
• Sidoeffekter
• F#
• ML
• Parse, don't validate
• Arxiv
• LaTeX
• DTO - data transfer object
• John McCarthy
• McCarthys Lispartikel - Recursive Functions of Symbolic Expressions and Their Computation by Machine (Part I)
• Paul Grahams The Roots of Lisp
• Lambdakalkyl
• Gottfried Liebnitz
• David Hilbert
• Millennieprisproblemen
• Alan Turing
• Turingmaskinen
• Halting problem
• Rule 110 är turingkomplett
• Snäckskal är turingkompletta
• Game of life
• Alonzo Church
• Hindley–Milner-typinferens
• Functional Software
• F# for fun and profit
• Learn you a Haskell
• Domain modeling made functional
• Structure and interpretation of computer programs

Citat

• Haskell och Prolog och esoteriska programmeringsspråk
• Casta upp det
• Ett sätt att tänka
• Strikt med vad man kan och inte kan göra
• Ett väldigt starkt typsystem
• Mer av dina affärsregler i själva typsystemet
• 45 sidor Latex
• Enkelt att skapa en ny typ
• Bakom en klassbarriär
• Mind blown-läsning
• Det ljuva 1600-talet
• Om du har ett logiskt uttryck
• Formalisera beskrivningen av algoritmen
• Lambdakalkyl med typer
• Du är en kompilator
• Mycket mindre bokföring

• (00:19) - Intro
• (00:57) - Christoffers bakgrund
• (14:02) - Vad är funktionell programmering?
• (20:39) - Vad innebär ett starkt typsystem?
• (26:47) - Funktionell programmerings ursprung
• (41:25) - Jobb- och länktips