Gå offline med appen Player FM !
Kodsnack 603 - Ett sunt system, med Andreas Ekeroot
Manage episode 441529458 series 2166142
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 <- readFile “magiska_tal.txt”
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å info@kodsnack.se 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
- 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
633 episoder
Manage episode 441529458 series 2166142
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 <- readFile “magiska_tal.txt”
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å info@kodsnack.se 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
- 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
633 episoder
Alla avsnitt
×Välkommen till Player FM
Player FM scannar webben för högkvalitativa podcasts för dig att njuta av nu direkt. Den är den bästa podcast-appen och den fungerar med Android, Iphone och webben. Bli medlem för att synka prenumerationer mellan enheter.