プログラミング on 黒曜の吹き溜まり

セトリを見ながら感想を書けるサービスを作りたかった話

Sun, 22 Dec 2019 23:17:40 +0900

この記事はアイドルマスター Advent Calendar 2019の21日目の記事です。思いっきり締め切りをぶっちしました……

それもこれも、シャニマス2ndのチケットをくれないイープラスってやつの陰謀なんです……

pic.twitter.com/Fwb8onkI5W
— 黒曜@デレ7thナゴド両日現地 (@kokuyouwind) December 21, 2019

嘘です、普通に間に合いませんでした。

📝 ライブの感想をピンポイントに共感したい問題

突然ですが、みなさんライブに行くと「この曲の感想を知りたい」みたいな気持ちになりませんか？

例えば、プロデューサー感謝祭で突如特殊イントロから始まった「NEO THEORY FANTASY」とか……

例えば、演出なしでたった一人、センターステージでほたるちゃんが歌い上げた「谷の底で咲く花は」とか……

ライブの中でも、特にその曲についての感想を知りたい！語り合いたい！「よかった……」「それな……」って共感したい！ってなると思うんですよ。というかなった。

とはいえ、こういった感想をピンポイントで探すのは結構困難です。

ライブが終わるとTwitterでは「自分のエモ」をみんなが好き好きに語りだしますし、ツイートに曲名をしっかり入れているとは限りません。また時間が立つとTwitterでは探せなくなってしまいます。

一方、いわゆるライブレポ記事は公演ごとになっており、そのなかから特定の曲の感想を探してまわるというのは大変ですし、「わかる、それな！」したいという軽い気持ちがどんどん失われていきます。

🎵 曲ごとに感想をつけるサービス

そもそも、ライブの感想は「頭から順」に思い出すより、セトリを眺めて「この曲はここがよかった」「あ、この曲はエモの塊だった」みたいに順不同で考えることが多い気がしますよね。

ということは、「セトリを見ながら感想を曲ごとにつける」サービスがあれば、公演通したレポートも書きやすいし、曲ごとの感想を横串で見ることもできるのでは？

と思って試しに作ってみたのがshiny-liveというアプリです。

先に謝っておくと、とりあえず作ってみましたが穴が多いのであんまり実用的ではないです。あと、データを入れるのが大変だったのでシャニマスのライブしか入ってません。

というわけで、今回はこのアプリの話をします。

Rubyパターンマッチを闇の力でアクティブにする

Fri, 29 Nov 2019 12:44:45 +0900

この記事はMisoca+弥生 Advent Calendar 2019の1日目です。

もう12月ですよ、12月！

記事の内容とはなんの関係もありませんが、デレステにM@GICが実装されましたね。

アニメを思い起こさせる最高のMVでした……

💎 Rubyのパターンマッチ

Ruby 2.7で、ついにパターンマッチが導入されますね。

今はRuby 2.7.0-preview3で試すことができます。正式にリリースされるのは、おそらく例年通り12月25日でしょうか。

パターンマッチ機能の使い方をざっくり書くと、case ... in ...のような形でパターンマッチを行える機能です。

case { key: :value}
in { key: x }
  p x # => :value
end

詳しい話はRubyKaigiでの発表スライドのほか、メドピアさんの「Ruby2.7の(実験的)新機能「パターンマッチ」で遊ぶ」がよくまとまっておりわかりやすいです。

🐫 F#のアクティブパターン

ところで、F#ではアクティブパターンという機能を使うことができます。

これは、パターンへの分解を、マッチ対象とは別に定義できるものです。

let (|Even|Odd|) input = if input % 2 = 0 then Even else Odd

let TestNumber input =
   match input with
   | Even -> printfn "%d is even" input
   | Odd  -> printfn "%d is odd" input

TestNumber 11 (* 11 is odd *)
TestNumber 32 (* 32 is even *)

上記のように、マッチ対象となる数値とは独立してEvenとOddというパターンを定義することができます。

さらに、パターンへの分解方法を変えることも可能です。

let (|RGB|) (col : System.Drawing.Color) =
     ( col.R, col.G, col.B )

let (|HSB|) (col : System.Drawing.Color) =
   ( col.GetHue(), col.GetSaturation(), col.GetBrightness() )

let printRGB (col: System.Drawing.Color) =
   match col with
   | RGB(r, g, b) -> printfn " Red: %d Green: %d Blue: %d" r g b

let printHSB (col: System.Drawing.Color) =
   match col with
   | HSB(h, s, b) -> printfn " Hue: %f Saturation: %f Brightness: %f" h s b

上記のように、Color型に対してRGB値で取り出したりHSB値で取り出したりすることができます。

Rubyのパターンマッチでは、パターンへの分解はマッチ対象のdeconstructやdeconstruct_keysを使うため、分解方法を切り替えるにはRefinementを使うのが現実的な落とし所です。

一般的な回答としてはRefinements使ってくださいですかね。その場合RGBかHSVかの使い分けはRefinementsのスコープが最小範囲になりますが。
— k_tsj (@k_tsj) November 19, 2019

deconstructなどをパターン側ではなくマッチ対象側に持たせた理由は、辻本さんがn月刊ラムダノート Vol.1, No.3に書かれていました。設計判断の話や他言語との比較もいろいろ言及されていて興味深かったです。

……が、それでもF#っぽい書き方をしたい！と思ったのでそれっぽい実装を考えてみよう、というのが今回のテーマです。

ちなみに「闇の力」とタイトルに入っていますが、実装してみたらTracePointとかISeqとかを使わない形に落ち着いたので若干釣りタイトルになっています。

esa.ioからの記事更新でカード画像を設定する

Sun, 14 Jul 2019 23:17:14 +0900

以前の記事で紹介したとおり、このブログはesa.io内の特定カテゴリに書いた記事が、Hugo+Netlifyによって自動で反映されるようになっています。

この際、記事のFrontmatterはesa.ioのGitHub WebHookによって自動で設定されるため、記事ごとの画像を設定することができずサイトアイコンを表示するだけにしていました。

しかしながら今どきTwitterCard画像に非対応というのも寂しいので、少し頑張ってみた結果、以下のように記事ごとの画像をTwitterCardに入れられるようになりました。

先日書いたデレステの記事も、スクショをいい感じに設定できて楽しいです。

ブログをちょっと弄ってSummary Card with Large Imageを使えるようにした。だいぶ見栄えが良くなったので満足。 https://t.co/WSResAOUHM
— 黒曜 (@kokuyouwind) July 14, 2019

ものすごく簡単なアイディアではあるのですが、どうやったのかをまとめておきます。

ポートフォリオサイトをGatsbyJSでリニューアルしました

Wed, 01 May 2019 21:58:42 +0900

元号が変わり令和を迎えた昨今、皆様いかがお過ごしでしょうか。

自分は「ゴールデンウィークもう半分過ぎたの？早すぎるのでは？？？」という気持ちでいっぱいです。

連休始まってから、まだ3日くらいしか経ってない気がする……

📋 ポートフォリオサイト

ゴールデンウィークに目標としていたことのひとつに「ポートフォリオサイトをリニューアルする」というのがありました。

実はブログの他にポートフォリオサイトも作ってあったんですが、こいつも以前のブログと同じくWordPressで作っていたので、いい加減なんとかしようと思ったわけです。

ブログと比べてコンテンツが少なく移行が簡単そうだったのと、タイルデザインでSPAっぽかったのでGatsbyJSを使って作り直すことにしました。

そんなわけでこんな見た目のサイトになりました。

記事の管理はNetlify CMSからできるようにしています。

こんな感じで記事が一覧できるし、

こんな感じで記事を作ったり手直ししたりできます。便利！

実際に手を動かしたのは昨日と今日の2日間くらいなので、割とさっくり作れたんじゃないかなーと思います。

ブログをHugo+Netlifyに載せ替えました

Sun, 07 Apr 2019 20:22:26 +0900

このブログはConoHa VPS上に載せたWordPressで動かしていたんですが、こまめにバージョン上げるのも大変だし、書くためにダッシュボードにいくのもめんどいし…… ということで、静的サイトジェネレータに載せ替えることにしました。

移行した構成は以下のような感じです。

WordPressの過去記事をwordpress-to-hugo-exporterで変換して archives 以下に配置
esa.ioから書いた記事をGitHub Webhookでposts以下に配置
Hugoでまとめてビルドし、Netlifyから配信

という感じにしました。

これにより、過去記事は同じURLに残したまま、今後はesa.ioの特定カテゴリ以下に記事を作るだけでブログが更新できます。

便利ー。

