"Counterexamples in Type Systems"
47 views
Skip to first unread message
Bruno Deferrari
May 14, 2021, 2:52:20 PM5/14/21
to qil...@googlegroups.com
Interesting read: http://counterexamples.org/
"""
Welcome to Counterexamples in Type Systems, a compendium of horrible
programs that crash, segfault or otherwise explode.
The "counterexamples" here are programs that go wrong in ways that
should be impossible: corrupt memory in Rust, produce a
ClassCastException in cast-free Java, segfault in Haskell, and so on.
This book is a collection of such counterexamples, each with some
explanation of what went wrong and references to the languages or
systems in which the problem occurred.
It's intended as a resource for researchers, designers and
implementors of static type systems, as well as programmers interested
in how type systems fit together (or don't).
"""
--
BD
"""
Welcome to Counterexamples in Type Systems, a compendium of horrible
programs that crash, segfault or otherwise explode.
The "counterexamples" here are programs that go wrong in ways that
should be impossible: corrupt memory in Rust, produce a
ClassCastException in cast-free Java, segfault in Haskell, and so on.
This book is a collection of such counterexamples, each with some
explanation of what went wrong and references to the languages or
systems in which the problem occurred.
It's intended as a resource for researchers, designers and
implementors of static type systems, as well as programmers interested
in how type systems fit together (or don't).
"""
--
BD
Mark Tarver
May 16, 2021, 6:18:08 AM5/16/21
to Shen
That's a valuable resource; scanning the examples they seem for the most part to involve constructions which are not part of native Shen.
But it's certainly very useful and really shows how easy it is to err in typed language design.
Mark
Reply all
Reply to author
Forward
0 new messages