Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Ada SPARK is better than dependent types

>>5

For example, no dependently typed language I know of can tell you that
Split := (Left + Right) / 2;
is actually a bug.

I think you are wrong about that

Newer Posts