Date: 2012-07-02 06:31 am (UTC)
Что значит "некоторые"? В lambda calculi with types Барендрегта и в википедии понимают стрелочки и константы. У вас есть источники, где понимают что-то другое?

Просто сказать "Haskell98" не годится, т.к. есть классы типов, рекурсия, алгебраики, let и undefined.

В системе Хиндли-Милнера есть let, и многие поймут её как систему Майкрофта, в которой есть также и рекурсия, или даже как весь ML.

Можно было бы сказать "prenex-фрагмент System F" (где нет let, рекурсии и undefined!) но это исчисление a la Church.

Вдобавок, есть великое множество похожих, но неэквивалентных исчислений с одинаковым названием (например, бета-ЛИ vs бетаэта-ЛИ, или ЛИ с НФ vs ЛИ с СЗНФ) и из-за того что спрашивающий и отвечающий по разному трактуют похожесть, могут возникнуть проблемы, точно указать, какие именно отличия важны, а какие - нет, практически невозможно, есть шанс что найдётся какое-то экзотическое исчисление, которое подходит под условие задачи, но точно не имеется ввиду.

Так что проще всего сказать "В Haskell 98, используя только переменные, аппликацию и лямбда-абстракцию, найти выражения ..."
This account has disabled anonymous posting.
If you don't have an account you can create one now.
No Subject Icon Selected
More info about formatting

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 27th, 2025 08:34 am
Powered by Dreamwidth Studios