Det typesjekkeren din ikke kan sjekke

Det typesjekkeren din ikke kan sjekke

Typesjekking har begrensninger. Det føles kanskje ikke sånn når du får et deilig hit med dopamin over å se 0 røde streker i editoren din, men det er ting et program må forholde seg til som ikke kan/bør dekkes av typer. Med en artikkel med tittelen «What Functional Programmers Get Wrong About Systems» av Ian Duncan[1] som bakteppe diskuterer vi hva typer er gode til, når de ikke lengre strekker til og hva forskjellen på et program og et system er.



[1] https://www.iankduncan.com/engineering/2026-02-09-what-functional-programmers-get-wrong-about-systems

---


Følg oss og send oss meldinger på @kortslutning.fun.

Hosted on Acast. See acast.com/privacy for more information.

Episoder(166)

100 Spesial

100 Spesial

Vi topper Marvel og gir deg 100 post-credit clips på rappen! (Ok, det er bare 95 for vi startet ikke før episode 6 med det)---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See ...

24 Des 202216min

Utforsker ChatGPTs muligheter: En dypere forståelse av OpenAI-chatboten

Utforsker ChatGPTs muligheter: En dypere forståelse av OpenAI-chatboten

I denne episoden av vår podcast tar vi en nærmere titt på ChatGPT, en chatbot utviklet av OpenAI. Vi vil utforske hvordan ChatGPT fungerer, hva den kan gjøre, og hvordan den kan brukes. Vi vil også di...

19 Des 202228min

Ignite Talks, DevOps Days og hvorfor å holde presentasjoner er nyttig

Ignite Talks, DevOps Days og hvorfor å holde presentasjoner er nyttig

Som tittelen sier handler denne episoden om det å presentere. Mikael har vært på DevOps Days og holdt en Ignite talk. Vi snakker om Ignite-formatet, DevOps Days og hvorfor det å holde presentasjoner e...

7 Nov 202228min

Utviklerarroganse

Utviklerarroganse

Hva er det med oss utviklere og den urokkelige troen vi har på at alt kan løses med bare litt mer teknologi? Og hvordan utspiller det seg når utviklere blir innblandet i operasjonelle oppgaver? Vi ref...

24 Okt 202231min

Konferansehøsten med JavaZone og NDC

Konferansehøsten med JavaZone og NDC

Stian har holdt presentasjonen sin "Popcorn og klokker; en historie om skedulering i nettlesern" på JavaZone og NDC i år og Mikael har deltatt på begge. Vi diskuterer hvordan konferansene er, hvordan ...

10 Okt 202233min

Hva skjer når en prominent utvikler sletter github-kontoen sin?

Hva skjer når en prominent utvikler sletter github-kontoen sin?

Hva skjer når en prominent utvikler sletter github-kontoen sin? Hva sier det om hvordan moderne open source fungerer? Hvordan blir en utvikler prominent? Vi reflekterer over hva utfallet ble.---Følg o...

26 Sep 202231min

Hvordan være en god utvikler, del 2

Hvordan være en god utvikler, del 2

Mikael har vært begått blogging, og vi benytter anledningen til å snakke om det. Temaet er "Hvordan være en god utvikler". Vi starter med en definisjon av hva det vil si å være god, hva det vil si å l...

22 Aug 202237min

Hvordan være en god utvikler

Hvordan være en god utvikler

Mikael har vært begått blogging, og vi benytter anledningen til å snakke om det. Temaet er "Hvordan være en god utvikler". Vi starter med en definisjon av hva det vil si å være god, hva det vil si å l...

8 Aug 202236min

Populært innen Teknologi

lydartikler-fra-aftenposten
romkapsel
tomprat-med-gunnar-tjomlid
teknisk-sett
energi-og-klima
elektropodden
shifter
fornybaren
nasjonal-sikkerhetsmyndighet-nsm
rss-impressions-2
hans-petter-og-co
rss-ai-forklart
smart-forklart
rss-bouvet-bobler
teknologi-og-mennesker
kunstig-intelligens-med-morten-goodwin
rss-grenser-for-ki
rss-alt-som-gar-pa-strom
pedagogisk-intelligens
rss-for-alarmen-gar