Resultado da Busca
30 de jun. de 2015 · Philip Wadler. 是把Monad带进编程语言领域的人: Haskell由于使用了Monad这种较费解的概念来控制副作用而遭到了一些批评意见。Wadler试图平息这些质疑，他解释说：“一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？
Philip Wadler likes to introduce theory into practice, and practice into theory. An example of theory into practice: GJ, the basis for Java with generics, derives from quantifiers in second-order logic. An example of practice into theory: Featherweight Java specifies the core of Java in less than one page of rules.
Jeremy Siek, Peter Thiemann, Philip Wadler. PLDI, June 2015. C#, Dart, Pyret, Racket, TypeScript, VB: many recent languages integrate dynamic and static types via gradual typing. We systematically develop three calculi for gradual typing and the relations between them, building on and strengthening previous work.
The Extended UTXO Model. Manuel M. T. Chakravarty. IOHK, Utrecht, The Netherlands, James Chapman. IOHK, Glasgow, Scotland, Kenneth MacKenzie. IOHK, Edinburgh, Scotland
Philip Lee "Phil" Wadler (nacido el 8 de abril de 1956) es un científico de la computación estadounidense conocido por sus contribuciones al diseño de lenguajes de programación y la teoría de tipos. En particular, ha contribuido a la teoría detrás de la programación funcional y al uso de mónadas en programación funcional, 2 el diseño ...
The arrow calculus. Sam Lindley, Philip Wadler, and Jeremy Yalloop, Journal of Functional Programming 20 (1):51&em;69, 2010. We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notation. Arrows are classically defined by ...
Philip Wadler. Manuscript, June 1990. This note discusses encodings of least and greatest fixpoints in polymorphic lambda calculus. It is shown that the encoding of the least fixpoint is a weakly initial algebra, and is an initial algebra exactly when parametricity holds at that type. Parametricity is also used to show the equivalence of ...
