From 56cf0b3ffc12fe623210de93cfbd015e37478054 Mon Sep 17 00:00:00 2001 From: ben Date: Wed, 16 Mar 2016 02:13:44 -0400 Subject: [PATCH] [icfp] experience, the new title --- icfp-2016/experience.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/icfp-2016/experience.scrbl b/icfp-2016/experience.scrbl index 1d1df34..a3d558d 100644 --- a/icfp-2016/experience.scrbl +++ b/icfp-2016/experience.scrbl @@ -1,7 +1,7 @@ #lang scribble/sigplan @require["common.rkt"] -@title[#:tag "sec:experience"]{Experience} +@title[#:tag "sec:experience"]{Backwards Compatibility} Our initial experience programming with the library has been positive. By far the most useful application is to @racket[regexp-match], as @@ -31,7 +31,7 @@ Removing type annotations and casts made redundant by our library is, however, Compiling with our library adds no statistically significant overhead, but tends to produce slightly larger bytecode files due to the inserted annotations (at most 2% larger). -Running times we observed were on average unaffected, but one project +Running times we observed were on largely unaffected, but one project exhibited a 2-second slowdown due to added type casts. This could be improved by a closer integration with the type checker to remove casts guaranteed to succeed.