まぁ例によって色々引っかかったり諦めたこともあるので、そのへんをぼちぼちと書いていきます。

Google Homeからつらいときに挙げる札を挙げる

Sat, 09 Dec 2017 15:18:41 +0000

この記事はMisoca Advent Calendar 2017の10日目です。
昨日の記事は@toyoshiの開発以外の仕事でやってるちょっとした自動化の紹介でした。

今日はもともと時報ボットについて書くつもりだったんですが、急にGoogle Home半額セールが来た結果、いろいろ遊んだのでそっちに変えました。

先に結論から話すと、このツイートが全てです。

Google Homeに「厳しい」って話しかけると、「つらいよねー、わかるー」って言いながらSlackで札を挙げてくれるようになりました。いつ使うんだこれ pic.twitter.com/nazdm0E16x
— 黒曜 (@kokuyouwind) December 9, 2017

tipmonaで投げ銭するボタンを作った

Sun, 11 Jun 2017 10:57:21 +0000

@hyukiさんが@tipmonaで簡単に投げ銭するためのブックマークレットを作っていたので、試しに使って遊んでみました。

「tipmonaで手軽に投げ銭できるブックマークレット」を作りました。モナーコインをtipmona経由で贈りたい相手のツイートを表示した状態でTipmonaTipBookmarkletを起動します。詳細は以下に。https://t.co/uCkgMxIlQd
— 結城浩 (@hyuki) June 10, 2017

型安全性とは結局何なのか

Thu, 08 Dec 2016 17:42:31 +0000

この記事は第2のドワンゴ Advent Calendar 2016 の8日目です。
日付を跨いでいる？またまたご冗談を、DST(ドワンゴスタンダードタイム)ではまだ8日ですよ。

ちなみに前日は…なんと誰も参加登録をしていませんでした！
結構な勢いで埋まってたんですけど、唯一の空きですね。
前々日はdaneko0123さんでした。

一昨年のアドベントカレンダー記事が「関数型プログラミングとは結局何なのか」、去年の記事が「オブジェクト指向プログラミングとは結局なんなのか」ということで、3年目ともなると記事の方向性が固まりつつある雰囲気が漂いつつ、ネタ切れの空気も漂いつつあります。
そもそも去年の時点で既にドワンゴ社員ではないのにアドベントカレンダーには参加し続けている、というのもアレな話ですが。

なにを書くか考えたのですが、最近null安全に関する記事が話題になり、その中で「型」と「安全性」という2つのトピックについて知られていない部分が多そうだと思ったので、プログラムで扱われる「型」とは何か、型が保証する「安全性」とは何か、についてまとめてみたいと思います。

プログラマ向けの脱出ゲームを作った話

Fri, 08 Apr 2016 12:40:00 +0000

最近、リアル脱出ゲームにハマっています。
知らない人向けにSCRAPのリアル脱出ゲームサイトから引用すると、

ある部屋にあなたは突然閉じ込められる。周りには同じ境遇の人たちがたくさんいる。
部屋にはさまざまなアイテム、暗号、パズルが隠されているようだ。
暗号を解き、鍵を開き、箱を開け、制限時間内に最後の鍵を手に入れることができれば
あなたは脱出に成功する。

といったゲームです。
ただし、謎の難易度はすこぶる高く、脱出率は1桁パーセントというレベル。
SCRAPの公演でも、

ただし、子供だましの簡単な謎ではありません。名探偵気取りでお越し下さい。

と書かれるのがお約束になっています。
実際やってみるとわかるんですが、パズルだけではなくひらめきの必要な謎も多く、解けなかったときのはがゆさと、解けたときの達成感がやみつきになるゲームです。

さて、実はプログラマ向けの脱出ゲーム「コードルームからの脱出」が、SCRAPとCodeIQのコラボで以前に実施されていました。
自分はプレ問題だけプレイして本番には参加しそびれたのですが、解説を見ると脱出ゲームの雰囲気を感じてもらえるかと思います。

こういうゲーム、もっと色々あってもいいと思うんですが、ざっと探した限りではあまり数を見つけられませんでした。
個人的な印象ですが、こういうゲームが好きなプログラマは多そうな気がしますし、プログラマならではの謎みたいな面白いものも作れそうなので、もっと流行ってもいいんじゃないかなーと思います。

というわけで、作ってみました。

タイトルは、「あるリポジトリからの脱出」。
タイトルから想像がつくかもしれませんが、gitを使った脱出ゲームです。

オブジェクト指向プログラミングとは結局なんなのか

Sat, 05 Dec 2015 12:16:32 +0000

この記事は第2のドワンゴ Advent Calendar 2015の5日目です。
ちなみに前日は@deflisさんでした。
先日の記事で分かる通りドワンゴ社員()なのですが、まぁ@mesoさんが「厳格な管理とかめんどくさいので、元社員も参加すればいいんじゃないかな。」とか言ってるしお目こぼし頂きたく…

去年のアドベントカレンダー記事は「関数型プログラミングとは結局なんなのか」というタイトルで、関数型プログラミングという語が何を指していて何を指していないのか、みたいなことをなるべく平易にまとめました。
なので今年は「オブジェクト指向プログラミング(以下OOP)とは結局なんなのか」という記事にしてみた…のですが、なにぶん語の指す範囲が広く、また自分も理解しきっているわけではないので、多少不正確な点があるかもしれません。
「関数型は流行りだけど、今更OOPかよ」とか思われるかもしれませんが、お付き合いいただければと思います。

OOPという語の曖昧さ

さて、一口にOOPといっても、人によってイメージするものがバラバラである可能性があります。
「動物クラスを継承した犬クラスと猫クラスが」とか「グワッと鳴けばアヒル」といった話から、「イマドキのオブジェクト指向はドメイン駆動でヘキサゴナルアーキテクチャだ」みたいな話までいろんなイメージを持つ方がいると思いますが、今回はオブジェクト指向の本質的な思想の部分を中心にまとめる予定です。

ところが困ったことに、OOPという語は2つの異なる系譜があったりします。

アラン・ケイがSmalltalkで提唱したOOP
ストラウストラップがC++で提唱したOOP

現在は、後者濃い目でこれらが混ざり合ったものに加えて

プログラミングではなく設計・モデリングの話

までOOPの範疇で語られていることも見かけることがあります。
これらの区別をつけないと議論の土台から噛み合わなくなってしまう可能性があるため、以降これらを区別して「アラン・ケイのOOP」「ストラウストラップのOOP」「オブジェクト指向のモデリング・設計」と呼び分け、順に見ていくことにします。

ConoHaのオブジェクトストレージをPaperclipから使う

Sun, 26 Jul 2015 12:37:02 +0000

清楚かわいいConoHaちゃんが、APIのレビュー記事を書くとクーポンをくれるらしいので、全力で乗っかっていこうと思います。

(画像はこのは通信室より引用)

今回利用してみるのは、ConoHaのオブジェクトストレージです。
これは基本的にOpenStack Swiftを使って実現されており、API仕様もOpenStack Swift APIとほぼ同じ内容になっています。

APIが互換であれば、OpenStack Swiftを扱えるシステムからConoHaのオブジェクトストレージも扱うことが出来るはずですね。
そんなわけで、試しにRuby on Railsで画像アップロードをお手軽にできるPaperclipのバックエンドをConoHaのオブジェクトストレージにしてみましょう。

strtotimeとtimestampの素敵な関係

Thu, 18 Jun 2015 16:06:58 +0000

基本的には関数型言語推しですが、業務では諸事情でPHPを使っています。
色々と罠の多い言語であることは知っていたんですが、先日「これはあんまりだろ…」という挙動を踏み抜きました。
軽くググった限りでは同様の事例紹介が見当たらなかったのと、あまりにも衝撃的だったため記事として残しておきます。

前置き:MySQL DATETIMEとstrtotime

PHPerな諸氏におかれましては、strtotimeが色々と頑張りすぎるせいでハマったことは1度や2度ではないのではないでしょう。
例えばMySQLのDATETIMEで未定義を表す 0000-00-00 00:00:00を32bit環境でstrtotimeに渡すとfalseになります。
ドキュメントを見ると

返り値 ¶
成功時はタイムスタンプ、そうでなければ FALSE を返します。 PHP 5.1.0 以前ではこの関数は失敗時に -1 を返します。

と書かれており、「そうか、日付として不正だから解釈に失敗してfalseを返したんだな。0月とか存在しないし」と思ってしまいそうになるんですが、同じコードを64bit環境で実行すると以下のようになります。

$ php -r 'var_dump(strtotime("0000-00-00 00:00:00"));'
int(-62170016400)

