From: Ralf Jung Date: Thu, 16 May 2019 09:44:56 +0000 (+0200) Subject: expand prior work X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/e1e887492ae24f7b0448913b92a401b16b117b87?ds=sidebyside;hp=bf8063fb1a6c78e1bd8e808b5422e198b3949b62 expand prior work --- diff --git a/ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md b/ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md index 2eda613..47ce741 100644 --- a/ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md +++ b/ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md @@ -15,8 +15,8 @@ In this post, I will explain the cause of this exponential blowup. -I should note that this observation is not new, it already occurs in [François Garillot's PhD thesis](https://pastel.archives-ouvertes.fr/pastel-00649586). -The goal of this post is to provide a more self-contained presentation, not requiring all the context set up in that thesis. +I should note that this observation is not new, it already occurs in [François Garillot's PhD thesis](https://pastel.archives-ouvertes.fr/pastel-00649586) and even the authors of the "unbundled" paper already note having performance problems when scaling up. +The goal of this post is to provide a more self-contained presentation, not requiring all the context set up in that thesis and going into more details than the brief remark in the original paper. ## Unbundled groups