| |||
![]()
|
![]() ![]() |
![]()
Ну это Хаскел его так называет Он как раз никак его не называет - это просто самая естественная интерпритация этого зоопарка. Может и есть причины формализовывать Хаскел в нестандартной теории множеств без регулярности, но зачем? Так дело не в хаскеле, а в лямбдах - все это там тоже прекрасным образом есть. Просто хаскель демонстрирует, что дело зашло уже настолько далеко, что процесс из абстрактной зауми перешел во вполне инженерную область. Добавить комментарий: |
||||
![]() |
![]() |