I had some really weird thoughts about programming the other day.
-
-
Replying to @nouswaves
(1) Non-intuitive aspect: dropping an apple onto another apple requires a change of type, and alters the operations that can be performed.
1 reply 0 retweets 0 likes -
Replying to @nouswaves
Isn't an apple a list of apples containing only one apple? And shouldn't a list of one thing allow us to access it without an index?
1 reply 0 retweets 0 likes -
Replying to @nouswaves
And if there is no apple why make it null. Couldn't it just be an empty list of apples.
1 reply 0 retweets 0 likes -
Replying to @nouswaves
(2) Why should we manually update function signatures? Couldn't we auto-generate them from the body.
2 replies 0 retweets 0 likes -
Replying to @nouswaves
In most cases what we're doing is redundant: writing information in a more concise form. Only rarely do we need to constrain further.
1 reply 0 retweets 0 likes -
Replying to @nouswaves
I guess you could argue that these signatures may be created first.
1 reply 0 retweets 0 likes
RE: (2), it seems Elm already works this way. See: http://elm-lang.org/guide/model-the-problem …
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.