Preguntas etiquetadas con lambda-calculus

Yo juro que solía ser una camiseta a la venta con las palabras inmortales: Que parte de es lo que no entiende? En mi caso, la respuesta sería ... ¡todo! En particular, a menudo veo notación como esta en los documentos de Haskell, pero no tengo idea de lo que …

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

Haskell (con el GHCcompilador) es mucho más rápido de lo que cabría esperar . Utilizado correctamente, puede acercarse a los idiomas de bajo nivel. (Una de las cosas favoritas de Haskellers es intentar alcanzar el 5% de C (o incluso superarlo, pero eso significa que está utilizando un programa de …

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

Los números de iglesia son una codificación de números naturales como funciones. (\ 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 Claramente, puede exponer …

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