Timeline for How do you encode Algebraic Data Types in a C#- or Java-like language?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 8, 2012 at 16:13 | comment | added | Jörg W Mittag | Brilliant! I guess this is good enough for doing "manual static type checking". I'm more looking to eliminate honest programming errors rather than malicious intent. | |
| Aug 7, 2012 at 19:22 | comment | added | Peter Taylor | @svick, well observed. I wasn't taking into account that the base type would be parameterised. | |
| Aug 7, 2012 at 17:07 | comment | added | svick | It wouldn't be more complicated in C#: Type type = this.GetType(); if (type != typeof(Empty<T>) && type != typeof(ConsCell<T>)) throw new Exception(); | |
| Aug 7, 2012 at 13:02 | history | answered | Peter Taylor | CC BY-SA 3.0 |