История изменений
Исправление quasimoto, (текущая версия) :
Что все еще?
«не говоришь где учебники про LC, его теории и модели которые бы не использовали теорию доменов».
А то с одной стороны есть куча информации, а с другой — твоё «нинужно».
Ну например то же: D ≊ D × D ≊ [D ⇒ D], D ≠ 1, все вполне ок.
Ну дык reference давай. Что значит D, _×_, _≊_, 1, [_⇒_]. Я дал штуки четыре.
Именно так.
То есть
f :: Bool -> Bool
f !x = if x then False else f x
t :: (Bool, Bool, Bool)
t = (f True, f False, let bot = bot in f bot)
Bool = {False, True} и f : Bool → Bool? А в f bot в f что из множества Bool передаётся? А f False что из множества Bool возвращает?
Исходная версия quasimoto, :
Что все еще?
«не говоришь где учебники про LC, его теории и модели которые бы не использовали теорию доменов».
А то с одной стороны есть куча информации, а с другой — твоё «нинужно».
Ну например то же: D ≊ D × D ≊ [D ⇒ D], D ≠ 1, все вполне ок.
Ну дык reference давай. Что значит D, _×_, _≊_, 1, _≠_, [_⇒_]. Я дал штуки четыре.
Именно так.
То есть
f :: Bool -> Bool
f !x = if x then False else f x
t :: (Bool, Bool, Bool)
t = (f True, f False, let bot = bot in f bot)
Bool = {False, True} и f : Bool → Bool? А в f bot в f что из множества Bool передаётся? А f False что из множества Bool возвращает?