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)

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

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

Vi tar for oss en artikkel skrevet av Chris Khiel med tittelen «Software development topics I've changed my mind on after 6 years in the industry»[1]. Vi syntes premisset var såpass spennende at vi ha...

9 Des 202438min

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

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

Vi tar for oss en artikkel skrevet av Chris Khiel med tittelen «Software development topics I've changed my mind on after 6 years in the industry»[1]. Vi syntes premisset var såpass spennende at vi ha...

25 Nov 202435min

Polyglote programmerere

Polyglote programmerere

Er polyglote programmerere en ting i 2024? Er det å kunne flere programmeringspråk noe vi tar for gitt i dag? Hva er egentlig fordelen med å programmere i flere språk? Vi kjører klassisk drøfting av p...

11 Nov 202436min

Konferanseretrospektiv

Konferanseretrospektiv

Vi ser tilbake på våre turer til #HelloStavanger og TrondheimDC. Vi synser litt om hvordan våre egne foredrag gikk. Vi reflekterer litt over hva vi synes om den aller første utgaven av #HelloStavanger...

28 Okt 202436min

Er rammeverk smidig?

Er rammeverk smidig?

Er rammeverk smidig? Er det sånn at du må bruke rammeverk for å bevege deg kjapt i starten? Er det uunngåelig å tape fart etterhvert når du først har gått ned rammeverk-stien? Vi kjører klassisk Korts...

14 Okt 202436min

Håndbok for utviklere - del 3

Håndbok for utviklere - del 3

Vi sparker igang en liten serie med podcaster basert på Mikael's bloggpost med samme navn[1]. Det er en serie med tips og råd for utviklere som er ferske i faget. I denne episoden dekker vi punkt 7 ti...

30 Sep 202438min

Håndbok for utviklere - del 2

Håndbok for utviklere - del 2

Vi sparker igang en liten serie med podcaster basert på Mikael's bloggpost med samme navn[1]. Det er en serie med tips og råd for utviklere som er ferske i faget. I første episode dekker vi punkt 4 ti...

16 Sep 202433min

Håndbok for utviklere - del 1

Håndbok for utviklere - del 1

Vi sparker igang en liten serie med podcaster basert på Mikael's bloggpost med samme navn[1]. Det er en serie med tips og råd for utviklere som er ferske i faget. I første episode dekker vi punkt 1 ti...

15 Jul 202442min

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