Ancestors

Written by arialdo on 2025-01-07 at 16:59

I'm coming to the realization that there is this progression:

TDD -> Property Testing -> Type Driven Development (with Dependent Types) -> Formal Methods

=> More informations about this toot | More toots from arialdo@mastodon.online

Toot

Written by Alexander Diemand on 2025-01-07 at 18:18

@arialdo .. and then? Is this all there is? And what for?

😸

=> More informations about this toot | More toots from codieplusplus@mastodon.online

Descendants

Written by arialdo on 2025-01-07 at 18:25

@codieplusplus no idea if there are further steps,

Also, I’m still struggling to investigating on the Deoendent Type step. It’s a long way to the top.

=> More informations about this toot | More toots from arialdo@mastodon.online