I had some really weird thoughts about programming the other day.
(2) Why should we manually update function signatures? Couldn't we auto-generate them from the body.
-
-
In most cases what we're doing is redundant: writing information in a more concise form. Only rarely do we need to constrain further.
-
I guess you could argue that these signatures may be created first.
- 1 more reply
New conversation -
-
-
@nouswaves Are you thinking about something distinct from (Haskell-style) type inference? -
@othercriteria It was in relation to traditional enterprisey type systems. However the point is actually about visualising type inferences. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.