Questions marquées «lambda-calculus»

Quelle partie de Hindley-Milner ne comprenez-vous pas?

Je jure qu'il y avait un T-shirt à vendre avec les mots immortels: Quelle partie de tu ne comprends pas ? Dans mon cas, la réponse serait ... tout! En particulier, je vois souvent une notation comme celle-ci dans les articles de Haskell, mais je n'ai aucune idée de ce …

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

Pourquoi Haskell (GHC) est-il si rapide?

Haskell (avec le GHCcompilateur) est beaucoup plus rapide que prévu . Utilisé correctement, il peut se rapprocher des langues de bas niveau. (Une des choses préférées des Haskellers est d'essayer d'obtenir jusqu'à 5% de C (ou même de le battre, mais cela signifie que vous utilisez un programme C inefficace, …

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

Pourquoi les évaluateurs optimaux de λ-calcul sont-ils capables de calculer de grandes exponentiations modulaires sans formules?

Les nombres d'église sont un encodage de nombres naturels en tant que fonctions. (\ 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 Soigneusement, vous …

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

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.