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.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Mikael Brevik & Stian Veum Møllersen. Innehållet i podden är skapat av Mikael Brevik & Stian Veum Møllersen och inte av, eller tillsammans med, Poddtoppen.