I haven't kept up to date with new research in the empirical effectiveness of types, but I'm of the general position that what we need rn is more qualitative research, like this 2021.splashcon.org/details/spla... - ThreadSky | a Reddit-style client for Bluesky

hillelwayne.com • 5 days ago

I haven't kept up to date with new research in the empirical effectiveness of types, but I'm of the general position that what we need rn is more qualitative research, like this https://2021.splashcon.org/details/splash-2021-oopsla/59/How-Statically-Typed-Functional-Programmers-Write-Code

Comments