Domande taggate «lambda-calculus»

Quale parte di Hindley-Milner non capisci?

Io giuro ha usato per essere una T-shirt in vendita con le parole immortali: Quale parte di si fa a non capire? Nel mio caso, la risposta sarebbe ... tutto! In particolare, vedo spesso notazioni come queste nei documenti di Haskell, ma non ho idea di cosa significhi. Non ho …

851 haskell functional-programming lambda-calculus hindley-milner denotational-semantics

Perché Haskell (GHC) è così dannatamente veloce?

Haskell (con il GHCcompilatore) è molto più veloce di quanto ti aspetti . Se usato correttamente, può avvicinarsi a lingue di basso livello. (Una cosa preferita da fare per gli Haskeller è cercare di ottenere entro il 5% di C (o addirittura batterlo, ma ciò significa che stai usando un …

247 performance haskell ghc higher-order-functions lambda-calculus

Perché i valutatori ottimali del calcolo λ sono in grado di calcolare grandi esponenziali modulari senza formule?

I numeri di chiesa sono una codifica di numeri naturali come funzioni. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 Ordinariamente, puoi esponenziare …

135 algorithm haskell functional-programming lambda-calculus modular-arithmetic

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.