|
| From: | Ludovic Courtès |
| Subject: | Re: A bit further toward the flamewar |
| Date: | Thu, 13 Oct 2011 19:43:48 +0200 |
| User-agent: | Gnus/5.110018 (No Gnus v0.18) Emacs/24.0.90 (gnu/linux) |
Hello! Andy Wingo <address@hidden> skribis: > Anyway this second, proof side of types, is the side that Scheme does > not have. C has a stronger story in that regard. Right; but let’s not oversell C. ;-) Lisps are definitely closer to automated theorem provers than C. ACL2 and αleanTAP come to mind. Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |