Content-Length: 272486 | pFad | http://b.hatena.ne.jp/baboocon19820419/tanakh/
この記事は Haskell Advent Calendar 2016 の9日目の記事です。 とか云ってもう11日ですね、ホントすみません。 8日目は @phi16_ さん、10日目は @bra_cat_ket さん でした。 Haskell を書き始めてはや5年、Monad や Applicative は使いこなしているけど、それ以上の抽象化のレパートリーを増やせていないと感じていました。 何となく「型レベルプログラミング」という言葉に興味はありつつも、具体的に何を学べば型レベルプログラミングができるようになるのか分からずにいたのです。 そんなあるとき、コマンドラインパーザーのライブラリを探している中でこんな記事を見つけました。 qiita.com タイトルに「宣言的な型レベルコマンドラインパーザー」とあります。このライブラリが内部で何をしているのか追っていけば型レベルプログラミングってや
このページについて ページのフッタに書いてあるので、お気付きの方もいらっしゃるかと思いますが、 このページは Hakyllと Pandocと Mighttpdにて運用されています。 完全なソースコードを https://github.com/tanakh/tanakh.jp から参照できます。 HakyllとはHaskellによる静的ページ生成ツールで、 Jekyllにインスパイアされて作られたものだそうです。 JekyllがRubyによって書かれ、Rubyによってページの構造を記述するのに対して、 HakyllはHaskellによって書かれ、Haskellによってページの構造を記述します。 Pandocとはいろいろなドキュメントフォーマットのコンバータです。 Haskellで書かれています。さすがにもうHTMLを手で書きたくはない、 かついろいろなブログの独自のフォーマットなんて覚えてい
前の記事を書いてから随分時間が開いてしまいましたが、 今年の二月の終わり頃に、Tsuru Capitalというところに就職しました。 この記事を見てかどうかはわかりませんが、先方からお誘いいをただいて、 これは渡りに船とばかりに働かせていただくことになりました。 いろんな方にご心配をいただきまして、大変ありがとうございました。 身体面の健康も随分良くなりまして、今では元気に暮らしております。 Tsuru Capitalは自動株取引の会社で、ご存じの方はあまり多くないかもしれませんが、 Haskellでシステムを開発していて、日本国内に数えるほどしかないHaskellで仕事できる会社の一つです。 当然ながら、私も毎日Haskellを書いています。 会社で働いてる人もほぼ全員Haskellが書けます。 なんというか、Haskellで開発しているからそれは当たり前なんですが、 これが当たり前って
ここは田中英行(Hideyuki Tanaka, a.k.a tanakh)の個人ページです。 Recent Posts Run Rust code on PEZY-SC processor - December 20, 2016 RustのコードをPEZY-SCというプロセッサーで動かしてみる PEZY Computing 求人情報 - January 20, 2016 第12羽「転職は僕の決定的瞬間」 - December 25, 2015 ごちうさ Advent Calendar 2015 友利奈緒とコミュニケーションするアプリ - December 20, 2015 友利奈緒 Advent Calendar 就職しました - July 12, 2015 就職しました …or you can find more in the archives. Copyright (c) 2011-
皆さん、Windowsでコマンドライン使ってますか? まともなターミナルエミュレータすらないと思っている方もいらっしゃるかもしれませんが、案外何とかなるものです。 これが完成図です。1週間ほどいろいろ試した結果、動作、見た目、フォントレンダリング、どれもおおむね満足行く結果になりました。 Terminal Emulator選び Windowsをお使いの皆様ならご存じかとは思いますが、デフォルトのTerminal Emulatorである cmd.exe が良くないです。 挙動、フォント云々の話をするまでもなく、横幅が80文字固定なのがどうしようもありません。 プロパティのレイアウトのところから幅の変更ができるようでした。ご指摘ありがとうございます。 この辺を見てWindowsで動作するものを一通り試してみたのですが、動作がおかしいか、フォントが気に入らないか、プロプライエタリかで、どれもよく
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Fetched URL: http://b.hatena.ne.jp/baboocon19820419/tanakh/
Alternative Proxies: