From Curry to Haskell

Philosophy and Technology 34 (1):57-74 (2020)
  Copy   BIBTEX

Abstract

We expose some basic elements of a style of programming supported by functional languages like Haskell by relating them to a coherent set of notions and techniques from Curry’s work in combinatory logic and formal systems, and their algebraic and categorical interpretations. Our account takes the form of a commentary to a simple fragment of Haskell code attempting to isolate the conceptual sources of the linguistic abstractions involved.

Categories

Add categories

Keywords

Reprint years

2021

DOI

10.1007/s13347-019-00385-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.
Review: Haskell B. Curry, The System LD; Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus. [REVIEW]Paul Bernays - 1953 - Journal of Symbolic Logic 18 (3):266-268.
Curry Haskell B.. La théorie des combinateurs. Università di Roma, Istituto Nazionale di Alta Matematica, Rendiconti di matematica e delle sue applicazioni, ser. 5 vol. 10 , pp. 347–359.Curry Haskell B.. La logique combinatoire et les antinomies. Ibid., pp. 360–370. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.
Computational Semantics, Type Theory, and Functional Programming.Jan van Eijck - unknown
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
Modified basic functionality in combinatory logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
Haskell Programming With Tests, and Some Alloy.Jan van Eijck - unknown
On Definitions in Formal Systems.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (1):89-90.
Some Advances in the Combinatory Theory of Quantification.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):52-52.
Basic Verifiability in the Combinatory Theory of Restricted Generality.Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1970 - Journal of Symbolic Logic 35 (3):469-470.
The consistency of a system of combinatory restricted generality.Haskell B. Curry - 1973 - Journal of Symbolic Logic 38 (3):489-492.
On definitions in formal systems.Haskell B. Curry - 1958 - Logique Et Analyse 1 (3-4):105-114.
The Deduction Theorem in the Combinatory Theory of Restricted Generality.Haskell B. Curry - 1970 - Journal of Symbolic Logic 35 (3):468-469.

Analytics

Added to PP
2020-02-13

Downloads
14 (#989,410)

6 months
7 (#428,584)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.

View all 27 references / Add more references