謎の数値が出てきました。
これが一体いつを表しているのか、さらにdate関数を掛けて確認してみます。

$ php -r 'var_dump(date("Y-m-d H:i:s", strtotime("0000-00-00 00:00:00")));'
string(20) "-0001-11-30 00:00:00"

つまり、PHPはMySQLのDATETIMEの未定義値を「マイナス1年11月30日の0時0分0秒」とみなしていることがわかります。
実はPHPでは0月が「前年の12月」を、0日が「前月の最終日」を、それぞれ表すと解釈されるので、0年の1ヶ月前の更に1日前で-1年11月30日という日付が導かれるんですね。
32bit環境でfalseが返っていたのは、日付として不正だからでも何でもなく、単に「表現できる整数値の範囲を超えていたから」という理由だったわけです。

この挙動の違いは公式ドキュメントのコメント欄にさんざん書かれているので知っている人も多いと思います。
一方、今回踏んだ挙動は発生条件がかなり限られていることと、そもそも普通はそんなことしないだろう、という辺りであまり知られていないだろう挙動です。
あ、ここまでが前振りです。長くてすみません。

すごいHaskell本の演習問題を公開しました(5章まで)

Sun, 21 Dec 2014 07:59:16 +0000

最近、会社で「すごいHaskellたのしく学ぼう!」の勉強会を主催しています。

内容としては週1回、1時間かけて本を読み進めつつ、例を実際に動かしたり、分かりづらい部分を自分が補足したり、気になる部分をお互い教え合ったり、といった形で進めています。
前回主催した型システム入門の勉強会はあっという間に参加者が減って頓挫したものの、今回は8回目時点で参加者がほとんど減っておらず、よい感じに続いています。

ところで、すごいHaskell本は説明順序も適切ですし、例も豊富にある良い本なのですが、勉強会を進めて不満に思うことが出てきました。
それは、自分で考えて手を動かすための演習問題が一切ないという点です。
例が豊富にあるとはいえ、プログラミングの醍醐味は「どうやって解くかを考えて、それをプログラムに落としこむ」ところにあると自分は思っています。
また、そうやって問題を解くことで記憶も定着しますし、必要な知識が身についているかの理解度チェックにもなります。

そういうわけで、社内勉強会では章が終わるごとに演習問題を解いて理解を確認してもらう、ということを行っています。(宿題というわけではなく、任意で解きたい人だけ解いてもらうような感じです)
この演習問題、もともとは社内Githubにまとめていたのですが、社外から見れないと不便であることと、特に社外秘の情報というわけでもないことから、Githubに公開することにしました。
現在勉強会が5章までしか進んでいないので、5章分までの公開です。

すごいHaskell本を自習している方や勉強会をしている方、もしくは単にHaskellの問題を解いてみたい方など、ご自由に利用していただければと思います。
なお、問題作成にあたり自分で解けることは確認していますが、記述に間違いがあったり分かりづらい部分があるかもしれません。
そういった場合はメールかTwitterで@kokuyouwind宛てにリプライをいただければと思います。

問題を作るにあたり、なるべく作業的にならないよう、面白い題材を選んだつもりです。
以下では章ごとの問題について、どんな題材をテーマに何を狙って問題を作ったかの解説を書いていきたいと思います。

関数型プログラミングとは結局何なのか

Sat, 13 Dec 2014 16:47:25 +0000

この記事はドワンゴ Advent Calendar 2014の14日目です。
ちなみに前日は@erukitiさんでした。
他の方は「こんなもの作ってみた！」系の記事が多いのですが、技術系の話題であれば特に縛りはないようなので、今回はひたすら文章をつらつらと綴っていきたいと思います。

ここ数年、「マルチコア時代の主流は関数型だ」とか「Javaはもう古い！時代は関数型！」といった記事をよく見かけるようになった気がします。
大学でOCamlを学んできた自分としては嬉しい限りなのですが、なんだか関数型という言葉がバズワード的な使われ方をしている気がして、まるで「現在起こっている全ての問題を解決する銀の矢だ！」といわんばかりの雰囲気を感じるのが気になっています。
最近うちの部署でもにわかに「関数型っぽく書こう」みたいな機運が高まってることもあるので、この機に関数型プログラミングとはなにか、どのような特徴があって何に向いているのか、みたいなことをまとめてみたいと思います。

鉄道指向でこころがぴょんぴょんする解説

Mon, 08 Dec 2014 15:19:41 +0000

