Search results

Monads as computation
...code whose API's are sufficiently powerful that using the library is like programming in a small language embedded within the existing one. As far as programming is concerned, a [[monad]] is just a particular style of combinator library.

15 KB (2,539 words) - 11:12, 30 December 2011
DataDriven
...from [[Research_papers/Functional_reactive_programming|functional reactive programming]] (FRP). Most FRP implementations I'm aware of have a demand-driven implem ...ccurrences (see [http://conal.net/papers/ppdp00 Declarative Event-Oriented Programming], rather than the initial ICFP '97 publication). As in Fran, you can think

13 KB (2,149 words) - 10:44, 17 July 2011
Yhc/Javascript/Programmers guide/Up from the ground
...g. Only the browser itself plus a small runtime support library. Just like programming in machine codes on "bare iron": that's how first programs were created. ...eloping a programming paradigm, or a GUI framework, this area of low-level programming needs to be explored.

21 KB (3,466 words) - 15:19, 6 February 2021
Structure of a Haskell project
* [[Haddock]] for generating API documents '''or''' [[Literate programming]] combined with latex for thorough documentation of the code

5 KB (711 words) - 05:53, 12 December 2012
DeepArrow
...a authoring tools can be usefully looked at as environments for functional programming. I'd been wondering how to map a user's gestures into operations on a func

3 KB (540 words) - 21:40, 3 May 2024
Hac5/Projects
[[Grapefruit]] is a library for [[Functional Reactive Programming]] (FRP) with a focus on user interfaces. FRP makes it possible to implement ...ront-end agnostic, thus serve as a common middle-layer for various Haskell programming frontends like Emacs, Vim, Yi, Eclipse, etc.

10 KB (1,387 words) - 13:11, 17 December 2012
Parsec
written and used within the same programming language as the rest of the

4 KB (618 words) - 09:34, 20 April 2024
Grapefruit
Grapefruit is a library for [[Functional Reactive Programming]] (FRP) with a focus on user interfaces. FRP makes it possible to implement

