Haskell/Polymorphism - Wikibooks
訳註 このウィキブックスのページでは、Haskellにおけるポリモーフィズムについて説明されています。ポリモーフィズムは、プログラミング言語において同じコードを複数の型に対して再利用するための技術です。 Haskellでは、ポリモーフィックな関数を定義する方法がいくつかあります。ジェネリック関数は、任意の型に対して機能する関数であり、型変数を使用して宣言されます。また、型クラスは、特定の操作をサポートする型のグループを定義する方法です。 このページでは、ポリモーフィズムの概念を詳しく説明し、Haskellでのポリモーフィズムの実装について説明しています。さらに、Haskellの型クラスシステムについても解説しています。 Section goal = short, enables reader to read code (ParseP) with ∀ and use libraries (S
Haskell使いの高頻度取引の会社にお邪魔した
先日、日経コンピュータ特集記事の取材で東京都内の某所にある「Tsuru Capital」という、高頻度取引（HFT、High-Frequency Trading）を手掛ける企業のオフィスにお邪魔した。 HFTというのは、プログラムによって株式などの金融商品を数ms（ミリ秒）から数μs（マイクロ秒）で高速に自動取引すること。自己資金で取引する「プロップファーム（proprietary trading firm）」と呼ばれる企業が中心で、米GETCO（2013年7月に米Knight Capitalと合併）などが有名だ。 HFTを行うプロップファームの多くは、米国など海外に拠点を置いており、Tsuru Capitalのように日本国内に拠点を置く企業は珍しい。株式売買では、海外企業であっても国内の証券会社と契約し、自社の取引プログラムをその証券会社のサーバーに配置すれば日本市場でのHFTは行える。
関数型言語を採用するプロジェクトが増加、果たして本当に開発効率は高いのか？ | スラド デベロッパー
ソフトウェア開発に Scala や Haskell、Erlang といった関数型言語を採用する企業が増えているそうだ (ITpro の記事より) 。 関数型プログラミング言語には「迅速に開発できる、バグを抑えやすい、アプリケーションの性能を向上させやすい」といった特徴があるとし、これらは新規のサービス開発に向いているという。「言語選定が競争力に直結」といった意見も記事には掲載されている。 これだけだといいことずくめのようにも聞こえるが、関数型言語は習得しにくく、ライブラリなども C/C++ や Java と比べるとまだ少ない。使いこなせるプログラマも少なく、関数型言語で大規模システムの設計を行えるエンジニアはまだ少ないのではないだろうか。関数型言語を使える人材はある程度スキルの高い人であり、そのために生産性が高いのではという疑問もある。今後日本で関数型言語の採用は進んでいくのだろうか?
From Ruby to Haskell: an Introduction
This two-hour workshop is aimed at giving programmers familiar with Ruby a comfortable introduction to Haskell, demonstrating how Haskell code and concepts can be quite similar to Ruby, and showing a few neat things Haskell does that Ruby doesn't. You needn't be an expert Ruby programmer (or even know Ruby at all, if you have other programming experience) but you may find it difficult if code such
Pandoc - Pandoc User’s Guide
Pandoc User’s Guide Synopsis ± pandoc [options] [input-file]… Description ± Pandoc is a Haskell library for converting from one markup format to another, and a command-line tool that uses this library. Pandoc can convert between numerous markup and word processing formats, including, but not limited to, various flavors of Markdown, HTML, LaTeX and Word docx. For the full lists of input and output
実践的な Haskell の本 - あどけない話
Perl6 は何年経っても正式にリリースされません。そんな Perl6 を Audrey Tang さんは、たったの数ヶ月で作りました。その実装は Pugs と呼ばれています。短期間の開発を可能にした秘密兵器は Haskell です。 その Audrey さんが、2006年に日本で Haskell について説明してくれました(資料)。残念ながら、そのころの僕は Haskell に興味がなかったのでチュートリアルは受けていませんが、その概要にはこう書かれています。 コーナーケースを探すのにユニットテストを書くのに疲れた？ QuickCheck を使ってコンピュータに書かせちゃいましょう。正規表現ベースのパーサはメンテナンスしにくいのに気づいた？ Parsec を使って 15分で Perl6 の完全なパーサを書く方法を勉強しましょう。デッドロックやレースコンディションはもううんざり？ STM
檜山正幸のキマイラ飼育記 - 世界で一番か二番くらいにやさしい「モナド入門」
気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、予備知識ゼロでモナドの説明をしてやろうじゃねーか」と。 タイトルはだいぶ煽っちゃった…… けど、ハッタリじゃないつもり…… けど、実際はどうかな？ ※印刷のときはサイドバーが消えます。 内容： とりあえず、あたりさわりなくモナドの来歴を紹介する こんな課題を考えてみよう：副作用付き計算 カウントアップする関数達 カウントアップしたい意志を戻り値で伝える それでは、いったい誰がカウントアップをするのだ 関数の引数の型をCountup型にまで拡張する そして、これがモナドだ とりあえず、あたりさわりなくモナドの来歴を紹介する 今からここで説明する「モナド（monad）
Learn Haskell in 10 minutes - HaskellWiki
Overview Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you don't have to declare them), lazy (nothing is done until it needs to be) language. Its closest popular relative is probably the ML family of languages (which are not, however, lazy languages). The most common Haskell compiler is GHC. You can d
home
A dynamically tiling X11 window manager that is written and configured in Haskell. In a normal WM, you spend half your time aligning and searching for windows. XMonad makes work easier, by automating this. What’s new? xmonad and xmonad-contrib 0.18.0 are available. New versions of xmonad and xmonad-contrib have been released. Check out our download page for instructions on where to get them. (2024
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The GHC Runtime System by Edward Z. Young
Blog posts (Old & Japanese) - Metasepi
Google Code Archive - Long-term storage for Google Code Project Hosting.