前回鉄道指向でこころぴょんぴょんする記事を書いたところ、会社の同僚から「鉄道指向ってなんだい？わけがわからないよ。あと、この記事はどの辺がごちうさに関係あるんだい？」というありがたいコメントを頂きました。
そんなわけで、今回は前回書いたプログラムについて、鉄道指向と絡めて解説したいと思います。
なお、鉄道指向について詳しく知りたい場合は鉄道指向プログラミングの翻訳記事を読んでいただいたほうがわかりやすいかと思います。

さて、ざっくり鉄道指向について説明すると、「成功(Success)と失敗(Failure)の2種類の値を返すような関数を鉄道のスイッチに見立てて、この関数を組み合わせて広大な路線=プログラムを組み立てていく」というプログラミングスタイルです。
例えば何らかのWebアプリケーションを、以下のようなブラックボックスと考えてみましょう。

ApplicationからSuccessとFailureの2本の矢印が伸びていますが、これはSuccessとFailureの両方を返すわけではなく、状況に応じていずれか一方を返すという意味です。
鉄道の路線と同様、通るのはどちらか一方だけ、ということですね。
またSuccessとFailureはどちらの路線かという情報とは別に、更に詳細な情報を持つことが出来ます。
上を通る列車が、詳細な情報を荷物として載せているイメージです。

このような「SuccessとFailureのいずれかを返す型response」は、OCamlでは代数的データ型を用いて以下のように書くことが出来ます。

type ('a, 'b) response = Success of 'a | Failure of 'b

‘aがSuccessの時に保持している詳細情報の型を、’bがFailureの時に保持している詳細情報の型を、それぞれ表しています。
例えば成功した時に数値を、失敗した時に文字列を詳細情報として持つような型は

(int,string) response

という型になります。
Success(1)やFailure(“入力した数値が不正です”)などは(int,string) response型の値です。

第2羽関数を愛した言語と鉄道指向に愛された言語

Mon, 01 Dec 2014 15:04:30 +0000

この記事はごちうさ住民 Advent Calendar 2014の2日目です。
あとタイトルは内容にあんまり関係ありません。

みなさん、心ぴょんぴょんしてますか？
今日は、鉄道指向を使って心ぴょんぴょんしてみたいと思います。

まずは、鉄道指向プログラミングの翻訳記事を参考に、鉄道指向で用いるResultモジュールを定義します。

type ('a, 'b) t = Success of 'a | Failure of 'b
let succeed x = Success x
let fail x = Failure x
let either successFunc failureFunc = function
  | Success s -> successFunc s
  | Failure f -> failureFunc f
let plus addS addF f1 f2 r = match f1 r, f2 r with
  | Success s1, Success s2 -> succeed @@ addS s1 s2
  | Failure f1, Success _  -> fail f1
  | Success _ , Failure f2 -> fail f2
  | Failure f1, Failure f2 -> fail @@ addF f1 f2

続いて、こころぴょんぴょんする関数を定義していきましょう。

let failOnMod n' msg n = if n mod n' =  then Failure msg else Success n
let aa     = failOnMod 3 "あぁ^～"
let kokoro = failOnMod 5 "心が"
let pyon   = failOnMod 7 "ぴょんぴょんするんじゃぁ^～"
let (&&&) = plus const (^)
let gochiusa = aa &&& kokoro &&& pyon >> either string_of_int id
 
let () = List.iter (gochiusa >> Printf.printf "%s\n") (1--105)

一部定義をすっ飛ばした関数がありますが、些細なことなのでUtil.mlのソースを見て下さいね。
では、さっくりMakeして実行してみましょう。

会社のLTでOCaml/Ocsigenについて発表しました

Mon, 14 Jul 2014 15:18:21 +0000

うちの会社は割といろんな言語を使っているエンジニアがいるのですが、OCamlerは少なそうだったのでOCamlを布教するべく、OCamlでWebサービスが作れるOcsigenの紹介LTをしてきました。

簡単にOcsigenを題材に選んだ流れをまとめると、
　先週月曜(2014/07/07)に全社ハッカソンがあった
→せっかくなのでOcsigenでなんか作りたかった
→チュートリアルの途中で力尽きた
→社内LTの発表順が翌週だったので、土日使ってチュートリアルを最後まで終わらせてネタにすることにした
というような感じでした。

