tag:blogger.com,1999:blog-10770855.post7075762723985270367..comments2024-03-28T03:20:57.393-04:00Comments on The Little Calculist: How to impair a declarativeDave Hermanhttp://www.blogger.com/profile/00405190527081772997noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-10770855.post-78308060794847835712023-12-04T10:32:47.564-05:002023-12-04T10:32:47.564-05:00Loveely postLoveely postSalazarastarkhttps://salazarastark.tumblr.com/noreply@blogger.comtag:blogger.com,1999:blog-10770855.post-70048670733434417472008-07-09T14:22:00.000-04:002008-07-09T14:22:00.000-04:00Maybe this is what you mean by option #3 but I wan...Maybe this is what you mean by option #3 but I want both #2 and #3 by using the entailment partial order with ambiguous cases rejected. Statically when possible (simple pattern matching) or dynamically when necessary (entailment between boolean guards). There remain expressivity/decidability/performance concerns...Unknownhttps://www.blogger.com/profile/04205298776211790050noreply@blogger.com