HAMTs from Scratch - Vaibhav Sagar
This blog post is also an IHaskell notebook and the source is available separately. I also did a talk at NYHUG based on this material. I wanted an explanation for HAMTs (Hash Array Mapped Tries) that was more detailed than Marek Majkowski’s introduction and more approachable than Ideal Hash Trees by Phil Bagwell, the paper that introduced them. If you haven’t heard of them before, HAMTs are a way
Cloud Haskellについて調べてみた - Qiita
Cloud Haskellは"Towards Haskell in the Cloud" by Jeff Epstein, Andrew Black, and Simon Peyton Jones という論文で提案された、Haskellで分散環境で動くプログラムを書くためのDSLです。その実装としてdistributed-processというライブラリがあります。論文の著者であるJeffを中心に今も活発に開発が続けられており、歴史については公式によくまとまっています。 Cloud Haskell 公式サイト Basic messaging Cloud Haskellが採用しているのはErlangに影響されたメッセージパッシング型の通信モデルです。Erlangとの大きな違いはメッセージに型がついているところでしょう。 ping :: Process () ping = do Pong par
HaskellでHTTPクライアントを書く - Qiita
QiitaへのHaskellタグ記事初投稿です。よろしくお願いします。Qiitaはソースコードの色付けがきれいですね。 Haskellで、Network.HTTPとText.ParserCombinators.Parsecを使って、HTTPクライアントを書いてみました。 もっとも簡単なレスポンスを返すHTTPサーバとして、日本標準時を選びました。こちら http://ntp-a1.nict.go.jp/cgi-bin/time にアクセスすると、こういうフォーマット "Sat Aug 23 22:38:19 2014 JST\n" でレスポンスが返ってきます。それをパースしてみます。 ネットワークから受信しようとすると例外を投げる可能性があります。例外が投げられなかったら、パースしますが、パースも失敗する可能性があります。結果をEitherで受け取り、caseで場合分けします。 パーサーは
Lensメモ - DebugIto's diary
ここ最近、少し思うところあってHaskellのLensについて勉強していた。 Lensに関するドキュメントをいろいろ探したが、このドキュメントが非常に分かりやすかった。 Zippers and lenses: http://www.scs.stanford.edu/14sp-cs240h/slides/lenses-slides.html#%281%29 "Real World Haskell"の共著者であるBryan O'SullivanによるStanford大の講義スライドらしい。Zipperから話を始めてLensの説明をしている。ZipperについてはすごいH本にも解説があるので、Zipperをある程度理解していれば比較的カンタンに理解できる内容だろう。 ただ、講義スライドの(41)〜(47)あたりはこれだけでは少々わかりにくいと思った。ここはZipperからLensに話が移行すると
Input and Output - Learn You a Haskell for Great Good!
We've mentioned that Haskell is a purely functional language. Whereas in imperative languages you usually get things done by giving the computer a series of steps to execute, functional programming is more of defining what stuff is. In Haskell, a function can't change some state, like changing the contents of a variable (when a function changes state, we say that the function has side-effects). Th
入出力処理 - ウォークスルー Haskell
入出力処理など副作用を伴う演算は，I/O アクション（I/O action）と呼ばれる値で表現されます． 実行すると a 型の結果を返すような I/O アクションは，IO a 型の式として記述します．
素晴らしき HLint を使いこなす
Posted on January 29, 2018 authored by Shinya Yamaguchi はじめに HLint は haskell-src-exts を使って実装されている静的解析ツールです。 HLint を使えば github などを使って PR ベースで開発する場合のコードレビューでこんな事を言わなくて済みます。 fromJust とかの部分関数は使わないで！ maybe 関数って知ってる？ この言語拡張って本当に使ってるの？ undefined まだ残ってるじゃん！ 嬉しいことに Travis CI や CircleCI などで一度設定するだけなので導入もお手軽です！ また、最近知ったのですが、プロジェクト内で使って欲しくない関数なども HLint によって検出可能です。 さらに、独学で Haskell の学習を進めている人は HLint が素晴らしい教師役とな
Attoparsecを使っていてハマったところをいくつか :: Igreque -> Info
Attoparsecを使っていてハマったところをいくつか by Yuji Yamamoto on January 5, 2014 Haskellでちょっとしたコマンドを作りました 自分専用のスクリプトとして、と考えていたのですが、 作っているうちにいろいろ技術的なことを共有したくなったので、 Githubで公開しました。 （とはいえ、あくまで自分用なのでhackageには上げません） 中身は単純で、cabal build vm-backup-snapshotしてから実行すると、 VirtualBox上で1作成した「Ubuntu」という名前のVMから、 一番古いスナップショットを削除したり、 名前に現在時刻を付けたスナップショットを作成したりできます。 （書いていて今更気づきましたが、いくら自分用とはいえ、 VMの名前ぐらいハードコードしないほうが良さそうですね…） 詳しくは main.hs
本気で Haskell したい人向けの Stack チュートリアル - Qiita
この記事は定期的にメンテナンス(加筆・修正)されています。 本記事のコードは waddlaw/Qiita-stack に置いてあります。 Haskell の開発方法については以下のサイトに色々とまとめていますので、こちらもご参照ください。 Haskell Development TODO: profiling, default-extension, ghc-option, package.yaml と stack.yaml の関係, について追記する。 本記事では Pearls of Functional Algorithm Design (訳本: 関数プログラミング 珠玉のアルゴリズムデザイン) の第1章を題材として stack を使った Haskell プロジェクトの基本を解説しています。 プログラムの内容を理解できなくても、記事を最後まで読むことで Haskell プロジェクトの作り
HaskellでWebAppの開発に必要なN個のこと - maoeのブログ
あるプログラミング言語で実際にWebAppを開発できるようになるまで、何が必要だろうか。言語仕様の習得は終えているとしよう。おそらく、最低限以下のような知識が必要だと思われる。とりあえずHaskellについて知っていることを書いた。 ← ここまで引用。 パッケージマネージャ Cabal 1.18を使おう。以上。 アプリケーションサーバ WSGIとかRackとかの流れでHaskellでもwebアプリのサーバインタフェースを統一化する動きがいくつかあった。その中で一番市民権を得たのはwaiと呼ばれるものだ。 ただ、残念なことにHaskell界でここ数年ずっと続いているI/Oストリーミングライブラリ戦争の決着がついていないため、統一化の状況は思わしくない。waiはconduitというライブラリに依存しているが、フレームワークによっては別のI/Oストリーミングライブラリを基盤にしている。 現状の3
A Little Lens Starter Tutorial - School of Haskell | School of Haskell
As of March 2020, School of Haskell has been switched to read-only mode. What is lens?lens is a package which provides the type synonym Lens which is one of a few implementations of the concept of lenses, or functional references. lens also provides a number of generalizations of lenses including Prisms, Traversals, Isos, and Folds. Why do I care?Lenses and their cousins are a way of declaring how
Leksah - Haskell IDE in Haskell
Leksah is the Haskell IDE of choice. It is written in Haskell, uses Gtk, and runs on Linux, Windows and Mac OS X. Leksah is a practical tool to support the Haskell development process. It requires the Glasgow Haskell Compiler (GHC). Leksah is completely free and distributed under the Gnu General Public License 2.0 Leksah may be worth trying because: It uses the cabal package format and incorporate
48時間でSchemeを書こう - Wikibooks
Web上にあるほとんどのHaskellチュートリアルは言語についてのマニュアルのような教え方をしようとしているようです。それらには言語の文法、概念が少し載っていて、読者に対話環境でいくつかの簡単な関数を作るように指示します。よく機能する有用なプログラムの書き方は大抵最後にまわされるか、そもそも省かれていたりします。 このチュートリアルは違う方針を取ります。コマンドライン引数解析から始めて、完全に機能するR5RS Schemeのかなり大きなサブセットの実装まで進みます。道すがら、Haskellの持つI/O、mutable state、dynamic typing、エラー処理、そして構文解析機能を学びます。このチュートリアルを終える頃には、あなたはHaskellとScheme両方がかなり良くわかるようになっているはずです。 このチュートリアルの対象読者は主に以下の2種類です。 LispかSch
ポイントフリースタイル入門 - melpon日記 - HaskellもC++もまともに扱えないへたれのページ
Haskell にはポイントフリースタイルというのがあります。 例えば foo x = f (g x) という中の x というのが「ポイント」と言うらしいです（型を明示していないから x の型が a->b だったりする可能性もあるけどその可能性は置いといて）。要するに値のことですね。 で、このポイントを除けてプログラミングするのをポイントフリースタイルと言います。 この場合、 foo = f.g となります。 ということで、ありとあらゆるコードをポイントフリースタイルで書けるように訓練しましょう。 基本的に、書いてれば慣れるのでどんどん書きましょう。 基本 基本的に (.) 関数を使います。 foo x = f (g x) foo x = (f.g) x foo = f.g です。 また、(.) は二項演算子なので、これを関数形式で書けば、 f.g = (.) f g となり、更に = (
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Oleg's gists - Achromatic lens
Haskell Lens - Part 1
Everyday Haskell
今から始める Lens/Prism
https://pointfree.io/
Google Summer of Code