本当はチュートリアルで終わらずにアプリを作りたかったのですが、思いのほか環境構築のほうに手間取ったためにたどり着けませんでした…
まぁ思いのほかOcsigenのモジュール構成が複雑だったので、ある程度習熟しないと一朝一夕でなんか作るのはしんどそうでしたが。

OCamlでBefungeインタプリタを実装してみた

Tue, 13 Dec 2011 16:06:44 +0000

なぜかふと思い立って、BefungeのインタプリタをOCamlで実装してしまいました。
Befungeってどんな言語？　というと、↓がHello,worldのソースファイルになるような言語です。
ちなみにこのソースはWikipediaのものをそのままお借りしています。

v @_       v
>0"!dlroW"v 
v  :#     <
>" ,olleH" v
   ^       <

WP-Codeboxでハイライトされない……
まぁ、さすがにこんなところまでサポートしてないですよね。
Brainfu*kはあるみたいですが。

OCamlでカウンターモジュール

Tue, 13 Dec 2011 05:04:22 +0000

副作用はなるべくないほうがよい。
それはそうなんですが、副作用を使ったほうが効率がよかったり、コードの見通しが良くなったりすることもよくある話です。
例えば、以下のような単純な表示関数printを考えます。

let print s =
  Format.printf "%s@." s

当然ながら、呼び出すと以下のように引数の文字列をそのまま表示します。

# print "a";;
a
- : unit = ()
# print "b";;
b
- : unit = ()
# print "c";;
c

OCaml標準ライブラリの拡張

Fri, 09 Dec 2011 15:31:54 +0000

OCamlで使える標準ライブラリは、最初に触れた時こそ「すげー、集合とか標準で使えるの！？」とか思ってたものの、実際触っていると「あれ？　Setってof_listないの？」とか「え？　リストのconsって関数として用意されてないの？」とか「うわっ……私の年収、低すぎ……？」など、いろいろな不満が出てきます。最後のは関係ありませんが。

調べてみたところ、あれは標準ライブラリではなくすとっどりぶなのですね……
それならしょうがない。
普通ならCoreとかBatteriesとか入れるんでしょうが、変な依存性入れたくないですし、これまで組んだプログラムを修正するのも面倒なので、勉強も兼ねて自分で互換性持たせたまま拡張してみることにしました。
先日、OCamlでモナドっぽいものを作ったという記事を書きましたが、それも拡張の一貫ですね。
というわけで、覚え書きも兼ねて、詰まった部分などをまとめておきます。

Haskellの資料まとめ

Wed, 07 Dec 2011 01:38:04 +0000

モナドを勉強するに辺り、やはり進んでいるのはHaskellらしく、調べてるだけでHaskellに関する情報がぼろぼろ出てきたのでその辺をご紹介。

まず、「モナドのすべて」さん。
モナドの基礎についてかなり詳しく書かれています。
Haskellについて知らなくてもなんとなくはわかったので、特にOptionモナドやListモナドを実装する上で参考にさせて頂きました。

OCamlでモナドっぽいものを作る

Tue, 06 Dec 2011 16:49:56 +0000

ライブラリの拡充と関数型言語のお勉強を兼ねて、モナドっぽいものを実装して見ました。
単純にモナドをOCamlで使いたいだけならMonad拡張を入れる方が手っ取り早いですが、あまり外部ライブラリへの依存性を入れたくないのと、OCamlの記法の中だけでどこまで出来るか試してみたかったので。
ちなみに誤解を避けるため先に断っておきますが、自分はHaskellerではありません。
以下ではモナドに関してHaskellをかなり参考にしていますが、Haskellのモナドに対する勘違いなどが含まれている可能性があります。
ご了承下さい。

擬似中置記法

Tue, 06 Dec 2011 07:06:16 +0000

OCamlでは、modは特別扱いで中置記法として定義されています。

# (mod);;
- : int -> int -> int = 
# 5 mod 3;;
- : int = 2

たとえばこの別名でremという関数を作りたくても、これを中置記法で定義することは出来ません。

# let (rem) x y = x mod y;;
Error: Syntax error

これは、中置演算子として定義できる文字列が、記号の特定の組み合わせ、もしくは予約された文字列、というふうに決められているからですね。
中置演算子として予約された文字列にはor,mod,land,lor,lxor,lsl,lsr,asrがあります。
(参考：公式マニュアルのinfix-opの項)

