はてなブックマーク

haskell入門 の著者の一人、hirataraです。といっても、このエントリは書籍とはまったく関連のないお遊びです ということで、今回は10年ほど前のエントリである しりとりの圏 を、Haskellで実装しようと試みましたので、その過程をだらだらと書いていきます。 前置き しりとりの圏とは以下のようなものです。 対象(Object)は文字 'あ' 'い' 'う' ・・・ 射(Morphism)は文字列 "はすける" :: 'は' -> 'る' 恒等射(Identity)は一文字 "あ" : 'あ' -> 'あ' 合成は文字列の結合 "るびー" . "はすける" == "はすけるびー" この圏は直感的にわかりやすい圏で、圏論の初学者が集合圏以外の圏に触れるきっかけとしてはちょうどよい題材と言えます。 しかし、「圏論と言えばHaskellだろう」と安易に考えてこの圏をHaskellのプログ

このエントリは 前回 に引き続き、本日(2017-9-7)発売の Haskell入門 へページ数の都合で載せられなかった記事に、加筆修正をして公開するものです。このエントリの内容は、10.6節の後に載せる予定だったものです。 今回テスト対象とするアプリケーションは、公開されている Haskell入門のサンプルコード を参照して下さい。 Haskell入門 の10章では、このアプリケーションの作り方を解説しています。 WAIにはWAIアプリケーションをテストするためのNetwork.Wai.Testというモジュールが用意されています。本節ではNetwork.Wai.Testの簡単な使い方を紹介するために、Weight Recorderアプリケーションの単体テストを作成します。未登録のユーザがWeight Recorderアプリケーションへアクセスし、ユーザ登録、ログイン、体重の登録といった操

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Server::Starter を Haskell で利用するためのライブラリを書きました。 warp で動かすWEBアプリでも、 start_server コマンドを使った hot-deploy が可能になります。とりあえず github にのみ上げました。 以下でサンプルプログラムまで含めてビルドできます。 $ git clone git@github.com:hiratara/hs-server-starter.git $ cd hs-server-starter/ $ stack build --flag hs-server-starter:example 使い方 https://github.com/hiratara/hs-server-starter/blob/master/app/server-starter-warp-example.hs を見てください。 Network.

YAPC::Kansai 2017 OSAKA に参加しておりますので、自分のためにメモを残しておきます。 オープニング / nqounet さん 第2回 YAPC Japan 開催 ネックストラップ着けて、飲食禁止（飴ちゃんも）、立入禁止区域、禁煙 電源はB会場、C会場。通路、A会場は禁止。赤ストラップの方の撮影禁止 会場別タグ: #yapcjapanA, #yapcjapanB, #yapcjapanC 実録！『すぐわかるPerl』 / 深沢 千尋 さん すぐわかるPerl、文字コード超研究、すぐわかるオブジェクト指向Perl、かんたんPerl、の著者 かんたんPerlがおすすめ 今日の話は作業の省力化の省力化について 汎用機PG→音楽ライター→ソフトハウス(ローカリゼーション会社に変貌) Sprint (Bolandのワープロ) → FrameMaker文書へ 先輩が作ったツールを実

wreq はデフォルトで http-client-tls を使ってSSL通信するのだけど、これが結構遅くてビビった1。 そこで、 tls パッケージではなく OpenSSL の Haskell バインディングである HsOpenSSL に差し替えてみたら、手元で 40 秒かかっていたバッチの実行時間が 30 秒まで短くなった。 25% の改善。 差し替えるには、 HsOpenSSL パッケージと http-client-openssl パッケージへの依存を *.cabal へ追加して、 import qualified Network.Wreq as Wreq main :: IO () main = do res <- Wreq.get uri ... import Control.Lens ((&), (.~)) import qualified Network.HTTP.Client

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? YAPC::Hokkaido 参加のために大雪の札幌市におります。適当に自分用のメモを残しておきます。 オープニング / onagatani さん YAPC::Asia が YAPC::Japan になった 会場150名(けっこういっぱいいっぱい) タイムテーブル変わってるよ（入れ替わった？） HTTP/2の課題と将来 / 奥 一穂さん HTTP/2の理由 HTTPのボトルネックはレイテンシ RFC 7540 2016年7月で30%くらい ヘッダ圧縮で90%圧縮 並走度の向上でパフォーマンス 課題が4つ 課題1: 優先度制御ツリー 重み

まだ型のない言語で消耗してるの？ 静的型付け言語を使おう！ Haskellを触ったことがある人にありがちなこと リスト とか map とか fold とか zip だけやたら詳しい REPLしか触ったことがない ファンクタ、モナドとはなにかググり始めてしまった Haskellはプログラミング言語です！ 実用言語としてのHaskell 高度に抽象な概念はデザパタやビルトイン機能のようなもの プログラムを書けるようになってから振り返ったほうが学習効率が良い 開発環境 Stack いい感じに色々裏でやってくれるビルドツール コンパイラGHCのインストールも任せたほうがいい Intero emacs をいい感じに使えるようにするモード stackによる自動セットアップ 補完とかジャンプとかflymakeとか vim使ってる人はいませんよね？ ライブラリ stackage LTS stackで依存で

