Timeline for answer to Is there a practical use for dependent types? by Karl Bielefeldt
Current License: CC BY-SA 4.0
Post Revisions
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 8, 2020 at 13:46 | vote | accept | zooby | ||
| Nov 18, 2019 at 3:50 | comment | added | Robert Harvey | @zooby: Seems reasonable to me. You can still take advantage of the compile-time checks. | |
| Nov 18, 2019 at 3:39 | comment | added | zooby | Hi thanks. No I didn't miss that. Imagine putting firstNPrimes(n) with type int[n] and putting it into the Cross product. That was my point. | |
| Nov 18, 2019 at 1:28 | history | answered | Karl Bielefeldt | CC BY-SA 4.0 |