From a Curry-Howard perspective, "I like programming but I don't like maths." means "I like programming but I don't like programming.".
-
-
Programming as usually practiced is akin to exploratory applied math where you're maybe not even looking at results?
-
Yes. What's your point?
Kraj razgovora
Novi razgovor -
-
-
"Potential" being the word I USED TO live by, in my case. "It typechecks ship it" - not a good attitude in a bank, it turns out.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.