このエントリは Haskell Advent Calendar 2016 の N 日目ではありません。1 String_random.js をHaskellへ移植しました。こいつの元ネタは 10年以上前からあるPerlの実装 だと思うのですが、なぜかいろいろな言語へ日本人が移植をしています。 PHP Java golang その中でも JSへの移植 である String_random.js は300行未満のコードで \1 のような後方参照にも対応していているというとんでもない実装だったので、これをベースにHaskellへ移植して string-random というパッケージを作りました。 Haskellへ関数型じゃない言語のコードをどうやって移植するの？ Haskellでは基本的にイミュータブルなデータを使ってプログラミングすることになりますので、アプリが持つ状態は 1). 関数に引数とし

数学カフェのLTで話す予定でしたが、使う機会がなくなったので公開します。 Haskellにおけるモナドとは HaskellではMonadという型クラスでモナドを表現しています。この型クラスは return :: a -> m a 、 join :: m (m a) -> m a　、そして fmap においてモナドが表現されています。色んな人が色んな場で説明していることですから、今さらここで議論を掘り返す必要はないでしょう。 モナドには []、Maybe、State s、Cont r、Reader r、Writer w、IO、などがあります。しかし、みなさんはそれで満足でしょうか？ そんなモナドで大丈夫ですか？ Haskellでもっとモナド モナドをさらにこじらせた人は、 Free モナドや Codensity モナドなどに手を出すでしょう。これらは大変便利なものですが、その珍しさ故これまた

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 2016年9月17日に、 Haskell Day 2016 が開催されます。このエントリでは午前中のHaskell チュートリアルの参加者向けに、チュートリアルの概要と、参加するために必要な準備について説明します。なお、チュートリアルはTurtle.Tutorialに沿って進めますので、本エントリはTurtle.Tutorialを始めるための日本語資料としても利用できるでしょう。 【追記】本編が開催されました。【/追記】 チュートリアルの概要 他言語の経験者を対象に、Haskellでコマンドラインツールを作る演習を開催します。本チュート

ghc-mod を使うのを諦めてもうだいぶ長いのだけど、代わりに intero なるものを見つけた。Emacs専用なのだけど、MacOS上のstackでbuildできるプロジェクトを開発するのであればもうこれだけで十分なんじゃないかってくらい便利。 インストールは interoのインストール手順 に従って init.el などに記述をするだけで、stackで管理されている.hsファイルをemacsで開くだけで、elispのインストールからinteroコマンドのビルドまで全部自動でやってくれる。今まで開発環境の構築に苦しんだ時間は何だったんだって感じ。flycheckは普通に動くし、コードジャンプも型の表示もなんの苦労もなく使えた。(あ、補完試してないや) 余談だが、Windows上でも使えるはずだが、自分の環境では厳しかった(動かしたけど)。自分の環境は、MSYS2 と https://g

Haskell Advent Calendar 2015 の 3日目は、最近 洗濯機 を新調した @hiratara がお送りします。 気が付けばもうクリスマスシーズン、みなさんは今年どのくらいHaskellのコードを書きましたか？ 私は最近はGoとPerlしか書いてないのですが、今年の夏 レガシーなコードをstackでビルドできるようにする ってことをやっていました。今日はその時に出くわしたあるエラーに関連する話を書きます。 イカ 以下がそのエラーなのですが、これを見てパッと対処法が浮かびますか？ src/MO/Run.hs-boot:6:1: Type constructor ‘AnyResponder’ has conflicting definitions in the module and its hs-boot file Main module: type role AnyRe

具体的には https://github.com/golang/go/blob/f78a4c84ac8ed44aaf331989aa32e40081fd8f13/src/net/unixsock_posix.go#L339 の実装。 Go言語でGraceful Restartをする を参考にgoのhttpサーバをServer::Starter経由で起動させたいのだけど、この挙動のお蔭でunix domain socketを使った場合に困っている。 package main import ( "fmt" "log" "net/http" "os" "os/signal" "syscall" "github.com/braintree/manners" "github.com/lestrrat/go-server-starter/listener" ) func main() { go fun

こんな状態 なので今すぐには無理って見解が出てるんだけど、cabalを捨て去らずに頑張ればなんとかなるかもね。誰かのヒントになるかもしれないのでやったことをメモ。 1. stackを普通に使う stack は普通に使いたいので、普通に使う。システムのghcが入っているか、またそれを使うかで多少ややこしくなるけど、今回はシステムに ghc が入っていてある程度使っていて、そこでさらに stack 経由で ghc-7.8.4 を入れたパターン。と言っても、この手順だとシステムのghcで使ってた環境は壊れてそうな気がする。 stack.yamlはこんなの。 最低でも stack build を一度は実行して、 *.cabal ファイルの依存は解決しておく必要がある。 2. ghc-modの調達 stack install ghc-mod で ~/.local/bin へ投入。ただ、 ghc-mo

