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)

Kontinuerlig leveranse-innstilling

Kontinuerlig leveranse-innstilling

Hvordan har du en kontinuerlig leveranse-innstilling? Når alle CI/CD-pipeline-boksene er sjekka av og vi fortsatt ikke klarer levere godt nok eller smidig nok, er det noe vi kan gjøre med måten vi til...

2 Okt 202337min

Server-Orientert Programmering

Server-Orientert Programmering

Teknologipendelen svinger ubenhørlig, og nå ser det ut til at den svinger tilbake til serveren. Etter mange år med Klient-orientert kode og fremgangsmåte, ser vi nå frem mot en ny runde med Server-ori...

4 Sep 202330min

Stor-F Frontend

Stor-F Frontend

I denne episoden tar vi for oss en artikkel skrevet av Malte Ubl (CTO i Vercel) hvor han gjør et forsøk på å definere Stor-F Frontend og Stor-B Backend, for å rydde opp i begrepsbruken. Du finner arti...

21 Aug 202332min

Utfordringer i bransjen?

Utfordringer i bransjen?

Er det nedgang og utfordringer i bransjen? Det har vært flere tilfeller av terminering av kontrakter for nyutdannede og sommerjobbere som så frem til at rett rundt hjørnet var det oppstart av ny jobb....

7 Aug 202331min

Hva burde utviklere bruke tid på?

Hva burde utviklere bruke tid på?

I denne episoden prøver Mikael å krangle på seg folk fra alle kanter i landet med å ta opp spørsmålet: Hva er det greit at utviklere bruker tiden sin på av egne interesser når det hindrer forretningsv...

4 Jul 202329min

Hvordan skille hype fra substans

Hvordan skille hype fra substans

Hype er en naturlig del av det å navigere ny teknologi. Det har vi spesielt fått merke de siste par årene hvor vi har hatt flere store hypes innen teknologi som stort sett ikke har klart å levere på f...

12 Jun 202326min

Avstanden mellom kilde og kjørende kode

Avstanden mellom kilde og kjørende kode

I denne episoden tar vi en liten diskusjon om hvordan avstanden mellom koden vi skriver og koden som ender opp med å kjøre øker i frontend verden. Er det en ny utvikling? Er det en trade-off vi må aks...

30 Mai 202326min

Strukturert kunnskapsbygging

Strukturert kunnskapsbygging

Vi tar en diskusjon om hvordan vi bygger ny kunnskap, eller læring om du vil. Hvordan vi kan bygge struktur rundt det for å bedre kunne diskutere hvilken kunnskap vi mangler, hvilken kunnskap vi har o...

15 Mai 202333min

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