<p>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.</p><br><p><br></p><p>[1] https://www.iankduncan.com/engineering/2026-02-09-what-functional-programmers-get-wrong-about-systems</p><p>---</p><br><p>Følg oss og send oss meldinger på <a href="https://bsky.app/profile/kortslutning.fun" rel="noopener noreferrer" target="_blank">@kortslutning.fun</a>.</p><hr><p style='color:grey; font-size:0.75em;'> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.</p>