Haskell/The Curry–Howard isomorphism - Wikibooks, open books for an open world
The Curry–Howard isomorphism is a striking relationship connecting two seemingly unrelated areas of mathematics — type theory and structural logic. The Curry–Howard isomorphism, hereafter referred to as simply CH, tells us that in order to prove any mathematical theorem, all we have to do is construct a certain type which reflects the nature of that theorem, then find a value that has that type. T
Haskell/Indentation - Wikibooks, open books for an open world
Haskell relies on indentation to reduce the verbosity of your code. Despite some complexity in practice, there are really only a couple fundamental layout rules.[1] The golden rule of indentation[edit | edit source] Code which is part of some expression should be indented further in than the beginning of that expression (even if the expression is not the leftmost element of the line). The easiest
Compojure - Wikibooks, open books for an open world
Compojure is an open source web framework for the Clojure programming language. It emphasizes a thin I/O layer and a functional approach to web development. Getting Started The Getting Started section covers how to build Compojure and create a simple "Hello World" application. Dependencies Information on Compojure's Dependencies. Core Libraries The Core Libraries section details how to use the mai
Programming with Moose - Wikibooks, open books for an open world
Moose is a distribution (set of modules), that constitute a new framework for Perl 5. It addresses many of the criticisms about Perl's object orientation (OO) implementation, and brings new light to crufty old perl syntax. Moose was created by Stevan Little, the author of countless modules both useful and useless hosted on CPAN.[1] Table of Contents[edit | edit source] Preface Obtaining Moose Ideo
Understanding darcs/Patch theory - Wikibooks, collection of open-content textbooks
From Wikibooks, the open-content textbooks collection [edit] Math and computer science nerds only (The occasional physicist will be tolerated) Casual users be warned, the stuff you're about to read is not for the faint of heart! If you're a day-to-day darcs user, you probably do not need to read anything from this page on. However, if you are interested in learning how darcs really works, we invit
Haskell/Understanding monads - Wikibooks, open books for an open world
There is a certain mystique about monads, and even about the word "monad" itself. While one of our goals of this set of chapters is removing the shroud of mystery that is often wrapped around them, it is not difficult to understand how it comes about. Monads are very useful in Haskell, but the concept is often difficult to grasp at first. Since monads have so many applications, people often explai
Haskell/GADT - Wikibooks, open books for an open world
Generalized algebraic datatypes, or simply GADTs, are a generalization of the algebraic data types that you are familiar with. Basically, they allow you to explicitly write down the types of the constructors. In this chapter, you'll learn why this is useful and how to declare your own. We begin with an example of building a simple embedded domain specific language (EDSL) for simple arithmetical ex
Yet Another Haskell Tutorial/Preamble - Wikibooks, open books for an open world
The goal of Yet Another Haskell Tutorial is to provide a complete introduction to the Haskell programming language. It assumes no knowledge of the Haskell language or familiarity with functional programming in general. However, general familiarity with programming concepts (such as algorithms) will be helpful. This is not intended to be an introduction to programming in general; rather, to program
Haskell - Wikibooks, open books for an open world
This book has a collection for ordering a printed copy of this book for a fee. (edit) (help) Haskell is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. Hask
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
