Что значит "некоторые"? В lambda calculi with types Барендрегта и в википедии понимают стрелочки и константы. У вас есть источники, где понимают что-то другое?
Просто сказать "Haskell98" не годится, т.к. есть классы типов, рекурсия, алгебраики, let и undefined.
В системе Хиндли-Милнера есть let, и многие поймут её как систему Майкрофта, в которой есть также и рекурсия, или даже как весь ML.
Можно было бы сказать "prenex-фрагмент System F" (где нет let, рекурсии и undefined!) но это исчисление a la Church.
Вдобавок, есть великое множество похожих, но неэквивалентных исчислений с одинаковым названием (например, бета-ЛИ vs бетаэта-ЛИ, или ЛИ с НФ vs ЛИ с СЗНФ) и из-за того что спрашивающий и отвечающий по разному трактуют похожесть, могут возникнуть проблемы, точно указать, какие именно отличия важны, а какие - нет, практически невозможно, есть шанс что найдётся какое-то экзотическое исчисление, которое подходит под условие задачи, но точно не имеется ввиду.
Так что проще всего сказать "В Haskell 98, используя только переменные, аппликацию и лямбда-абстракцию, найти выражения ..."
no subject
Date: 2012-07-02 06:31 am (UTC)Просто сказать "Haskell98" не годится, т.к. есть классы типов, рекурсия, алгебраики, let и undefined.
В системе Хиндли-Милнера есть let, и многие поймут её как систему Майкрофта, в которой есть также и рекурсия, или даже как весь ML.
Можно было бы сказать "prenex-фрагмент System F" (где нет let, рекурсии и undefined!) но это исчисление a la Church.
Вдобавок, есть великое множество похожих, но неэквивалентных исчислений с одинаковым названием (например, бета-ЛИ vs бетаэта-ЛИ, или ЛИ с НФ vs ЛИ с СЗНФ) и из-за того что спрашивающий и отвечающий по разному трактуют похожесть, могут возникнуть проблемы, точно указать, какие именно отличия важны, а какие - нет, практически невозможно, есть шанс что найдётся какое-то экзотическое исчисление, которое подходит под условие задачи, но точно не имеется ввиду.
Так что проще всего сказать "В Haskell 98, используя только переменные, аппликацию и лямбда-абстракцию, найти выражения ..."