diff --git a/index.md b/index.md index 97a927f..36749fa 100644 --- a/index.md +++ b/index.md @@ -1560,7 +1560,7 @@ let rev l = . . if en {then|loop} en'} -{{else|loop} en''} +{ {else|loop} en''} ``` Это основное отличие ML от ISWIM после типизации. Эдинбургская программа отвергла продолжения как основную управляющую структуру из-за медлительности. И большинство дизайнеров ML отвергли `goto` как в Лиспе, за которое выступал Ньюи [Gord10].