5 KB (668 words) - 15:20, 16 February 2017
Tutorials/Programming Haskell/String IO
This is part two in a series of tutorials on programming Haskell. You can get up to speed by reading [[Tutorials/Programming Haskell/Introduction|yesterday's introductory article]].

19 KB (3,139 words) - 04:08, 22 October 2021
Internationalization of Haskell programs
* Easiest integration with other tools and programming languages

5 KB (762 words) - 17:22, 13 January 2012
Ru/Introduction to QuickCheck
...aessen and John Hughes. In Proc. of International Conference on Functional Programming (ICFP), ACM SIGPLAN, 2000. ...sen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing, pp. 17--40, Palgrave, 2003.

11 KB (553 words) - 07:45, 2 July 2013
IRC channel
discussion of Haskell, functional programming, and programming in ...em). As the channel grows, we see a diverse range of people with different programming backgrounds getting accustomed to Haskell. Be patient and take satisfaction

11 KB (1,536 words) - 08:17, 29 March 2022
Applications and libraries/Mathematics
:* {{HackagePackage|id=comfort-glpk}} - Fast linear programming based on GLPK :* {{HackagePackage|id=coinor-clp}} - Fast linear programming based on COIN-OR/CLP

21 KB (2,880 words) - 09:43, 4 May 2024
Introduction to QuickCheck1
...sen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fun of Programming, Cornerstones of Computing, pp. 17--40, Palgrave, 2003. ...aessen and John Hughes. In Proc. of International Conference on Functional Programming (ICFP), ACM SIGPLAN, 2000.

8 KB (1,186 words) - 20:49, 28 May 2021
Practica interpretarii monadice
Monadic programming is not just to do with input/output: it is much more powerful. That is why ...pattern is one of Haskell's most substantial contributions to the world of programming -- and it is one that you will share if you work through this book.

10 KB (1,611 words) - 06:47, 3 June 2011
HaskellImplementorsWorkshop/2012
* '''[[HaskellImplementorsWorkshop/2012/Stutterheim|Web browser programming with UHC's JavaScript backend]]''' (Atze Dijkstra) [http://www.haskell.org/

6 KB (790 words) - 03:05, 25 July 2021
Cookbook/Other data structures
...hat the array can fill itself up in a circular fashion. Useful for dynamic programming. Here is the [[Edit distance]] between two strings without array updates.

4 KB (640 words) - 21:05, 6 January 2019
Laboratorul de Limbaje
==. Prolog (Programming in Logic) - Programare folosind logica matematica ==

12 KB (1,828 words) - 08:20, 14 July 2011
Yi/FAQ
===== Programming =====

9 KB (1,413 words) - 00:17, 24 November 2014
Physical equality
The functional programming style of persistent data structures tend to

7 KB (971 words) - 06:34, 2 April 2009
Humor/Enron
of the power of the Unix programming environment, as well as its

5 KB (796 words) - 20:31, 25 January 2006
99 questions/Solutions/23
[[Category:Programming exercise spoilers]]

4 KB (666 words) - 13:03, 10 May 2014
Darcs
...s of Haskell (in real life) and in general, the power of (lazy) functional programming.

4 KB (654 words) - 15:20, 6 February 2021
Applications and libraries/Program development
;[[Applications and libraries/Generic programming/Strafunski|Strafunski]] :Strafunski is a Haskell bundle that provides support for generic programming in Haskell, based on the concept of a functional strategy. It consists of a

19 KB (2,935 words) - 13:50, 22 August 2022
Cxx foreign function interface
Understanding the FFI in general, and with respect to the C programming language in particular, is vital background for anyone wishing to build a H

4 KB (618 words) - 22:55, 11 July 2021
Prelude extensions
See also [[pointfree|point-free]] programming.

4 KB (684 words) - 02:22, 18 May 2020
FRP explanation using reactive-banana
This is an attempt to explain Functional Reactive Programming (FRP) enough to give a reader with no previous exposure to FRP an intuition == Reactive programming for the masses: the spreadsheet ==

25 KB (4,168 words) - 15:10, 24 October 2017
Applications and libraries/Operating system
'''Operating Systems and Systems Programming''' ...latform for exploring various ideas relating to low-level and system-level programming in a high-level functional language, or in short for building operating sys

11 KB (1,663 words) - 19:17, 15 August 2019
Do notation considered harmful
With <hask>do</hask> notation we have kept alive a dark side of the C programming language: ...l-cafe/2007-August/030178.html A regressive view of support for imperative programming in Haskell]

10 KB (1,589 words) - 01:08, 27 September 2021
Why Haskell matters
==What are functional programming languages?== Programming languages such as C/C++/Java/Python are called imperative programming languages because they consist of sequences of actions. The programmer quit

33 KB (5,616 words) - 22:30, 3 May 2024
Embedded domain specific language
...m Cook: [http://www.cs.utexas.edu/~wcook/Drafts/2012/graphs.pdf Functional Programming with Structured Graphs]

5 KB (616 words) - 10:22, 10 June 2021
Applications and libraries/Database interfaces
...ase management system (RDBMS) can be used as a coprocessor for the Haskell programming language, especially for those program fragments that carry out data-intens

5 KB (634 words) - 11:56, 17 July 2021
HWN/es/2006-10-31
* [39]Query Composition using Functional Programming Techniques in C# 3.0 * [44]Haskell programming

11 KB (1,674 words) - 08:26, 2 November 2007
99 questions/Solutions/99
[[Category:Programming exercise spoilers]]

5 KB (741 words) - 03:47, 10 January 2017
Literate programming/Vim
=Literate Programming with Vim=

7 KB (943 words) - 09:59, 29 April 2009
99 questions/Solutions/55
[[Category:Programming exercise spoilers]]

4 KB (694 words) - 01:23, 7 June 2021
99 questions/Solutions/26
[[Category:Programming exercise spoilers]]

5 KB (659 words) - 19:40, 18 January 2014
ADFA
1.Popa Dan; [[Adaptable Tokenizer for Programming Languages]] , Simpozionul International al Tinerilor Cercetatori, ASEM, Chi

4 KB (651 words) - 12:55, 7 May 2011
Stiri Ro/HCAR-mai-2009
...ts from the field of mathematics, in order to teach them the principles of programming languages.

6 KB (942 words) - 19:26, 6 May 2010
Pt/Introdução
[http://www.md.chalmers.se/~rjmh/Papers/whyfp.html '''Why Functional Programming Matters'''] por [http://www.md.chalmers.se/~rjmh/ John Hughes], The Compute (ed.): Research Topics in Functional Programming, Addison-Wesley,

10 KB (1,648 words) - 22:57, 4 November 2008
AngloHaskell/2007
...tending Pure-data with Haskell] Pure-data (Pd) is a real-time graphical programming environment for multimedia processing. Pd has a ''stateful objects and mes ...bout how the condition affects her, how and why Haskell works for her as a programming language and how the Haskell community has responded to her.

15 KB (2,472 words) - 11:25, 24 August 2007
99 questions/Solutions/93
[[Category:Programming exercise spoilers]]

5 KB (621 words) - 15:30, 8 June 2017
HXT/Conversion of Haskell data from/to XML
In a programming pearl paper [http://research.microsoft.com/~akenn/fun/picklercombinators.pd == 2. Example: A toy programming language ==

28 KB (3,540 words) - 18:19, 5 January 2015
Intrebarile incepatorului/Primele intrebari
*Se poate lucra in stil Generic Programming. Vedeti lucrarile din seria "Scrap your Boilerplate" ale lui Simon P.J ...de limbaje. Acest lucru a dat nastere unui stil aparte numit: Interpretive Programming.

10 KB (1,525 words) - 23:07, 9 April 2021
How to get rid of IO
...can use I/O while keeping all the safety properties of a pure [[functional programming]] language.

4 KB (726 words) - 05:08, 6 April 2022
HsLua
structures and utilize the power of a full-fledged programming language. For metaprogramming, persistency, functional programming, lazy evaluation,

13 KB (2,016 words) - 18:34, 20 August 2017
Yhc/Javascript/Programmers guide
...to Haskell, and related issues and features. Finally, examples of Haskell programming with DOM are provided. ====Programming examples====

27 KB (4,152 words) - 01:58, 17 November 2007
Applications and libraries/Linguistics
...ages, which can be used to extend and create grammars and lexicons. Cypher programming is fun to learn and easy to use, and the specifications are designed to all ...alframework.org/ Grammatical Framework] (GF) is a compiler and grammatical programming environment written entirely in Haskell, with an interactive interpreter an

15 KB (2,211 words) - 16:44, 1 August 2021
The Monadic Way/Part I
==An evaluation of Philip Wadler's "Monads for functional programming"== ...nf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf "Monads for functional programming"].

60 KB (9,727 words) - 17:00, 25 February 2010
Monad tutorials timeline
...oc/download?doi=10.1.1.41.9361&rep=rep1&type=pdf The essence of functional programming] - Philip Wadler ...inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf Monads for Functional Programming] (pdf) - Phil Wadler, a designer of Haskell [9100 words]. <!-- Note that th

35 KB (4,953 words) - 00:05, 9 May 2024
99 questions/Solutions/63
[[Category:Programming exercise spoilers]]

9 KB (727 words) - 03:41, 10 January 2017
Pipes
...package is the core library which provides reusable primitives for stream programming. Use these as building blocks for more sophisticated streaming abstraction

8 KB (931 words) - 17:22, 20 February 2017
Ro/Haskell/Mini-biblioteca-de-Haskell
...nd.de/~peter/PS07/HR.pdf - <Download> The Haskell Road to Logic, Maths and Programming ] Cartea nu solicita un asa grozav back-ground matematic si este scrisa in * [http://www.cs.uu.nl/people/jeroen/courses/fp-eng.pdf Functional Programming] "Programare Functionala" de Jeroen Fokker, 1995. (in engleza, 153 pages, 6

10 KB (1,676 words) - 08:42, 10 August 2022
IO Semantics
::Andrew Gordon. In FPCA '93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, June 1993. ACM Press. ....psu.edu/viewdoc/download?doi=10.1.1.134.5784&rep=rep1&type=pdf Functional Programming and Input/Output]

11 KB (1,628 words) - 10:36, 5 April 2024
Learn Haskell in 10 minutes
...don't use proportional fonts -- which apparently some people do, even when programming!) ...cations and libraries/Concurrency and parallelism |Concurrent and parallel programming]]

13 KB (1,986 words) - 17:59, 9 August 2019
ZuriHac2013
...oon". This will be a half-day event consisting of talks themed "Functional Programming in Industry". It will be held at ETH and will start with a keynote from Si programming model is one of implicit concurrency: there's no fork or async

16 KB (2,339 words) - 12:15, 8 April 2014
Parameter order
...rameter order''' of Haskell functions is an important design decision when programming libraries.

9 KB (1,413 words) - 20:10, 11 January 2013
Web/Libraries/XML and HTML
...t to DTDs and RelaxNG schema. A [[HXT|Getting started page]] describes the programming model behind HXT and gives some simple examples.

6 KB (878 words) - 09:02, 26 March 2015
99 questions/70B to 73
...icular notation for multiway trees in Lisp. Lisp is a prominent functional programming language, which is used primarily for artificial intelligence problems. As

5 KB (876 words) - 05:50, 11 June 2023
Applications and libraries/Games
:2D programming and resource gathering game. ...tem and a library called reactive-banana, to create a "Functional Reactive Programming" game-engine.

15 KB (2,258 words) - 16:22, 1 July 2023
HacBerlin2014/Topics
* I'm also interested in game / openGL programming ...rting as new project. Library to analyse and generate code for Apple's new programming language Swift. Similar to language-c and hopefully at some point the base

8 KB (1,326 words) - 20:19, 28 September 2014
Logic programming example
Use the monadic properties of lists to setup some basic logic programming. Use the monadic properties of lists to setup some basic logic programming.

14 KB (2,307 words) - 12:23, 31 July 2014
Parallelism vs. Concurrency
...ra.labs.oreilly.com/books/1230000000929/index.html Parallel and Concurrent Programming in Haskell]

5 KB (668 words) - 12:02, 9 May 2024
The Monad.Reader/Issue4/On Treaps And Randomization
represent a finite map in a programming language. Formally a finite ...be worse in structure than a Fibonacci tree (Knuth's ''The Art of Computer Programming'' Volume 3 has a good treatment of this tree type).

17 KB (2,987 words) - 01:08, 10 May 2008
Introduction to Haskell IO
...iliar with haskell, may not have a strong background in math or functional programming. ## programming in haskell is not hard!

10 KB (1,520 words) - 07:20, 10 November 2020
HaskellImplementorsWorkshop/2016
The universal organizing principle for large software systems in programming languages today is the package, the unit by which reusable code may be vers This talk will include three examples, compilable today, of dependently typed programming in Haskell:

16 KB (2,520 words) - 06:08, 16 October 2016
Euler problems/31 to 40
...ution. Speed would be greatly improved by use of [[memoization]], dynamic programming, or the closed form. ...ul solution, making usage of laziness and recursion to implement a dynamic programming scheme, blazingly fast despite actually generating the combinations and not

11 KB (1,557 words) - 09:03, 19 September 2014
DDC/EffectSystem
...t and descended into the quagmire of untracked side effects and imperative programming. This would be true if <hask>map</hask> had only the simple type as it does

5 KB (834 words) - 04:20, 8 June 2023
FieldTrip
...because we intend it to be used with the [[Reactive]] functional reactive programming

8 KB (1,082 words) - 19:45, 3 July 2009
The Monad.Reader/Issue5/Different Language
Many programmers are fluent in several programming languages. Most of these languages have some things in common. Loops and va Object-oriented programming (OOP) is a fixture of many languages. OOP, in general, permits you to write

19 KB (3,237 words) - 01:33, 10 May 2008
Chaitin's construction
...e into account that a halting probability is only (provably) random if the programming language used is additively optimal. That is, it must provide access to raw Some more direct relatedness to functional programming: we can base <math>\Omega</math> on [[combinatory logic]] (instead of a [[T

10 KB (1,527 words) - 09:31, 24 April 2024
Applications and libraries/Generic programming/Smash
Type-class overloaded functions: second-order typeclass programming

7 KB (1,135 words) - 00:59, 30 July 2007
Books
Haskell is the world's leading lazy functional programming language, ...a highly intuitive manner. The work is anchored in coverage of functional programming (in Haskell), symbolic logic, and finite automata – each a critical compo

53 KB (7,703 words) - 13:28, 28 March 2024
Constructor
* [http://www.cs.cmu.edu/~rwh/smlbook/book.pdf Programming in Standard ML]: Chapter 10 (Concrete Data Types)

6 KB (1,060 words) - 16:51, 18 June 2021
FAQ
Those with no prior programming experience may actually have an easier time learning Haskell, because they Haskell is not a piece of software; it is a specification for a standardized programming language. The [[Language and library specification|latest version of the sp

36 KB (5,814 words) - 22:06, 10 May 2024
ThreadScope
....com/apps/pubs/default.aspx?id=74058 A Tutorial on Parallel and Concurrent Programming in Haskell].

6 KB (946 words) - 13:16, 4 September 2017
Hoogle
...have since become less popular, and to my knowledge no existing functional programming language has a tool such as Hoogle. ...ibraries. Proceedings of the fourth international conference on Functional programming languages and computer architecture: 174-183, June 1989. (http://portal.acm

18 KB (2,779 words) - 22:27, 12 June 2017
GADTs for dummies
...http://okmij.org/ftp/Haskell/types.html Oleg Kiselyov's page on type-level programming in Haskell]. ...hn/Publications/icfp2005.pdf "Dynamic Optimization for Functional Reactive Programming using Generalized Algebraic Data Types"]

14 KB (2,322 words) - 13:55, 24 November 2023
Sistemul de inferente de tipuri stabileste singur tipul oricarei expresii ?
Hudak Paul, ''Conception, Evolution and, Application of Functional Programming Languages'' ACM Computing Surveys, vol 21, no 3 , Sept 1989 - ar trebui sa

4 KB (617 words) - 03:01, 9 April 2021
Language and library specification
Special Issue of the Journal of Functional Programming 13(1) Jan 2003.

7 KB (1,054 words) - 07:37, 12 June 2023
Yhc/Javascript/Programmers guide/Echo demo source
-- with Javascript. No extra libraries, no programming paradigms: -- Main program. As in "traditional" Haskell programming, it has a monadic type.

12 KB (2,023 words) - 22:51, 5 April 2021
99 questions/Solutions/39
[[Category:Programming exercise spoilers]]

5 KB (696 words) - 19:46, 18 January 2014
Parallel GHC Project
In the last few years GHC has gained impressive support for parallel programming on commodity multi-core systems. In addition to traditional threads and sha The project will also aim to document existing tools and parallel programming practices, making them accesible to a wider public.

15 KB (2,160 words) - 21:14, 10 May 2024
99 questions/Solutions/50
[[Category:Programming exercise spoilers]]

5 KB (738 words) - 19:53, 18 January 2014
Existential type
...illustrate this concept I show how a classic example from object oriented programming can be encoded in Haskell.

13 KB (2,093 words) - 10:57, 25 October 2023
New monads/MonadRandom
There is some correspondence between notions in programming and in mathematics:

6 KB (894 words) - 13:41, 2 April 2019
Means of expression
Programming languages have different types of '''means of expression''':

5 KB (765 words) - 22:40, 23 April 2021
The I/O problem
...rc/techReports/CSL-81-11_Real_Programming_in_Functional_Languages.pdf Real Programming in Functional Languages], James H. Morris (page 33 of 36).<!-- 1981 For a declarative programming language like Haskell, which is based on one of these individual fields of

61 KB (9,234 words) - 04:14, 5 April 2024
Performance/Monads
MTL is an excellent library for programming with monads. However stacked monad transformers do not inline well and the

6 KB (995 words) - 23:51, 16 April 2021
AI/Genetic programming/GPLib
GPLib - a generic library for genetic programming

5 KB (664 words) - 05:48, 12 July 2021
Applications and libraries/Music and sound
...sing musical structures in the high-level, declarative style of functional programming. Haskore is a means for describing music - in particular Western Music - ra

6 KB (831 words) - 20:07, 5 December 2021
Libraries and tools/HJS
...ww.crockford.com/javascript/javascript.html The World's Most Misunderstood Programming Language]

9 KB (1,231 words) - 13:37, 3 April 2007
Equational reasoning examples
...ing or elaborating on these things. But what, if anything, does it mean in programming practice?

6 KB (833 words) - 00:02, 6 November 2021
GHC/AdvancedOverlap
The HList paper shows many examples of such type-level programming.

10 KB (1,575 words) - 13:27, 14 January 2015
Introducere in Haskell 98 prin exemple
[[Happy]] Haskell programming ! Succes la examene !

6 KB (877 words) - 05:53, 21 June 2011
Cabal-make
* [[Reactive]]: Functional reactive programming with a data-driven implementation

5 KB (788 words) - 00:56, 12 July 2021
IDEs
...ion and experimentation with code. They are convenient to learn functional programming, prototype Haskell code, interactively visualize data, and to create intera :haste - Haskell TurboEdit - was an IDE for the functional programming language Haskell, written in Haskell.

19 KB (2,866 words) - 10:23, 29 March 2022
SDL
..., so you don't have to go into the deep, dark world of imperative stateful programming just to draw stuff

7 KB (1,003 words) - 23:19, 5 April 2021
99 questions/Solutions/70
[[Category:Programming exercise spoilers]]

7 KB (1,025 words) - 02:14, 23 July 2021
Partible laws
* [https://pure.tue.nl/ws/files/2323371/402429.pdf Functional programming, program transformations and compiler construction]; Alexander Augusteijn.

13 KB (2,108 words) - 12:52, 1 January 2024
Google summer of code
...gies and each year we like to see many projects written in/for the Haskell programming language.

8 KB (1,152 words) - 13:09, 24 March 2018
The Monad.Reader/Issue5/Number Param Types
This paper describes practical programming with types parameterized by numbers: e.g., an array type parameterized by t ...esentation of a sequence of ''decimal'' digits. The decimal encoding makes programming with number-parameterized types convenient and error

74 KB (11,649 words) - 11:34, 9 August 2012
Programare Functionala - O introducere utilizand limbajul Haskell
...ry of Haskell" publicata de ACM Press in 2007 si la punctul [13] G.Hutton, Programming in Haskell, Cambridge University Press (january 31,2007). Bibliografia nu c

6 KB (890 words) - 17:07, 14 March 2011
Es/Teoría de Categorías y Programación Funcional @ Stanford: Clase 1
** Our ideal programming language has: ** This allows us to model a functional programming language with a category.

21 KB (3,823 words) - 14:25, 4 August 2011
GHC/Data Parallel Haskell
...th a focus to utilise multicore CPUs. Nested data parallelism extends the programming model of flat data parallelism, as known from parallel Fortran dialects, to DPH encourages a data-driven style of parallel programming and, in good Haskell tradition, puts the choice of data types first. Speci

21 KB (3,158 words) - 08:39, 10 August 2022
99 questions/95 to 99
In a certain programming language (Ada) identifiers are defined by the syntax diagram below.

8 KB (894 words) - 02:36, 25 November 2022
A brief introduction to Haskell
...guage [http://haskell.org/haskellwiki/History_of_Haskell developed] by the programming languages [http://haskell.org/haskellwiki/Research_papers research] communi * Born as an open source vehicle for programming language research

41 KB (6,592 words) - 22:27, 3 May 2024
GHC/Type families
...to define overloaded ''functions''. Type families are useful for generic programming, for creating highly parameterised library interfaces, and for creating int ...imonpj/Talk:FunWithTypeFuns|tutorial paper]] has more in-depth examples of programming with type families.

42 KB (6,828 words) - 17:15, 4 February 2023
Failure
* Error usually refers to a programming error. It can also refer to the "error" function, which in fact causes a ru

6 KB (961 words) - 12:45, 12 August 2019
Haskell a la carte
...mmonly write parentheses around function arguments in mathematics and most programming languages, a simple space is enough in Haskell. We're going to apply functi

6 KB (1,024 words) - 23:56, 25 June 2021
AMI Tool
** are alerted to more of our programming errors at compile time, Grab a copy of [http://www.amazon.com/Programming-Haskell-Graham-Hutton/dp/0521692695/ref=cm_lmf_tit_3/188-8557920-6692504 th

9 KB (1,341 words) - 13:22, 30 April 2013
Regular expressions
...amming emphasize : declarative programming (what) as opposed to imperative programming (how).

18 KB (2,819 words) - 19:20, 15 August 2019
Class system extension proposal
More details can be found in the paper ''Modular Generic Programming with Extensible Superclasses'', available in ps format from

8 KB (1,232 words) - 01:58, 8 October 2014
IO at work
...u can't do I/O in Haskell in a way like in impure functional or imperative programming languages.

8 KB (1,215 words) - 07:10, 12 June 2023
Syntactic sugar/Cons
...tion, list comprehension, infix notation were introduced for some frequent programming tasks to allow a more pleasant look. Because they lack the transparency of data dependency of functional programming languages,

16 KB (2,610 words) - 17:17, 4 February 2023
Curry-Howard-Lambek correspondence
...ward-Lambek correspondance''' is a three way isomorphism between types (in programming languages), propositions (in logic) and objects of a Cartesian closed [[Cat

8 KB (1,303 words) - 15:42, 18 November 2019
Module signature
...c.haskell.org/trac/ghc/wiki/Backpack Backpack], a new facility for modular programming in GHC; here, they are used to defer the choice of an implementation of a m

10 KB (1,679 words) - 23:28, 2 April 2017
O colectie de link-uri variate - 2008
Logic and functional programming (LFP) V. Negru e-mail: vnegru ...

9 KB (1,472 words) - 07:49, 11 May 2011
Aprende Haskell en 10 minutos
...cations and libraries/Concurrency and parallelism |Concurrent and parallel programming]] * [[Tutorials/Programming Haskell/String IO |I/O]]

14 KB (2,164 words) - 16:35, 9 October 2016
ZuriHac2016/Projects
Agda is a dependently-typed functional programming language implemented in

8 KB (1,190 words) - 12:03, 24 July 2016
Ministg
# Those who are learning about the implementation of programming languages (especially of the lazy functional kind). ...ale lazy functional programs], by Morgan and Jarvis, Journal of Functional Programming, Volume 8 , Issue 3, 1998.

15 KB (2,396 words) - 07:19, 10 August 2022
Real World Applications/Event Driven Applications
All the goodness of functional programming.

7 KB (1,076 words) - 08:53, 4 July 2014
OpenGL
...utorials/BeautifulCode.pdf Beautiful Code, Compelling Evidence: Functional Programming for Information Visualization and Visual Analytics] - Writing visualization

9 KB (1,237 words) - 02:14, 8 August 2022
Hac 2007 II
[http://proglang.informatik.uni-freiburg.de/ICFP2007/local-organizers.shtml Programming Languages Group] at the University of Freiburg.

11 KB (1,506 words) - 09:03, 15 January 2009
Parsing a simple imperative language
programming language called WHILE (introduced in a book

11 KB (1,437 words) - 00:04, 1 September 2017
Phone number
This program was written after I read "An Empirical Comparison of Seven Programming Languages" at http://www.cis.udel.edu/~silber/470STUFF/article.pdf.

12 KB (1,746 words) - 05:55, 21 February 2010
Haskell in industry
...Haskell use is CUFP - the [http://cufp.org/ Commercial Users of Functional Programming Workshop]. ...[http://cufp.org/conference/sessions/2011/fourteen-days-haskell-real-time-programming-projec CUFP talk]

49 KB (6,836 words) - 08:57, 19 October 2020
Shootout/Regex DNA
-- International Symposium on Functional and Logic Programming, -- International Symposium on Functional and Logic Programming,

133 KB (20,540 words) - 08:31, 13 December 2009
Non-empty list
required advancement is in our thinking and programming style.

8 KB (1,274 words) - 20:23, 18 July 2014
Arch Linux/Applications
...0.2-1] 0 Rpoku spoken word programming language ...0 Helium is a functional programming language and a compiler designed especially for learning Haskell...

27 KB (2,482 words) - 19:02, 6 May 2020
Haskore
...n-François Paiement || A model of melodic jazz improvisation in functional programming

8 KB (1,173 words) - 10:09, 14 July 2014
A practical Template Haskell Tutorial
...time meta programming in Template Haskell. It motivates use cases for meta programming and explains the different Template Haskell features on simple toy programs ...kell (TH) is the standard framework for doing type-safe, compile-time meta programming in the Glasgow Haskell Compiler (GHC). It allows writing Haskell meta progr

45 KB (6,927 words) - 18:50, 16 November 2020
Haskell logos/New logo ideas
Playing off a recent Haskell-Cafe thread, in which programming languages were compared to religions, and Haskell was equated to Taoism. T ...Happiness I would like to promote the meme suggesting that Haskell is the programming language of

34 KB (5,126 words) - 19:19, 15 August 2019
Mailing lists
...Haskell." Understand that the student may not have enough mathematical or programming background to realize that screen resolution may be independent of the prec

11 KB (1,569 words) - 15:28, 7 July 2022
Smart constructors
This is an introduction to a programming idiom for placing extra

9 KB (1,351 words) - 18:21, 6 June 2020
The Fibonacci sequence
...ci_number Fibonacci sequence] is considered the "Hello, world!" of Haskell programming. This page collects Haskell implementations of the sequence.

8 KB (1,150 words) - 15:41, 5 July 2022
Pseudoconstructors over monadic values
...la realizarea compilatoarelor. Vedeti si: [[Modular Monadic Compilers for Programming Languages]].

8 KB (1,244 words) - 18:03, 13 July 2011
News/2007
...n/hackage-scripts/package/parallel-1.0.0.0 parallel], support for parallel programming</li> ...ral/15593 announced] SparseCheck, a library for typed, depth-bounded logic programming in Haskell allowing convenient expression of test-data generators for prope

