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

/prog/ programming project

Name: Anonymous 2015-01-24 11:15

Hey guys! Let's all work on a programming project together. We could make some cool thing together. First lets decide what language to use

Name: Anonymous 2015-01-25 9:25

>>11
Types of all terms have to be forced (strongly normalized) at typecheck time, that's the very point of type inference and typechecking. If you don't normalize 'em, then might as well skip typechecking altogether.

That's also the reason why in dependently typed languages you have to prove that all calculations at the type level terminate. That's why all the totality bullshit there.

>>12
Keep telling yourself that, keep enclosing yourself in that cozy box where your low-level shitlanguages aren't being ousted by Haskell all over the place.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List