The Haskell 98 Report: Declarations
The declarations in the syntactic category topdecls are only allowed at the top level of a Haskell module (see Chapter 5), whereas decls may be used either at the top level or in nested scopes (i.e. those within a let or where construct). For exposition, we divide the declarations into three groups: user-defined datatypes, consisting of type, newtype, and data declarations (Section 4.2); type clas
Physical units - HaskellWiki
How would one go about modeling units (seconds, meters, meters per second, etc) in Haskell? I'm particularly interested in getting the typechecker to verify proper usage, and do not want to restrict it to any particular numeric representation (i.e. both integral seconds and fractional seconds). If this can in fact be done, it could also be used to model coordinate system axes in, say, Geometric Al
Welcome to Haddock’s documentation! — Haddock 1.0 documentation
Welcome to Haddock’s documentation!¶ This is Haddock, a tool for automatically generating documentation from annotated Haskell source code. Contents:
Hoogle(the Haskell API Search Engine)
Welcome to Hoogle Links Haskell.org Hackage GHC Manual Libraries Hoogle is a Haskell API search engine, which allows you to search the Haskell libraries on Stackage by either function name, or by approximate type signature. Example searches: map (a -> b) -> [a] -> [b] Ord a => [a] -> [a] Data.Set.insert +bytestring concat Enter your own search at the top of the page. The Hoogle manual contains mor
Category theory/Natural transformation - HaskellWiki
In the followings, this example will be used to illustrate the notion of natural transformation. If the examples are exaggerated and/or the definitions are incomprehensible, try #External links. Definition Let , denote categories. Let be functors. Let . Let . Let us define the natural transformation. It associates to each object of a morphism of in the following way (usually, not sets are discusse
Prime numbers - HaskellWiki
In mathematics, amongst the natural numbers greater than 1, a prime number (or a prime) is such that has no divisors other than itself (and 1). This means that it cannot be represented as a product of any two of such numbers. Prime Number Resources At Wikipedia: Prime Numbers Sieve of Eratosthenes HackageDB packages: arithmoi: Various basic number theoretic functions; efficient array-based sieves,
Category theory - HaskellWiki
Category theory can be helpful in understanding Haskell's type system. There exists a "Haskell category", of which the objects are Haskell types, and the morphisms from types a to b are Haskell functions of type a -> b. The Haskell wikibooks has an introduction to Category theory, written specifically with Haskell programmers in mind. Definition of a category A category consists of two collections
Template Haskell - HaskellWiki
Template Haskell is a GHC extension to Haskell that adds compile-time metaprogramming facilities. The original design can be found here. It is included in GHC since version 6. The GHC Users Guide has a Template Haskell section. This page hopes to be a more central and organized repository of TH related things. What is Template Haskell? Template Haskell is an extension to Haskell 98 that allows you
The Haskell Symposium
Steering Committee Responsibilities The main purpose of the Haskell Symposium Steering Committee is to provide continuity of the symposium and Haskell Implementors' Workshop and to offer help and advice to the current organizer(s) of the symposium. The responsibilities of the steering committee are: To provide continuity of the Haskell Symposium and Haskell Implementors' Workshop, serve the Haskel
Hakell I/Oアクションの紹介 - HaskellWiki
Haskellでプログラミングするときに副作用があるような処理、あるいは外部に対して働きかけるような処理を書きたいときは アクション を使います。 アクションはHaskellの言語仕様の中では、3という数字や"hello world"という文字列、あるいはmapという関数と同様に値として扱われます。 つまり変数名に束縛したり、関数に引数として与えたり、関数の結果とすることが可能ということです。 Haskellが扱う他の値と同様に、アクションにも型があります。多くの種類のアクションがありますが、ここでは IO アクションと呼ばれる非常に重要なアクションから始めましょう。 このアクションはプログラムの外部に対して働きかけることができるアクションです。ここにIOアクションの例を示します： コンソールに "hello" という文字列を表示する コンソールから入力行を読み取る www.google.
Haskell Hierarchical Libraries
This index includes documentation for many Haskell modules. For documentation on the GHC API, see ghc-7.0.4/index.html. Modules Arrayhaskell98-1.1.0.1Bitshaskell98-1.1.0.1CErrorhaskell98-1.1.0.1CForeignhaskell98-1.1.0.1CPUTimehaskell98-1.1.0.1CStringhaskell98-1.1.0.1CTypeshaskell98-1.1.0.1Charhaskell98-1.1.0.1Complexhaskell98-1.1.0.1ControlControl.ApplicativebaseControl.ArrowbaseControl.Categoryba
Libraries and tools/HJS - HaskellWiki
Current Status - March 2007 Most program fragments can be parsed. This includes a Haskell in Javascript example, Yhc/Javascript, and JS implemented in JS files, Narcissus A smaller set of program fragments can be run. This includes a Javascript inheritance framework Working toward running the YCR2JS and Narcissus files. Current version is available from HackageDB Later: Review the parser code, ine
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Physical units/CalDims - HaskellWiki
[Haskell] ANNOUNCE: Dimensional -- Statically checked physical dimensions
WxHaskell/Quick start - HaskellWiki
Welcome to Happy’s documentation! — Happy documentation
https://www.haskell.org/onlinereport/haskell2010/haskell.html