@tomaspetricek except useful, I can't remember the last time I actually used fib :)
-
-
Replying to @acid2
@acid2@tomaspetricek indeed. I've looked for new stuff, but it covers a lot and the ideas are useful in practice. Suggestions welcome!1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady@acid2 Dimension checking in matrix multiplication might be nice take on the same theme. But it's not much better.2 replies 0 retweets 0 likes -
Replying to @tomaspetricek
@tomaspetricek@edwinbrady You can do that without dependent types at all by composing functors that represent sized vectors;less convincing1 reply 0 retweets 0 likes -
Replying to @acid2
@acid2@edwinbrady Well yes, many interesting things can be (and I think perhaps should be) done without full dependent types.1 reply 0 retweets 0 likes -
Replying to @tomaspetricek
@acid2@edwinbrady The http://www.cis.upenn.edu/~bcpierce/attapl/ … has decent printf format strings sample (which apparently also doesn't need dependent types)1 reply 0 retweets 0 likes -
Replying to @tomaspetricek
@tomaspetricek@acid2 printf demonstrates one aspect, generic programming by computing a type, but it's not very realistic imo1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady@acid2 Yeah, it's the same as selling FP in general. But dependent types definitely need better examples to convince pragmatists1 reply 0 retweets 0 likes -
Replying to @tomaspetricek
@tomaspetricek@acid2 It's hard to be convincing at the same time as being comprehensible. I've found Vect does the best job in a short time1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@acid2 Vector is good, but it is in *every* single tutorial I found. May make people think it's the only thing that can be done!2 replies 0 retweets 0 likes
@tomaspetricek @acid2 I hope people don't think the first example demonstrates the limits, or they'll think C can only print "hello world"
-
-
Replying to @edwinbrady
@tomaspetricek@acid2 I'm all for more interesting examples, anyway, I've just never found one that does the job as well!1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@tomaspetricek@acid2 What about the more generic Algebraic Ornament for lists? https://gist.github.com/gallais/e507832abc6c91ac7cb9 …1 reply 0 retweets 1 like - 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.