#funktionellProgrammering

ᛋᛁᚵᛁᛋᛘᚢᚾᛑ ᚾᛁᚾᛃᛅsigismundninja@mastodon.nu
2025-12-01

Trots knackig engelska, så tycker jag att detta var en bra och jordnära introduktion till beroendetyper och bevisassistenter. Hoppas dom spelar in ett (tredje) avsnitt på svenska. #programmering #beroendetyper
#FunktionellProgrammering

creators.spotify.com/pod/profi

2025-10-17

Starka typer - ett krav för funktionella programmeringsspråk?

Christoffer Ekeroth berättar om starka typer och åsikter.

Ett utdrag ur Kodsnack 666 - lyssna där poddar finns eller på kodsnack.se!
#podcast #fp #funktionellProgrammering #typsystem

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst