lambda-calculus

6ısı

1cevap

GHC neden tip ailemi azaltmıyor?

Şartları serbest değişkenleri tarafından endekslenen bir türlenmemiş lambda hesabı. Tür düzeyinde dizeleri tekil değerler için singletons kitaplığı kullanıyorum. Var, bir serbest değişken sunar. Bir l

haskell lambda-calculus gadt type-families 2015-07-16

---

2ısı

1cevap

Lambda hesabı (SML) Ben kilise rakamlarıyla ilgili üs alma işlevini anlamaya çalışıyorum başka

bir kilise numarasını uygulayın. Bunun yanlış olduğunu biliyorum, çünkü çarpım: ve bunu anladım. Sorun şu ki, hangi işlevin bir kilise numarasının diğerine uygulanmasını oluşturduğunu anlayamıyorum. Ö

sml ml lambda-calculus church-encoding 2016-03-22

---

5ısı

1cevap

yapın: s (sk)

Şimdi s (s k) tipi imzasını anlıyorum: s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 Ve Haskell WinGHCi aracında hata olmadan çalışabilir örnekler oluşturabilirsiniz: Örnek: s (s k) (\g -> 2) (\

haskell lambda lambda-calculus combinators combinatory-logic 2012-03-12

---

7ısı

1cevap

lambda hesap:

currying olmadan tek parametreye iki değeri geçen şu beta indirgeme türsüz Lambda calculus izin verilir neden anlayamıyorum: Özellikle (λx.x y) (u v) -> ((u v) y) Bir iki parametre u ve v geçebilir

currying lambda-calculus 2011-12-07

---

6ısı

2cevap

Neden java lambda ifadeleri yeni bir kapsam düzeyi sunmuyor?

Anladığım kadarıyla, hem Haskell hem de lambda matematiğinin bir parçası olarak, her lambda ifadesinin kendi kapsamı vardır, yani \x -> (\x -> x) gibi iç içe geçmiş lambda ifadeleri varsa, ilk \x para

java function lambda expression lambda-calculus 2016-04-29

---

6ısı

1cevap

Aslında "Pi" Yapı Taşları'ndan çıkarmak mümkün mü?

Simpler, Easier! no'lu makalede, "Pi" nin varlığı olmadan bile bağımlı sistemlerin kodlanması mümkün olabilir - yani, bunun için "Lam" yapıcısını yeniden kullanabilirsiniz. Ancak "Pi" ve "Lam" bazı du

haskell types type-systems lambda-calculus 2015-12-06

---

8ısı

1cevap

Haskell'de saf λ fonksiyonunun normalleştirilmiş kaynağını bulmak mümkün mü?

Saf bir λ fonksiyonunun, soyutlamalar ve uygulamalar dışındaki bir terim olmasına izin verin. JavaScript'te, argüman listesini toplayan değişken fonksiyonlara tüm soyutlamaları uygulayarak saf bir işl

algorithm haskell functional-programming lambda-calculus 2015-10-19

---

13ısı

1cevap

Monad'ın beyanında "m >> n = m >> = \ _ -> n" lambda notasyonu ile bu denklem nedir?

class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b m >> n = m >>= \_ -> n fail :: String -> m a Daha önce hiç yazmadan önce

haskell lambda monads lambda-calculus 2011-12-31

---

7ısı

6cevap

Ben sözde Haskell

bir Lambda fonksiyonunu ediyorum tekrar kullanımı bu kodu almak için: f x y z = x^3 - g (x + g (y - g z) + g (z^2)) where g x = 2*x^2 + 10*x + 1 nerede olmadan yeniden yazmak (veya izin). Onlar Lam

haskell lambda-calculus 2011-11-19

---

20ısı

2cevap

"Serbest değişken" nedir?

(Bu sitedeki bu yanıtın zaten yanıtlandığını bildiğim halde arama ücretsizdir.) (Bu, C'deki bir değişkendeki free() değişkeninin çağrılmasıyla doludur.) "eta redüksiyon" terimi ile karşılaştım. x "M'd

haskell functional-programming lambda-calculus 2012-01-13

---