不動点と不動点コンビネータ

Tue, 06 Dec 2011 05:54:16 +0000

ある関数について、となるが存在するとき、をの不動点といいます。
また、に十分近いに対し、列がに収束するとき、はの吸引的不動点である、といいます。
(参考:Wikipedia)

吸引的不動点は、値が変化しなくなるまで関数適用を繰り返すだけなので、プログラムで簡単に書くことができます。
以下のfixは初期値xからfの吸引的不動点を求める関数です。
汎用性のため、一致検査関数はequalとして引数で取ります。

let rec fix equal f x =
  let x' = f x in
    if equal x x' then x
    else fix equal f x'

第一級モジュール

Mon, 05 Dec 2011 06:58:56 +0000

OCamlには、3.12から「第一級モジュール」の機能が加わっているらしいです。
第一級モジュールとは、第一級オブジェクトとしてモジュールが扱える、つまり変数や関数と同じように関数への受け渡しや代入操作が出来るものです。
公式マニュアル7.14 第一級のモジュールに詳しい説明があります。

let多相と値多相

Sun, 04 Dec 2011 06:57:14 +0000

先日、関数合成を使うと、無駄なletやfunを減らせていいよね、という話をしました。

let (>>) f g x = g (f x)

で、関数合成を多用していると、2引数関数に対しても合成をしたくなる局面が出てきます。
たとえば、compareを元にしてequalを作ろうと思った場合、素直なコードは以下になります。

let equal x y =
  compare x y =

これは、「xとyをcompareして、その値が0と等しいかを検査する」という関数になります。
これをcompareと(=) 0の関数合成で書こうとするとさっきの関数合成関数ではできません。(後述するカリー化とアンカリー化を使えば出来ますが)

OCamlでSetをmapする関数

Wed, 30 Nov 2011 14:06:25 +0000

今日も今日とてOCamlでプログラムをガリガリ書いていたのですが、どうしても気になってSetをmapする関数を作って見ました。
とはいえ、さすがにSetに組み込むのは無理なので、外部で似たようなことをやるための汎用関数ですが。

let mapper folder adder empty f s =
  folder (f >> adder) s empty

こんな感じです。

F#のパイプライン演算子・関数合成をOCamlで実装

Tue, 29 Nov 2011 08:44:19 +0000

最近F#が気になっているのだけれど、F#で魅力を感じる機能の一つに、パイプライン演算子というのがあります。
これはUnixのパイプライン処理に類似するもので、値をある処理に与えて、その結果をまた別の処理に与えて……というのをかなり見やすく記述できる、というものです。
例えば、リストの各要素を2乗してから和を取る、という関数sqr_sumは、素直に書くと次の様になります。

let sqr_sum l = List.fold_left (+)  (List.map (fun x -> x * x) l)

まぁ読めなくはないですが、どこから処理されるのか一瞬迷いますよね。
もっと複雑に、リストのうち奇数であるような要素のみを取り出し、これを2乗して和を取る、なんてのを書いてみましょう。

OCamlのSet.Sにmap関数はない

Sun, 27 Nov 2011 07:52:58 +0000

最近研究でOCamlのSetやMapを多用するんですが、Set.Sの中にmap関数はないんですね。
タプルの特定要素を取り出したり情報を付与したりするときにSet->Set変換する必要があるんですが、いちいちfoldするのが面倒……
Listなんかにはmap関数があるのであってもよさそうなものですが、よく考えるとこの関数、型として表現が難しい(というかできない)のですね。

Setはファンクターなので、例えばint型のSetなら(作れないですが)

int Set

ではなく

module IntSet = Set.Make  (struct    type t = int    let compare = compare   end)

といった感じになります。
要素の型や比較関数をまとめてストラクチャーとしてファンクターに与えることで、内部の型が固定されたストラクチャーが返されるわけです。

んで、ファンクターの内部では集合自体の型はt、要素の型はeltで表されてるわけです。例えば

empty : tadd : elt -> t -> t

といった具合です。(OCamlマニュアルより)
ところがここでmap関数を考えると、

map : (elt -> 'a) -> t -> 'a set(?)

といった具合で、出力が’aを要素とするSetになるわけですが、当然ファンクターはそんな型を知らないので定義できません。
with type構文とか使えないかなーと一瞬考えましたが、あれはSet.Sに型を与えてシグネチャを作るだけでしたね。全然関係ないです。