pipes-parseとは ストリーミングライブラリである pipes の上に構成したパーサを書くためのライブラリ。「入力をパースしてから出力してくれる Pipe」ではないことに注意が必要。つまり、 Data.Conduit.Attoparsec のように Conduit になっているわけではないので、同じ感覚で >-> で間に挟んで使おうとすると面食らうだろう。 読むべきドキュメント pipesが正しいListT相当のモノを提供してますよって前提を理解した上で、Haskell for allのエントリやチュートリアルを読む。yesod webの反応も読むのにいい。でもって、pipes-groupのチュートリアルも肝になるので読むのを忘れちゃいけない。 簡単なまとめ 最初に書いたように Pipe の上に別のフレームワークを作っているのが pipes-parser であり、それぞれ Prod

(Japan) Haskell Advent Calendar 2014 の4日目のエントリです。簡単なRTBのBidderを実装します。入札戦略ではなく、プロトコル周りに焦点を当てます。 RTB(Real-time bidding) RTBはオンライン広告の配信枠をリアルタイムに売買する仕組みです。視聴者が広告枠のあるWEBページを開いた瞬間にオークションが開始され、数百ミリ秒以内に落札者に指定された広告をWEBページに表示させるというものです。オークションを開催する側をSSP(Supply side platforms)、落札する側をDSP(Demand side platforms)と呼びます。詳細は wikipedia の説明をご覧ください。 今回は、オークションに参加するbidderを実装します。つまりDSP側のシステムとなります。既存のHaskellによるbidderの実装とし

数日前に頭の中で考えてた駄文。 モナドによって性質が大きく違うことからモナドは掴みにくいものだってのはよく言われることだけど、それは各モナドのbindの特色がfmapに入っているかjoinに入っているかにも関連するのかなと思った。 例えば、ListやMaybeだと、joinは皮を剥ぐだけで面白いことは何もしてなくて、fmapにその特色が入っている。 instance Functor [] where fmap = map map :: (a -> b) -> [a] -> [b] map _ [] = [] map f (x:xs) = f x : map f xs 逆にStateやIOモナドのfmapは値を普通に関数適用するだけで背後にある状態はまったく触らない。面白いことをやっているのはjoinの方で、状態の変更を外側，内側、と順番に逐次処理する役割を担っている。 join :: (M

こんばんわ、こう見えてもPerl大好きなhirataraです。 PSGIのテストと言えばPlack::Testがデファクトスタンダードで、他にTest::WWW::Mechanize::PSGIやLWP::Protocol::PSGIを使う人もいると思います。 が、最近自分はテストを書くときにPlack付属のHTTP::Message::PSGIを直接使ってます。こいつはPSGIの入出力とHTTP::(Request|Response)を変換する極薄のラッパーです。 大体以下のような決まり文句で使ってます。 use strict; use warnings; use HTTP::Message::PSGI (); use HTTP::Request::Common qw(GET); use HTTP::Response; use Test::More; my $app = sub { [2

lift . return = return lift (m >>= f) = lift m >>= (lift . f) 今まではなんとなくモナドの分配則で語るべき話かと思ってたんだけど、微妙に違うっぽい。具体的には、liftはモナド間の射(monad morphism)として定義されている。確かに、求められる法則を見るとreturnと(>>=)の構造を保持するような規則と読み取れる。 ところで、モナドは関手なので、その間の射であれば自然変換であるべきだ。liftも計算してみるときちんと自然変換になっている。f :: a -> bについて可換性を見てみる。 (lift . (fmap f)) mx = lift(fmap f mx) = lift(mx >>= (return . f)) -- fmapの定義 = lift mx >>= (lift . return . f) -- 法則

OS Xだからってわけじゃないけどハマった。 ミソは、 cpanに上がってるバージョン(0.20013)は古いのでgithubから落とす。 homebrewで入れたmecab-ipadicを使う場合、文字コードをデフォルトから変更する必要があるので--interactiveで実行する って辺り。 % mecab --version mecab of 0.994 % brew install mecab % brew install mecab-ipadic % git clone https://github.com/lestrrat/Text-MeCab.git % cd Text-MeCab % cpanm --interactive . … Encoding of your mecab dictionary? (shift_jis, euc-jp, utf-8) [euc-jp] u

この記事はGit Advent Calendar / Jun.27日目の記事です！ 26日目はhoshina85@githubさんの横着で神経質な私とあなたに贈るgit add -pでした。「Adventってなんなの？」って方は、Wikipediaの解説をご覧下さい。 特定の文字列を変更したコミットを探し出す テンプレの張りつけが終わったところで改めましてこんにちわ、実用Gitの訳者の一人、hirataraです。 7/1の江頭2:50さんの降誕を待ち望むAdventの期間も残り4日間となりました(残り3日間の担当者募集中です！)。今日はGitでつるはしを使って過去の遺物を掘り起こす話を書こうと思います。 つるはしとはpickaxeのことです。pickaxeはgitのサブコマンドではありませんが、gitglossaryやgitdiffcoreのドキュメント中で言及されていたり、diffcor