Search results

• 99 questions/Solutions/71
  [[Category:Programming exercise spoilers]]
  410 bytes (71 words) - 03:52, 10 January 2017
• Graph processing and representation (Graep)
  ...tries to unite Topology, [[Category theory]], Graph Theory and functional programming.
  1,006 bytes (164 words) - 03:54, 20 December 2006
• BayHac2013
  ...tas are programming exercises with the aim of just practicing the skill of programming. | [http://conal.net Conal Elliott] || Denotative Programming -- [[/Denotative Programming|notes]]
  5 KB (726 words) - 02:28, 22 May 2013
• The Monad.Reader/Previous issues
  ;''Functional Programming vs Object Oriented Programming'' ;''Concurrent and Distributed Programming with Join Hs''
  4 KB (570 words) - 16:55, 25 August 2011
• Links/O colectie de link-uri/iulie 2009
  SIGPLAN conference on History of programming ... http://www.reddit.com/r/programming/comments/8bx3/a_comparison_of_c_concepts_and_haskell_type/
  3 KB (432 words) - 05:52, 10 August 2022
• Es/Haskell en 5 pasos
  * [http://www.cs.chalmers.se/Cs/Grundutb/Kurser/d1pt/d1pta/external.html Programming in Haskell] (Inglés) ...ww.cs.ukc.ac.uk/people/staff/sjt/craft2e/ Haskell: The Craft of Functional Programming]
  6 KB (928 words) - 07:49, 9 December 2007
• Reactive-fieldtrip
  ...tive]] (FRP) and [[FieldTrip]] (functional 3D) libraries, for functionally programming reactive, animated, 3D graphics.
  860 bytes (100 words) - 10:55, 17 July 2011
• News/1992
  <p><em>An Introduction to Functional Programming Systems Using Haskell</em>. Programming Systems Using Haskell"
  4 KB (611 words) - 05:59, 21 August 2007
• BayHac2017/CodeWorld
  |Educational computer programming environment using Haskell ...e provides a code editor, in-browser preview, and options to load and save programming projects. The library is inspired by [http://hackage.haskell.org/package/g
  4 KB (593 words) - 01:45, 27 March 2017
• Physical units/Dimensionalized numbers
  [[Category:Type-level programming]]
  1 KB (179 words) - 14:47, 30 September 2008
• Short theorem prover
  ...over is based on the [[Curry-Howard-Lambek correspondence]] applied to the programming language Jot (http://ling.ucsd.edu/~barker/Iota/#Goedel). Thus, we have a In order to avoid infinite types (which are not intrinsically dangerous in a programming language but wreak havoc in logic because terms such as <hask>fix a. (a ->
  3 KB (694 words) - 08:23, 13 December 2009
• Video presentations
  Haskell is the world's leading purely functional programming language show you why programming in Haskell is such fun, and how it makes you
  11 KB (1,456 words) - 07:05, 7 August 2016
• IO then abstraction
  naming. Monadic programming is ugly in general [...] There is no need to consider ...after the introduction of the concept of monads to the world of functional programming, beginning functional programmers struggle to grasp the concept of monads.
  6 KB (940 words) - 12:17, 19 April 2024
• Pseudoconstructors
  Till then, see some ... appliances here: [[Modular Monadic Compilers for Programming Languages]]. The code is available. ...constructori in the [[Rodin]] Project, a small DSL dedicated for teaching programming.
  2 KB (340 words) - 22:22, 29 June 2021
• Dependent type
  * [http://www-sop.inria.fr/oasis/Caminha00/abstract.html Dependent Types in Programming] abstract in APPSEM'2000 ...somorphism Curry-Howard isomorphism] and the connections between logic and programming,
  6 KB (884 words) - 16:00, 19 April 2021
• Extensible record
  ...collections] includes also extensible records. Its relatedness to database programming is described in the articles, see also its [http://hackage.haskell.org/trac === Functional Reactive Programming ===
  6 KB (770 words) - 05:26, 10 December 2020
• Functional programming
  ...and functional programming is to learn the basics of one of the functional programming languages ([[Haskell in 5 steps|learn Haskell]]). ==What is functional programming?==
  9 KB (1,323 words) - 22:19, 10 May 2024
• TypeCompose
  [[Category:Type-level programming]] ...n contrast, monads do not in general compose.) Composition makes AF-based programming simple and elegant, partly because we don't need an AF counterpart to monad
  3 KB (498 words) - 22:44, 29 June 2021
• O mica introducere in Haskell 98
  ...pure, non-strict functional language designed by an international team of programming language experts (the Haskell Committee), and (2) A Gentle Introduction to ...manian! It pleases me greatly to share the Gentle Intro with the Romanian programming languages community. (It has also been translated into French.) I'd like
  6 KB (919 words) - 14:03, 7 September 2011
• HaskellImplementorsWorkshop/2012/Diatchki
  libraries for programming with type-level literals, and demonstrate
  894 bytes (136 words) - 13:44, 17 December 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)