78 KB (11,405 words) - 03:19, 11 February 2008
Type arithmetic
[[Category:Type-level programming]]

8 KB (1,365 words) - 19:23, 15 August 2019
The Monad.Reader/Issue2/FunWithLinearImplicitParameters
...rite side-effecting code. In this article, we take the next step of impure programming by implementing Filinski's <hask>reflect</hask> and <hask>reify</hask> func Programming Languages, Portland, Oregon, pages 446--457.'' Available online:

35 KB (5,673 words) - 20:05, 7 July 2015
Non-strict semantics
Any sufficiently capable programming language is ''non-total'', which is to say you can write expressions that d

9 KB (1,503 words) - 13:55, 15 December 2019
Tutorials/Programming Haskell/Argument handling
Programming Haskell: argument handling and a complete cat This is part three in a series of tutorials on programming Haskell.

25 KB (3,657 words) - 18:20, 12 September 2015
The Monad.Reader/Issue2/Haskore
How could functional programming help us specify music? Haskell

14 KB (2,261 words) - 19:12, 11 August 2008
Roll your own IRC bot
...tions. No need to add new syntax to the language, lisp-like macros or meta programming - you just write a normal function to implement whatever control flow you w This is just a flavour of application programming in Haskell, and only

21 KB (3,285 words) - 19:34, 11 April 2024
Introduction par prof. Anthony A. Aaby
Introduction to Functional Programming Prentice Hall, New York, 1988. Functional Programming Addison-Wesley, Workingham, England, 1988.

34 KB (5,567 words) - 09:54, 7 April 2008
Simonpj/Talk:FunWithTypeFuns
...Robert Atkey. Parameterised Notions of Computation. Journal of Functional Programming 19: (3 & 4), pages 355-376, July 2009.

14 KB (2,191 words) - 17:03, 18 February 2012
Cloud Haskell
....com/en-us/um/people/simonpj/papers/parallel/epstein-thesis.pdf Functional programming for the data centre], Jeff Epstein. Masters Thesis, University of Cambridge

12 KB (1,725 words) - 07:44, 10 August 2022
Phooey
...er.ist.psu.edu/vullinghs95lightweight.html Lightweight GUIs for Functional Programming]".

15 KB (2,333 words) - 14:34, 3 April 2012
H3D
...f Haskell's strengths, and use techniques unique to Haskell and functional programming. * http://matt.blissett.me.uk/programming/haskell/lsystem/

12 KB (1,940 words) - 01:33, 25 June 2012
Introduction to Haskell IO/Actions
When we're programming in Haskell and we want to do something that has a

14 KB (2,254 words) - 20:41, 10 November 2020
Es/Introduccion
[http://www.md.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Programming Matters] by [http://www.md.chalmers.se/~rjmh/ John Hughes], The Co (ed.): Research Topics in Functional Programming, Addison-Wesley,

25 KB (4,131 words) - 04:51, 9 December 2007
Type SK
[[Category:Type-level programming]]

10 KB (1,653 words) - 00:25, 12 July 2021
Plainly partible
* In Simon Peyton Jones's [[Books|The implementation of functional programming languages]] (section 9.6 on page 188 of 458), Peter Hancock provides a simp

11 KB (1,656 words) - 22:33, 4 July 2022
Haskell IO for Imperative Programmers
...a tour of language features. I don’t want to show you how to do imperative programming in Haskell; I want to show you how not to. ...need to shift gears and think about I/O as a result that you achieve. The programming task then becomes one of describing the program’s interaction with the ou

20 KB (3,555 words) - 06:05, 24 April 2024
The Monad.Reader/Issue4/Solving Sudoku
...to the program using monads and monad transformers. In terms of functional programming elegance, I feel this program is on the launch pad but has not yet taken of

18 KB (2,751 words) - 00:55, 10 May 2008
Stiri Ro/Haskell-2009
...kell, functional reactive programming, classic works concerning functional programming - "reloaded" in Haskell. Please send the manuscripts to: popavdan {at} yaho

20 KB (3,023 words) - 14:21, 18 February 2015
OpenGLTutorial1
''This tutorial [http://blog.mikael.johanssons.org/archive/2006/09/opengl-programming-in-haskell-a-tutorial-part-1/] was originally written by Mikael Vejdemo Joh ...://www.cs.hs-rm.de/~panitz/hopengl/skript.html googled tutorial in HOpenGL programming], I thought I'd write down the steps I actually can get to work in a tutori

10 KB (1,585 words) - 09:22, 20 September 2013
Avoiding IO
...7325/310243.pdf Nondeterminism with Referential Transparency in Functional Programming Languages].

10 KB (1,634 words) - 22:52, 6 April 2022
GHC/SuperClass
...ion between Functional Dependencies and Instance Overlaps, a type-level programming technique pioneered by [http://okmij.org/ftp/Haskell/HList-ext.pdf Hlist 2

14 KB (2,091 words) - 17:28, 4 February 2023
Quasiquotation
the [[SYB]] approach to generic programming, we will then use this parser to produce

12 KB (1,695 words) - 15:27, 12 November 2019
CamHac/PostHackathonReport
* Upcoming Monad Reader would feature and article about parallel programming with MPI, written during the course of the hackathon (Dmitry Astapov)

12 KB (1,833 words) - 12:53, 17 December 2012
Old news
...e-scripts/package/probability-0.2.1 probability]: Probabilistic Functional Programming.</li> ...cgi-bin/hackage-scripts/package/bot-0.1 bot]: bots for functional reactive programming.</li>

76 KB (9,269 words) - 19:17, 15 August 2019
Ro/Boosting your Math. Faculty with Haskell
1. Kees Doets and Jan van Eijck The Haskell Road to Logic, Maths and Programming King's College Publications, London, 2004. ISBN 0-9543006-9-6

10 KB (1,417 words) - 09:49, 10 February 2011
Template Haskell
...extension to Haskell 98 that allows you to do type-safe compile-time meta-programming, with Haskell both as the manipulating language and the language being mani * I am working on functional metaprogramming techniques to enhance programming reliability and productivity, by reusing much of the existing compiler tech

30 KB (4,551 words) - 00:29, 15 June 2023
CPlusPlus from Haskell
Most programming languages, especially Haskell and C++, link by calling

15 KB (2,199 words) - 00:32, 23 May 2017
Haskell for multicores
...and-multicore-programming.html Real World Haskell: Concurrent and Parallel Programming]

12 KB (1,738 words) - 06:06, 23 July 2020
QuotesPage
Subject: Re: Jedi Programming (was: [pragprog] Common List or Dylan?) > power of a programming lightsaber. Future Jedi

55 KB (8,884 words) - 01:18, 10 November 2022
Fold
In [[functional programming]], ''fold'' (or ''reduce'') is a family of [[higher order function]]s that

