Kodsnack 603 - Ett sunt system, med Andreas Ekeroot

Fredrik får besök av Andreas Ekeroot som diskuterar det whiteboardvänliga språket Haskell. Och monader, förstås, i poddens första försök att förklara monader som amöbor. Dessutom ett exjobb om att generera program. Vi reder också ut vem som är äldst av Andreas, Haskell, och Erlang. Samt varför det kan vara ett bra motto att undvika framgång till varje pris. Lite exempelkod: sumAllNumbers :: String -> Int sumAllNumbers str = sum (map read (lines str)) main :: IO () main = do fileContent print (sumAllNumbers fileContent) Ett stort tack till Cloudnet som sponsrar vår VPS! Har du kommentarer, frågor eller tips? Vi är @kodsnack, @thieta, @krig, och @bjoreman på Mastodon, har en sida på Facebook och epostas på [email protected] om du vill skriva längre. Vi läser allt som skickas. Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik. Länkar Andreas Ekeroot Tidigare avsnitt med Andreas Haskell Regular programming - “den andra podden” Quickcheck Cakeml - kompilatorn och språket Compcert Intermediärrepresentation LLVM och dess IR Erlang Elixir Property based testing diskuteras också i bland annat avsnitt 386 Regular programming om när Andreas blev av med jobbet The hobbit/Bilbo Bilbo illustrerad av Tove Jansson Stöd oss på Ko-fi! Lat utvärderande programmeringsspråk Davidstatyn Clean - inspirerade Haskell Miranda - inspirerade Haskell Ocaml Jane street F# LINQ GHC Typer i Haskell Hindley Milner-typsystem Koen Claessen - holländare som introducerade Haskell för Andreas på Chalmers Kenneth E. Iverson Notation as a tool of thought APL Game of life i APL Simon Marlow Set theoretic types - konceptet Elixirs nya typsystem bygger på Avoid success at all costs Escape from the ivory tower - the Haskell journey, presentation av Simon Peyton Jones Freebsd Elm Evan - skapare av Elm Donald Knuth Monader Saša Jurić - the soul of Erlang - föreläsning där trådar ligger och kraschar utan att störa något annat Phil Wadler Kategoriteori Turingkompletthet Dhall - icke-turingkomplett konfigurationsspråk YAML Magic är turingkomplett JSON INI-filer Chef Puppet Dal - linsgrytan Planescape: torment Monader som burritos Burritos är monader Titlar Det vi hade tänkt prata om förra gången Allt utom Haskell Notoriskt svårt att generera program Bevis är inte riktigt min grej Science was made Erlang har det för att de är tjuriga Den heta kusinen till Erlang Tove Janssonskt Det är länge sedan nuförtiden Lata funktionella programmeringsspråk IO är liksom inte en grej Formen i stenen Tillbaka till marmorblock Den strikta kusinen “Ska bara”-språk Ordning och reda med typer Som AI fast bättre Ett sunt system Smidigt att skriva på whiteboard Haskells märkliga lillebror Ta någonting och sluka det Plocka ut grejen ur monaden