|
|
|
|
|
|
by s_gourichon
1109 days ago
|
|
|
> Welcome to Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode. Many interesting quirks in type systems, surprising interference between separately innocuous type system features, but don't expect too many explosions. Indeed, many of the tricks are years old (e.g., 2006) and are fixed in current versions of the language (or even are research paper involving experimental systems that were never released, e.g. Privacy violation in C# doesn't even use a syntax that released C# compilers use). Mutable matching in Ocaml can be reproduced with ocaml 4.13, still, and cause a segfault. |
|
|