commit 3fff5a1dbc0c52a079a6c0344289249cd410dda4 parent b38fbf5153f3da1ec9f6d657ed20e661d3c7fd07 Author: Georges Dupéron <georges.duperon@gmail.com> Date: Wed, 22 Mar 2017 17:01:07 +0100 Added note about http://docs.racket-lang.org/extensible-functions Diffstat:
| M | scribblings/state-of-the-art.scrbl | | | 7 | ++++++- |
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/scribblings/state-of-the-art.scrbl b/scribblings/state-of-the-art.scrbl @@ -91,8 +91,13 @@ latter.@htodo{ Probably the former too.}}] @asection{ - @atitle{The case for bounded row polymorphism} + @atitle{The case for bounded row polymorphism} @todo{Explain the ``expression problem''.} + @todo{Talk about the various ways in which it can be ``solved'', and which + tradeoffs we aim for. Mention @url{ + http://docs.racket-lang.org/extensible-functions}, another solution + to the expression problem in Racket, but with rather different + tradeoffs.} We strive to implement compilers using many passes. A pass should be able to accept a real-world AST, and produce accordingly a real-world