@tomaspetricek @edwinbrady You can do that without dependent types at all by composing functors that represent sized vectors;less convincing
-
-
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 -
Replying to @tomaspetricek
@tomaspetricek@acid2 I hope people don't think the first example demonstrates the limits, or they'll think C can only print "hello world"1 reply 0 retweets 1 like -
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
@eisaru @tomaspetricek @acid2 Depends on the target audience. The beginner probably hasn't seen Vect a million times so isn't bored of it!
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.