Search results

• Catamorphisms
  Catamorphisms are generalizations of the concept of a fold in functional programming. A catamorphism deconstructs a data structure with an F-algebra for its und # G. Malcolm. Data structures and program transformation. Science of Computer Programming, 14:255--279, 1990.
  9 KB (1,367 words) - 09:34, 17 November 2022
• 99 questions/Solutions/69
  [[Category:Programming exercise spoilers]]
  3 KB (285 words) - 03:44, 10 January 2017
• Euler problems
  [[Category:Programming exercise spoilers]]
  2 KB (325 words) - 01:17, 13 February 2019
• The Monad.Reader/Issue3/Join Hs
  =Concurrent and Distributed Programming with JoinHs= concurrent and distributed programming using Join-calculus
  8 KB (1,374 words) - 00:14, 10 May 2008
• Distributions
  ...ion and experimentation with code. They are convenient to learn functional programming, prototype Haskell code, interactively visualize data, and to create intera
  4 KB (620 words) - 19:54, 9 December 2020
• 99 questions/Solutions/7
  [[Category:Programming exercise spoilers]]
  2 KB (324 words) - 01:48, 13 July 2020
• 99 questions/Solutions/9
  [[Category:Programming exercise spoilers]]
  2 KB (347 words) - 21:03, 20 December 2018
• Recursive function theory
  ...ww.dcs.shef.ac.uk/~matt/teaching/04/com2030/lectures/tomlect16.pdf Minimal Programming Language (MIN)] is not exactly a recursive function theory language, but it ...e to incarnate the main concepts of recursive function theory in a ''toy'' programming language, to play with it so that some interesting concepts can be taught i
  13 KB (2,068 words) - 23:19, 3 June 2019
• From a newbie
  For some background... I first starting programming with BASIC, way back in the Dark Ages of 8-bit home computers. I then moved It seems to be that virtually all programming languages can be neatly seperated into two disjoint categories:
  11 KB (1,716 words) - 06:40, 29 November 2007
• Applications and libraries/Theorem provers
  ...e code elaborates into a dependent type theory based on Zhaohui Luo's UTT. Programming with evidence lies at the heart of Epigram's design. ...periment with various pure type systems, representing different logics and programming languages.
  6 KB (926 words) - 12:12, 16 January 2022
• Video presentations/Haskell Symposium 2008
  ...e.com/videoplay?docid=1269998691689979629 Comparing Libraries for Generic Programming in Haskell]
  4 KB (463 words) - 22:58, 7 December 2008
• Constant applicative form
  ...mentation-of-functional-programming-languages Implementation of Functional Programming Languages] for more about this and related terms.
  2 KB (255 words) - 06:31, 12 June 2023
• Type
  ...mal, while others use it extensively. See [[Programming guidelines#Records|Programming guidelines]] and [[Future of Haskell]]) *[[Existential type]] shows how to implement a common O-O programming paradigm.
  7 KB (1,016 words) - 15:20, 6 February 2021
• WxHaskell/Development
  ...the wxcore library. However, it does ''not'' try to create a new model for programming GUI interfaces: everything is still in the <tt>IO</tt> monad and state is h ...on]]. The Haskell binding to the core wxWidgets library. This is just like programming the wxWidgets library directly, you can see some [https://github.com/wxHask
  6 KB (743 words) - 16:02, 26 April 2017
• Koans
  'Then take it away!'"[http://www.reddit.com/r/programming/comments/6tytl/functional_programming_koans/c04uzsl]</blockquote> *[http://www.reddit.com/r/programming/comments/6tytl/functional_programming_koans/c04v5pc x=x+1 koan]
  3 KB (571 words) - 16:58, 19 May 2012
• Continuation
  .../Continuation_passing_style The appropriate section of Haskell: Functional Programming with Types]. ...ge] page shows how he implemented this construct in an esoteric functional programming language.
  10 KB (1,560 words) - 12:02, 15 April 2024
• Infix expressions
  * [[Programming guidelines]]
  2 KB (240 words) - 23:49, 18 April 2021
• Yhc/Core conversion infrastructure
  ...ection of libraries and tools written mainly in Haskell, and also in other programming languages, aimed at producing of Yhc Core by existing and future Haskell (<
  3 KB (402 words) - 10:10, 3 October 2008
• The Monad.Reader/Issue3/Functional Programming vs Object Oriented Programming
  ...really a discussion of the pros and cons of functional or object-oriented programming. Rather, it's a guide for a new Haskell programmer coming from languages li ...inclusional polymorphism. IMHO, this is the defining characteristic of OO programming.
  10 KB (1,718 words) - 07:14, 10 August 2022
• 99 questions/Solutions/4
  [[Category:Programming exercise spoilers]]
  2 KB (216 words) - 13:21, 15 May 2014

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