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)

Hva gjør Stian på jobben om dagen?

Hva gjør Stian på jobben om dagen?

Vi prøver noe nytt! Mikael får prøve seg som journalist og intervjuer Stian om hva han gjør på jobb i disse dager.---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com...

21 Apr 202545min

For "snille" tilbakemeldinger?

For "snille" tilbakemeldinger?

Hvordan ser den perfekte tilbakemeldingen ut? Kan en tilbakemelding bli dårlig ved å være for snill? Finnes det egentlig god kode[1]? Og hva har egentlig Aristoteles med alt dette å gjøre?Denne episod...

7 Apr 202533min

IT-bransjen i møte med verden

IT-bransjen i møte med verden

NAV har nylig vært ute og søkt etter en «Direktør for Brukeropplevelse» og det trigget en kommentar fra Mímir Kristjánsson (og noen påfølgende reaksjonsaker på digi.no[1]). Det fikk oss til å tenke på...

24 Mar 202533min

Ting du kan endre mening om etter 10år i bransjen, del 2

Ting du kan endre mening om etter 10år i bransjen, del 2

Den godeste Chris Khiel har skrevet en ny artikkel med tittelen «Software development topics I've changed my mind on after 10 years in the industry»[1] Siden vi tok for oss artikkelen han skrev for 4 ...

3 Mar 202539min

Ting du kan endre mening om etter 10år i bransjen, del 1

Ting du kan endre mening om etter 10år i bransjen, del 1

Den godeste Chris Khiel har skrevet en ny artikkel med tittelen Software development topics I've changed my mind on after 10 years in the industry»[1] Siden vi tok for oss artikkelen han skrev for 4 å...

17 Feb 202532min

Må vi redde verden fra undergangen?

Må vi redde verden fra undergangen?

Dramatisk tittel, ikke fullt så dramatisk innhold. Kortslutning spesial der altså. I denne episoden diskuterer vi Johnatan Blows foredrag «Preventing the Collapse of Civilization»[1], som vi fikk send...

3 Feb 202545min

Erfaringsradar

Erfaringsradar

Stian er egentlig den som skriver beskrivelser, men denne gangen redigerte Mikael for sent og han tror Stian har lagt seg.---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See a...

20 Jan 202535min

Selvfølelse, produktivitet og menneskers natur

Selvfølelse, produktivitet og menneskers natur

Hvordan henger selvfølelse og selvtillit sammen med produktivitet og kvalitet? Hvordan påvirker de hverandre? Hvordan føles det når de påvirker hverandre positivt? Negativt? Er det noe vi kan gjøre? E...

6 Jan 202531min

Populært innen Teknologi

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