News for hackers. Stuff that matters.

A comment on Translating Mathematics into Code: Examples in Java, Python, Haskell and Racket. Parent comment

Re:Translating Mathematics into Code: Examples in Java, Pyth... by meric on Monday February 09, 2015 @08:05PM (#9024803)
>> the value of a variable in a language that supports mutation depends implicitly on time

Mind blown.

[ Parent | on HN ]
Re:Translating Mathematics into Code: Examples in Java, Pyth... by j2kun on Monday February 09, 2015 @10:02PM (#9025152)
What blows my mind is that variables in C implicitly depend not only on time but also on the entire contents of memory!
[ Parent | on HN ]
Re:Translating Mathematics into Code: Examples in Java, Pyth... by sukilot on Monday February 09, 2015 @10:52PM (#9025297)
And also depend on all the contents of disk and network and all attached input devices.
[ Parent | on HN ]
Re:Translating Mathematics into Code: Examples in Java, Pyth... by tel on Monday February 09, 2015 @11:23PM (#9025365)
And if things are multithreaded then shared memory variables depend implicitly upon all possible actions of all possible simultaneous threads.
[ Parent | on HN ]
Re:Translating Mathematics into Code: Examples in Java, Pyth... by platz on Monday February 09, 2015 @08:30PM (#9024891)
Welcome to FRP
[ Parent | on HN ]