12 KB (1,923 words) - 18:51, 28 March 2019
Yhc/TMR
...play the same role as the <hask>IO</hask> monad plays in "regular" Haskell programming. There were however arguments in favor of using [http://haskell.org/haskell ...library internals are written in CPS, so taking CPS as general approach to programming is believed to make adoption of Fudgets easier.

28 KB (4,378 words) - 13:10, 8 April 2007
The JavaScript Problem
[http://elm-lang.org/ Elm] is a reactive pure functional programming language implemented in Haskell, which takes heavy inspiration from Haskell

11 KB (1,601 words) - 18:02, 26 October 2020
Web/Frameworks
* A sensible and clean monad for web programming

12 KB (1,789 words) - 17:49, 26 October 2020
HXT
Programming with arrows is one style of point free programming. Point free programming often becomes unhandy when values are used more than once. One solution is

48 KB (6,937 words) - 00:20, 27 April 2016
SPOJ
programming contest website. It has a large problem set archive, and accepts solutions

18 KB (3,044 words) - 03:03, 28 September 2009
Haskell em 10 minutos
* [[Tutorials/Programming Haskell/String IO |I/O em arquivos]]

15 KB (2,246 words) - 23:44, 15 May 2012
The Monad.Reader/Issue5/HRay: A Haskell ray tracer
...oncrete Generic Functionals: Principles, Design and Applications". Generic Programming 89-119, Kluwer, 2003</ref>. In a next phase, the model was implemented in H

23 KB (3,591 words) - 20:03, 12 May 2008
Rodin/News
Lucrarea se numeste: The Rodin Community, Teaching Programming Using no English Words. ...entarea a avut titlul: "The Ro/Haskell Community: Introducing a Functional Programming Language by Wiki"; autor, Dan POPA de la Univ. "V.Alecsandri" din Bacau.

29 KB (4,440 words) - 21:59, 14 November 2011
News/2006
...r/genericserialize a library] for serialization using the existing generic-programming framework. It is often advocated that support for serialization should be a ...http://ranged-sets.sourceforge.net/Ranged/ Ranged Sets]. Ranged sets allow programming with sets of values described by a list of ranges. A value is a member of t

93 KB (13,836 words) - 23:40, 14 August 2019
Dealing with binary data
Many programming problems call for the use of binary formats for compactness,

17 KB (2,795 words) - 04:06, 16 June 2020
Fully-functional heterogeneous lists
Haskell is inherently a functional programming language. [https://www.tutel.me/c/programming/questions/32481418/unsafe+entailment+with+haskell+constraints unsafe entail

28 KB (3,716 words) - 13:01, 20 October 2017
BerkeleyDBXML
DB XML's C++ interface, so we are programming at a fairly low level.

15 KB (2,390 words) - 15:19, 6 February 2021
The Monad.Reader/Issue2/EternalCompatibilityInTheory
...ne Stroustrup actually described a very similar scheme to mine in "The C++ Programming Language", which I had completely forgotten about.

27 KB (4,434 words) - 20:29, 19 February 2015
Monomorphism restriction
...ually quick to point out that including explicit type declarations is good programming practice anyway. In a few very rare cases, however, you may need to supply

16 KB (2,628 words) - 21:19, 16 December 2022
OpenGLTutorial2
''This tutorial [http://blog.mikael.johanssons.org/archive/2006/09/opengl-programming-in-haskell-a-tutorial-part-2/] was originally written by Mikael Vejdemo Joh A lot of the OpenGL programming is centered around the program being prepared to launch some sequence when

20 KB (3,092 words) - 11:52, 20 September 2013
Haskell Tutorial for C Programmers
The above programming style, i.e. 'making a variable, putting data in it, using it, then replacin ...later I'll describe how it works. I will also describe a simple frame for programming with GHC. Until then, use GHCi or Hugs to try the examples. They have an

111 KB (19,450 words) - 17:55, 23 October 2019
Typeclassopedia
...” computations in a functionally pure way, and encourages an “applicative” programming style. Exactly what these things mean will be seen later. ...] and [http://www.soi.city.ac.uk/~ross/papers/Applicative.html Applicative programming with effects]}}

179 KB (29,519 words) - 16:10, 30 December 2022
Hitchhikers guide to Haskell
This would be a way to simulate imperative programming with its notion of Readers familiar with advanced C++ or Java programming and that arcane body of

69 KB (11,026 words) - 12:26, 9 January 2023
New monads/MonadAdvSTM
This is pure programming convenience. It's always possible to make an existing Haskell STM transact

24 KB (3,463 words) - 05:20, 12 July 2021
HUnit 1.0 User's Guide
...he unit testing framework to Haskell, a general-purpose, purely functional programming language. (To learn more about Haskell, see [http://www.haskell.org http://

23 KB (3,542 words) - 03:11, 15 May 2020
Haskellへのヒッチハイカーガイド
Readers familiar with advanced C++ or Java programming and that arcane body of Think of programming with monads as of doing the remodelling with the

73 KB (10,050 words) - 00:05, 19 April 2021
Stiri Ro/Haskell-2011
...pat de finalizarea unei cercetari privind "[[Modular Monadic Compilers for Programming Languages]]" iar ieri am inceput redactarea unei lucrari care prezinta rezu ...entarea a avut titlul: "The Ro/Haskell Community: Introducing a Functional Programming Language by Wiki"; autor, Dan POPA de la Univ. "V.Alecsandri" din Bacau.

27 KB (4,177 words) - 15:10, 18 February 2015
How to write a Haskell program
Monad transformers are very useful for programming in the large,

22 KB (3,268 words) - 04:57, 30 January 2022
Tying the Knot
...e show how to solve the same problem---writing an interpreter for a simple programming language---in three different ways. This is a nice example because, (i) it

24 KB (3,850 words) - 17:16, 28 June 2021
Sudoku
This is inspired by John Hughes "Why Functional Programming Matters". ...n instant. Its also an excellent example of what has been termed wholemeal programming focusing on entire data structures rather than their elements. (Transplant

67 KB (9,593 words) - 05:40, 9 March 2021
Haskell programming tips/Discussion
...definitely not be done careless (then again, one shouldn't be careless in programming anyway), and operator percedences might be better defined as a partial orde

24 KB (4,110 words) - 01:13, 7 November 2020
All About Monads
...with very some specific meanings that you can grasp in Haskell (and other programming languages.) With "monad", well . . . . ...ake the code easier to write, easier to read and easier to change. So good programming style would have us create a combinator that captures the behavior we want:

169 KB (26,630 words) - 00:15, 19 September 2021
Shootout/Nbody
-- This is a monad for open mutable records programming

85 KB (11,049 words) - 06:08, 21 February 2010
Performance/GHC
be helping, programming your code in raw GHC primops can sometimes do

25 KB (3,873 words) - 11:08, 6 March 2023
ICFP 2009 Local Arrangements
The 14th ACM SIGPLAN International Conference on Functional Programming [http://www.cs.nott.ac.uk/~gmh/icfp09.html (ICFP 2009)] 

31 KB (4,851 words) - 23:30, 4 September 2009
HaskellImplementorsWorkshop/2014
The Haskell package distributed-process implements a framework for programming

22 KB (3,305 words) - 01:20, 30 September 2014
IO inside
Most programming languages don't allow you to define control structures at all, and those th ...n be used for is to partially emulate the OOP (or more precisely, the ADT) programming paradigm.

82 KB (13,140 words) - 09:07, 3 May 2024
Ru/IO Inside
Most programming languages don't allow you to define control structures at all, and those th partially emulate the OOP (or more precisely, the ADT) programming paradigm.

64 KB (6,046 words) - 11:23, 22 October 2022
Numeric Haskell: A Repa Tutorial
This document provides a tutorial on array programming in Haskell using the Repa package and was based on version 3.2 of the libra

37 KB (5,672 words) - 07:28, 10 August 2022
Es/Por que Haskell importa
...tículo: [http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Programming Matters] (Por qué es importante la programación funcional)

34 KB (6,026 words) - 19:33, 10 November 2006
Prime numbers
.../Sieve-JFP.pdf "The Genuine Sieve of Eratosthenes"], Journal of Functional Programming, Published online by Cambridge University Press 9 October 2008 doi:10.1017/

58 KB (8,594 words) - 20:34, 6 May 2023

Search results

Navigation menu

Search