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)

Brukertesting

Brukertesting

Brukertesting. Alle sier det er en bra ting, men alt for få har et bevisst forhold til det. Hva gjør brukertesting så nyttig? Hvorfor er det sånn at det ikke er en automatisk include i alle prosjekter...

24 Jun 202430min

Presentasjoner og win-wins

Presentasjoner og win-wins

Vi kjører diskusjon på fordelene ved å prate på konferanser (eller lignende), både for den som holder foredraget og for arbeidsgiveren til den som holder foredraget. Hvordan fungerer dynamikken mellom...

3 Jun 202435min

IT og aktivisme

IT og aktivisme

Vi tar en prat om IT og aktivisme. Hvordan har aktivisime formet IT og hvordan er forholdet mellom IT og aktivisme i 2024?Noen linker til ting vi nevner underveis:- Ingeniører uten grenser https://iug...

20 Mai 202432min

AI hype og hyperbel

AI hype og hyperbel

Det er nesten ett år siden vi snakket om Generativ AI sist. Hvordan ser vi på det nå, og hvordan kan det brukes uten at det bare blir kunstig fluff. Mikael lover å aldri generere dårlig AI-sang til mi...

30 Apr 202431min

Hvordan lære seg noe nytt? Bygg ting!

Hvordan lære seg noe nytt? Bygg ting!

Hva er egentlig den beste måten å lære seg noe nytt? Det er egentlig umulig å svare på, uten å vite hva _best_ betyr eller hva _noe_ er, men en ting vet vi sikkert: at å bygge noe fra bunnen av gir de...

15 Apr 202427min

Den post-funksjonelle funksjonelle verden

Den post-funksjonelle funksjonelle verden

Den post-funksjonelle funksjonelle verden er litt av en måte å starte 2024 på. Hva er egentlig rollen til funksjonell programmering nå som funksjonell programmering i stor grad har blitt normalisert o...

22 Jan 202428min

Markedstyrt kompetanseutvikling

Markedstyrt kompetanseutvikling

Bør det være markedet (eller produktet, hvis du jobber i en produktorganisasjon) som styrer hvilken kompetanse du bygger? Til forskjell fra hva du synes er gøy eller hva du er motivert for? Bør det væ...

27 Nov 202331min

Påvirker nedgangstid balansen mellom front og backend?

Påvirker nedgangstid balansen mellom front og backend?

Påvirker nedgangstiden vi er i balansen i etterspørselen etter frontend vs backend (bredt snakka)? Eller, for å si det på en annen måte, er det nedgangstiden som forklarer hvorfor DevOps og Azure er d...

13 Nov 202320min

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