＞OCaml の全ての GUI ライブラリは状態は副作用を使うことを前提にメインループが設計されているからです。これを乗り越えるとすると @Lambada さんのようにメインループ自体を自分で書く事になり、一般的にはスケールしません。Haskell の GUI ライブラリでは普通は状態は State なり IO を含む GUI モナドを使って書く事になりますが、そのような GUI ライブラリを OCaml 上で作れば同じような事が出来るはずです。OCaml でそこまで純粋関数型のコードを書く事に実用的意味があるとは思えませんが。

Permalink | 記事への反応(4) | 15:39

■http://anond.hatelabo.jp/20160520152852

あのさ、それ

もちろん、OCamlであれHaskellであれ破壊的代入の類の副作用を使用せずに書くのもなんら困難ではありません。

とか、言い切って、別の人間からスケールしない、とつっこまれた後だから。

最初の時点で「限界がある」と自覚しているのに、学習者や読者にむかって何も言わない隠し玉してたのか、

本気で何でもできると思ってたのかまでは不明。

いずれにせよ、突っ込まれて自ら限界を認めた。ついでにFRPの限界も同じに設定したっぽい。

岡部氏は、これは誤魔化しだとして、FRPで書いたコードを提示し、

同じものを状態渡しでかけと要求。

「限界値」が同じならば、振り落とされずに書けるはずだが、無理っぽい。つまりnonstarterの主張は嘘で誤り。

Permalink | 記事への反応(1) | 15:34

■http://anond.hatelabo.jp/20160520150830

ちなみに私の知っているFRPはHaskellの各種FRP ライブラリとか

（つい最近変わったようですが）Elm等の各種言語と同じで、

様々な論文やコードとも一致しています（kenokabe氏の解釈以外）。

あなたのFRPは違うのかもしれませんがご参考まで。

Permalink | 記事への反応(1) | 15:13

■http://anond.hatelabo.jp/20160520135035

Haskell読める人で、そんな無茶ぶり解釈するのが君一人でOK?

Permalink | 記事への反応(0) | 14:04

■http://anond.hatelabo.jp/20160520135548

一応説明すると、Elliottの元記事は

HaskellのIOモナドが「IOアクションを生成する純粋関数型プログラム」なのと同様、

Cのプリプロセッサは「Cプログラムを生成する純粋関数型プログラム」って言ってるのね。

だから「cpp + C言語処理系」は「Haskell + 処理系」と同じく純粋関数型だと:-)

Permalink | 記事への反応(0) | 13:58

■http://anond.hatelabo.jp/20160520052648

http://qiita.com/nonstarter/items/2763f5d85f2b8df3b18b#comment-d9a8cdf2efc67044c158

いずれにせよ、状態機械の数学的構成では状態遷移が状態と入力から状態への関数として表現されるというだけのことではあり（状態渡し）、
状態遷移が複雑になれば状態遷移を純粋な関数として表現する作業も複雑になり困難になるので（そしてそれはしばしば綺麗な関数合成では上手くいかないようなものになることが多いので）

って自分で（状態渡し）は困難になる、「状態渡しはスケールしない」って認めちゃってるんだが、

モナドと一緒ってことにして、Haskell モナドの話にすり替えたいってことなのかな？

「状態渡しはスケールしない」とこの人物が自分で認めてることは消えないよね？

Permalink | 記事への反応(1) | 10:24

■http://anond.hatelabo.jp/20160520061815

nonstarter氏のエントリについても、kenokabe氏は

＞＞（イベントのシグナルから状態のシグナルを構成する際に状態遷移をそうした関数で表現する必要が出てくるので）

＞？？？？？？？意味不明。

＞まあ、この人物がFRPが何たるか理解していないのは、ほぼ確実でしょう。

などと言っていますが、「イベントのシグナル」（各時間ごとの入力の列）から「状態のシグナル」（各時間ごとの出力の列）を「構成」する、

平たく言えば前者から後者への関数を定義しようとすると、例えば前者をe1,e2,e3,...、後者をs1,s2,s3,...として、

多くの場合はs1とe1から s2を求め、s2とe2 からs3を求め、s3とe3 からs4を求め…となるので

s2 = f(s1,e1)

s3 = f(s2,e2)

s4 = f(s3,e3)

...

なるfを考えれば、そのfがまさに状態渡しを行う遷移関数そのものになります。

このことはnonstarter氏のエントリでもHaskellのFRP ライブラリで書かれたGUI プログラムの実例を用いて具体的に説明されているのですが、

それが「意味不明」に思えるとしたら「FRPを理解していない」のはどちらなのでしょうか……

Permalink | 記事への反応(2) | 06:19

■http://anond.hatelabo.jp/20160518170332

これのどこをどう読んだら「状態渡しはスケールしない」になるんだ……

ひょっとして状態渡しをモナド化したのがStateとか、基本的なことを全く理解していない？

http://qiita.com/nonstarter/items/2763f5d85f2b8df3b18b#comment-d9a8cdf2efc67044c158

「OCaml の全ての GUI ライブラリは状態は副作用を使うことを前提にメインループが設計されているからです。これを乗り越えるとすると @Lambada さんのようにメインループ自体を自分で書く事になり、一般的にはスケールしません。Haskell の GUI ライブラリでは普通は状態は State なり IO を含む GUI モナドを使って書く事になりますが、そのような GUI ライブラリを OCaml 上で作れば同じような事が出来るはずです。OCaml でそこまで純粋関数型のコードを書く事に実用的意味があるとは思えませんが。」

Permalink | 記事への反応(1) | 05:26

■http://anond.hatelabo.jp/20160519142942

「状態渡し派」なんてレッテル張りも典型的な詭弁（藁人形論法）。

誰も状態渡しで何でも簡単に書けるなんて言ってないし、状態渡しで書くべきとも言ってない。

「お絵かきアプリ」には自称 FRPが絶対に必要、という明らかに誤った主張に対する反例として

nonstarter他が「状態渡し」を挙げただけ。

それなのにHaskellだから認めないとか、OCamlでも簡単だったから認めないとか……

自分で「FRPが必要」と断言して挙げた例題なのに。

Permalink | 記事への反応(1) | 05:18

2016-05-19

■http://anond.hatelabo.jp/20160518171946

何度も指摘されているが「岡部氏のFRP」は同じメンバ変数tに何度も値を上書きしてるだけの

FRP以前に関数型でもない普通の命令型プログラム。いくら論文を曲解したり哲学とか言い訳しても

客観的には単なるメンバ変数への破壊的代入。オブジェクトにconstをつけたところで

メンバ変数はconstにはならない。

じゃあOCamlで純粋関数型や（本当の）FRPで複雑なGUI アプリが書けるかと言うと、

理論的には不可能ではないかもしれんが、もともと非純粋なので

誰もそういうライブラリを整備してないから、ライブラリから作るのは

まあ面倒だろうし、わざわざ非純粋関数型言語で純粋関数型のGUIを作る動機も

現時点ではまずないだろう。これもすでに指摘されているとおり。

もっとも「岡部氏」は「お絵かきアプリ」も「FRPの実装が必ず必要となります。」と自分のブログで断言し、

その反例としてOCamlやらHaskellやらのコードが直ちに書かれた以上、また話を逸らすのも大概ではある。

Permalink | 記事への反応(2) | 14:29

2016-05-18

■http://anond.hatelabo.jp/20160518171946

状態渡し派の関数型には書けない次なるお題のいいアイデアある？

FRPでかいても複雑さは一緒です！とかいいながら、またHaskell＋ReactiveBananaかElm使ったら笑うけどなｗ

Permalink | 記事への反応(0) | 18:01

2016-05-17

■http://anond.hatelabo.jp/20160516152330

それをユーザから見て命令型変数への破壊的代入ではなく

参照透明な関数型インターフェースで実現するのが

いわゆるモナドや（誰かの独自解釈ではない本来の）FRP。

http://elm-lang.org/examples/time

view : Model -&gt; Html Msg
view model =
  let
    angle =
      turns (Time.inMinutes model)

    handX =
      toString (50 + 40 * cos angle)

    handY =
      toString (50 + 40 * sin angle)
  in
    svg [ viewBox "0 0 100 100", width "300px" ]
      [ circle [ cx "50", cy "50", r "45", fill "#0B79CE" ] []
      , line [ x1 "50", y1 "50", x2 handX, y2 handY, stroke "#023963" ] []
      ]

HaskellのライブラリもElmのような言語も、サンプルもJavaScript 実装も

ググればWikipediaで出てくるレベル。

https://en.wikipedia.org/wiki/Functional_reactive_programming#Implementations

Permalink | 記事への反応(2) | 02:26

2016-05-16

■http://anond.hatelabo.jp/20160515231526

出たでたw まーた駱駝の「すぱげってぃこーど」

まーた、「FRP ライブラリの実装」にイチャモンつける大バカ。

馬鹿に質問だが、OCamlのソースコードって、純粋関数型で実装されてんの？

HaskellのC++のソースコードって純粋関数型なの？って話なんだが、すっこんでろよキチガイ

Permalink | 記事への反応(0) | 05:32

2016-04-03

■某社エバンジェリストに対するネットの反応　その２

江添○

キャラクターの名前がプログラミング言語だなけのコマ割りされた絵にどれほどの価値があるというのか。

技能実習生受け入れ事務コンサルタン○

このままエバンジェリストという肩書きの価値が毀損され続けていって、最終的に「エバンジェリストという呼び方はダサいから皆さんやめましょう」みたいなところまで行ったらちょ○どエバンジェリストを評価できる

みす○

最悪なことにエバンジェリストという単語を某氏を表すために使うことが可能になってしまった

みす○

そういえばエバンジェリストにブロックされてるし、ブロックされてる人たくさんいるっぽいけど大丈夫なのか？

あづ○

つまり美少女になってエバンジェリストになろう？

nakfi○ a.k.a. nori○ ‏

nakfiv a.k.a. noriPさんがはっち○@イカ勢をリツイートしました

M○のエバンジェリストについては全体的にそれほどステータスではないという印象。むしろイメージとしてはマイナス（火に油を注ぐ

そけ○

エバンジェリストがゲシュタルト崩壊

yado○arielectric

宣伝しなくても売れるものにエバンジェリストは要らんよなあ

y.sak○maki(ぺちぱー)@就活中

エバンジェリストって、経験年数が短くてもなれるんだね:p

y.sak○maki(ぺちぱー)@就活中

新卒でたった２年でエバンジェリストか、顔が可愛い女性は人生で得するんだね。

顔が落第のブスがC#腐女子と名乗っていたら、果たしてM○は入社させたり、エバンジェリストを名乗らせたのかね？

やぷら○ ‏

エバンジェリストっていうか日本人にはよく分からないから"プリンセス"とかどうですか？

matt○

君がエバンジェリストになれないのは、君がオッサンだからだ。

人権尊重され太○

エバンジェリストを名乗るには製品の利点と欠点を正しく説明できる必要があると思うんですけど、例の人があるポイントが利点である欠点である理由をちゃんと説明できる人材かと言われると絶対違うよね

み○ー@CakePHP マン

おっさんエバンジェリストは多すぎて、エバンジェリストの価値がない模様

みす○

これはぼくの妄想なんですけど、インターネットで姫活動して影響力もっただけでエバンジェリストになれるんですね…

にん○

件の人がエバンジェリストになっても、リーチ出来るのは若者じゃなくて囲いのおっさんなのではって気が

r.tamur○

ここ最近のM○の素晴らしさを説いて身にはエバンジェリストの件は残念、ただただ残念です。

ちゅー○

ちゅー○さんHaskellの野良エバンジェリストって言われた事があるけど喜んで良いのか良くわからなかった。

ユリア・クソリプニツカ○

エバンジェリストって客寄せパンダの事じゃなかったよなぁ

カミジ○＠ファンタ　2ヶ月間都民

エバンジェリストってなんだっけ感は有る

My C○

M○KKに雇われた姫「(M○の宣伝)なんですよ～」Micr○soft エバンジェリストより給与の低いエンジニア「なるほど～」

め○

うーん、あのM○のエバンジェリストの件、こけそうな気がするけどなぁ。

技能実習生受け入れ○務コンサルタント

これ普通にMicr○softのエバンジェリスト各位の信用にかかわるのでは……

道仂○＠Sシャープマーカー使い

ぶっちゃけ M○ のエバンジェリストってほとんど知らない。布教する以前に布教するマンの知名度がないの、全然仕事にならんだろうし、もっとコンテンツ力の高い芸人さんを増やして欲しい。

牛ま○

彼氏を自殺に追い込んでもエバンジェリストになれるのすごい。

A○

絵が描けるTwitter 芸人で、ある程度プログラミングをしていればエバンジェリストがワンチャンということか

ウカヤ○

こりゃ来年あたりにはyoutuber からM○エバンジェリストが出てきてもおかしくないな

狂える中○女子ボレロ村上／陶芸 C++er

C#エバンジェリストにどんどんC#の質問をぶつけていこうな

ウカヤ○

M○のエバンジェリストってTwitterで使ってます〜アピールしとけばなれる程度のやつだったのか

人生たの椎名林○(求職中)

少なくともこのルックスと能力でエバンジェリストでしょ、マスコットみたいなもんだし月300時間激詰めとかされることはないでしょ。給料はいいだろうし。

にゃはは○

でもエバンジェリストが宣伝して、じゃぁこういうのはできるんですかって言われた時に、いやわかんないですって返ってくると、それ大丈夫なん、、、って採用見送るとかあるのでは

Kohei YOSHID○

テック企業のエバンジェリストが技術に明るくなくてよいのなら堀北真希を採用してくれ

ぱんた○

わかるか、真摯に技術と向き合わないエンジニアでも女で顔が良ければチンポ騎士団に囲まれてM○KKに入社できるのだ

ミァハちゃ○

こう、M○KKエバンジェリストの話題が出て炎上すれすれの呟きを行うプレイヤーの出現を、

ドロシーさんチ○チン無くないですか（笑

ぼくもM○KKに「あの人よりちんぽ舐めるの上手いですよ！！！！」ってアピールして雇ってもらうか

Taro ○atsuzawa(組長)

M○KKは世界に線を引いたのだ。姫のいる世界とそうでない世界を...

Taro ○atsuzawa(組長)

M○KKは身辺調査したって姫本人が書いてるんだけど、さすがに交友関係とかは特殊な所以外は見つけてもスルーするだろう。それこそ差別とかの対象になる。ただ、それ以上に近づかないようにしようって思わせるチカラが強いことに気づかない、むしろチンポナイトを取り込むという姿勢は評価できる。

文殊○

M○KKもソーシャルブックマークサービス(ちょ○どの彼氏はブックマーク出来ない)を始めよう

なんちゃらようへ○

ちょ○ど氏M○KK入社おめでとうございます！！となりのブスもきっと喜んでると思います！！！！

二次元美少女アイコ○

ちょ██女史がM○KKの姫に成り上がった日に北条かやの没落。対比は文学の基本だよね！

たっくま○

chmod氏M○KKにエヴェンジェリストで入社ですかそうですか。M○エヴェンジェリストの肩書がストップ安しませんかねこれ、要はアイドルの肩書だってことでしょ

♥○

♥ ‏

M○KK には姫を雇える余裕があるのか

どらい○

俺もM○KKの人事になって姫の枕営業受けてぇなぁ

弱い○

台湾にならってM○KKも姫を擁するようになった?

ふくさんのグッドフクサニティ○

M○KKに入社すれば才能のある若者と認められる

た○ゆら～食行写真～

えっＭＳＫＫなんかやらかしたののと思って事情を見たらなるほどこれはｗ

A○

M○KK本当に最悪。

丁稚○帝（ライフスタイルエバンジェリスト

M○KKのイメージみんな良かったんですか？？？？？？信じられないです

cocoonう○

みんなちょ○ど某がM○KKに入ったことを基本的に批判的に見ていて、意外とこの業界でもあのひと嫌われてたんだなあと思いました。IT ギョーカイとやらの知能は幼稚園児並みではなかったのですね。

誠○

M○KK、エヴァンジェリストを中途採用するだけの会社というイメージができつつある。

ぷりんた○

M○KKの姫になったことで格が上がったと書きそうになったけど、M○KKの名が落ちた感があるのでそんなこともなくなった

文殊○

M○KK何やってんの

蟹の赤ちゃ○

ちょ○どさんM○KK入社おめでとうございます．ところで痴話喧嘩の末に死に追いやり，その後しれっとFacebookのフレンドから削除していた元カレの南山まさかず君の遺品の『型システム入門』はちゃんと読みましたか？　エバンジェリストのみならずエンジニアとしての成功も祈念しております．

unagi○

M○ のやるべきことについて M○KK は梯子を外されてるからああなってるんだと思う。

マ○

起きたらM○KKが最悪の会社になっていた

めびなんと○

M○KKの童貞一本釣り

技能実習生受け入れ事務コンサルタン○

M○KKの技術に対する姿勢が可視化されて結果的に良かったのでは

almost 100 % correc○

M○KK が姫チーム作って姫を必要とするイベントにガンガン M○ の宣伝しに行くの本当にディストピアって感じがする

ssig3○ ‏

リクルートみたいな会社がちょ○ど使ってゴミを集めるのはまあ理解できるけど、マイク○ソフトがそれやるのはマイク○ソフトの不利益でしかないし本当に M○KK はゴミだめだと分かる

502b○ ‏

M○KK、本当に仕事してるのか？？？

社会の歯○ ‏

M○KKには失望した

きみとぼ○@研究室決まった

@nanTosaka2 まぁ、M○KKとしてはMVPとかにして広報に使いたい所だけど、MVPの審査はM○本社がやってるので、なかなか出来ない、それならもう雇えばいいじゃんって感じですかね

almost 100 % correc○ ‏

すごい話だなーとは思うけど、M○KKには関わらないようにしよう

豊○

ちょ○どみたいな姫気質のある人間は外ヅラばかり気にしているから本質的な能力ツリーを疎かにしたまま業種をただのファッションとして利用することばかり考えるし絵を描いても顔以外はドヘタクソのまま成長しないし彼氏を自殺に追い込んでも以後の立ち回りが上手いからのうのうと生きることが出来る。

みす○

まだ南山まさかず氏の元カノのツイート反応あるので一応明言しておくと、世の中おかしいよなっていう風に思うだけであって個人を批判する意味やそれの是非については一切の評価はしてないです。しているように見えたとしたらそれはぼくの妄想の上での評価です

やぷら○

でもまあ南山まさかず氏のことについて触れただけでブロックされたのは事実だよね

伊東瑞○

そういえばちょ○ど姫様は南山まさかずを追い詰めた時の様な式神の使い方を覚えたようですね。式神を使い他人を追い込むことになんの抵抗も無いようで

それがし○

オタサーの姫的ポジションの人が出世した場合のオタクの反応を見ている。>ちょ○ど

南山まさか○

しかしまあフォロワー数5000のアルファーとTwitter痴話喧嘩したら絶対に勝てないというのが新しい知見として得られた

Permalink | 記事への反応(2) | 21:14

2016-04-01

■月刊 Vim 3月号 - ゼロ除算編

:echo 1 / 0
:echo 0 / 0

2147483647
-2147483648

きっしょｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

他の言語もチェックしてみるか

golang

package main

import "fmt"

func main() {
	fmt.Println(1 / 0)
	fmt.Println(0 / 0)
}

division by zero

php

echo 1 / 0;
echo 0 / 0;

PHP Warning: Division by zero。

python 2

print 1 / 0
print 0 / 0

ZeroDivisionError: integer division or modulo by zero

python 3

print(1 / 0)
print(0 / 0)

ZeroDivisionError: division by zero

nodejs

nodejsだと1/0と0/0で異なるメッセージが表示された。

console.log(1 / 0);

Infinity

console.log(0 / 0);

NaN

luajit

luajitだとnodejsで表示されたメッセージの短縮形で表示された

print(1 / 0)

inf

print(0 / 0)

nan

haskell

修正しました thx ＠anekos

main = do
    print(1 / 0)

Infinity

main = do
    print(0 / 0)

NaN

java

public class Test {
    public static void main(String[] args) {
        System.out.println(1 / 0);
    }
}

public class Test {
    public static void main(String[] args) {
        System.out.println(0 / 0);
    }
}

Exception in thread "main" java.lang.ArithmeticException: / by zero
        at Test.main(Test.java:3)

bash

#!/bin/bash

echo $((1 / 0))
echo $((0 / 0))

test.bash: 行 4: 1 / 0: 0 による除算です (エラーのあるトークンは "0")
test.bash: 行 5: 0 / 0: 0 による除算です (エラーのあるトークンは "0")

haskellとnodejsとluajitはエラーにならないけどまあいい。

Vimはやべえよ。

結論：言語問わず、ゼロ除算はするな

しまった、4月だった。

Permalink | 記事への反応(0) | 13:15

2016-02-21

■業務で使うScala

ってどうなん？

印象としては、Javaの資産も使えるし関数型っぽくも書ける夢の言語って感じなんだけど

ガッツリ使ってる人が身の回りにいないもんで、使ってる人の感想が聞いてみたい。

Haskellライクに純粋関数型言語っぽく使ってるScalaの現場って某社くらいしか無いんじゃねえの、

とかとか、そんなあたりのぶっちゃけ話があるでしょ皆さん。

Permalink | 記事への反応(1) | 10:46

2016-01-25

■http://anond.hatelabo.jp/20160125175146

Haskell

https://tryhaskell.org/

Permalink | 記事への反応(0) | 17:54

2015-12-12

■これから 複数のプログラミング言語を習得したいんやけど

どの順番がええの？

ちなみに以下は習得済み。

Permalink | 記事への反応(1) | 23:40

2015-10-29

■Scala の言語 仕様ってさ

なんであんななんでもかんでも詰め込んでるの？

implicit conversion とか generalized type constraints とかそんなに使うか？

みんな全部ちゃんと理解して覚えて使いこなしてるの？

そんな訳ないよね？

趣味でやってる個人はともかく、会社でチーム全員が本当に使いこなしてたりするわけ？

それどこの会社？

しかも馬鹿みたいにコンパイル遅いし。

言語仕様やIDEでいくら生産性上げてもコンパイル遅いから台無し。

正直ここ10年くらい何使ってもコンパイル速度なんて気にしたことなかったけど Scala のコンパイルの遅さは異常。

使ってる奴らは「Scala あるある」とか言ってそうだけどはっきりいって池沼。

JVM 言語使いたいならもう Java8 でいいだろ。

言語仕様ってのは golang とか Haskell くらいのが美しいんじゃないの。

Scala は引き算的な設計判断が出来てないだけじゃないのかって思うわけ。

なのになんかもてはやされてる。

なんで流行ってるのかが分からない。

でも Scala は頭いい人達が使って絶賛してるからリアルな世界では dis れない。

否定するとダメグラマの烙印を押される。

Scala 怖い。

毎日マサカリが飛び交ってる。

ここは日本だぞ？

つーわけで俺はもう Java8 使うわ。

ラムダ！！

Permalink | 記事への反応(0) | 23:53

2015-08-06

■ask.fmのIT戦士 リスト

得意なプログラミング言語とask.fmのURL

何が得意なのか謎、もしくは特化した言語を持たない人は不明と書いている。

自薦他薦はここにトラックバックしろ！

1軍

ほぼすべての質問に回答していると思われる暇人素敵な方々。

褒めだろうが悪口だろうが質問でもなくても何でも回答してくれる。

このクラスはask.fmを愛するプロフェッショナルな人しかなれない。

Python	http://ask.fm/hamukazu
C++	http://ask.fm/EzoeRyou
Haskell	http://ask.fm/tanakh184

2軍

回答率が下がるがそれなりに回答を付けてくれる。

C#	http://ask.fm/chokudai
C++	http://ask.fm/nico_shindannin
Java	http://ask.fm/hyuki0000
不明	http://ask.fm/chomado

3軍

質問を選びすぎて回答率が低い。

PHP	http://ask.fm/tokumaru
Vim	http://ask.fm/ShougoMatsu
PHP	http://ask.fm/anatoojp

球拾い

リストラ予備軍。

Vim	http://ask.fm/mattn_jp
不明	http://ask.fm/KensukeFurukawa
不明	http://ask.fm/todesking

Permalink | 記事への反応(0) | 11:35

2015-05-17

■いつも通りの変な夢

お昼の4時頃だったかな、作業中に寝てしまい夢を見た。

なんかこう、最初は過去に飛ばされて未来に戻ろうと冒険する感じの夢だったはずだけど、

気がつけば、うどん屋さんにうどんを届けるために走っていて、

ただ届けるために走っていたのに「あいつら泥棒だ」なんて言われて悲しかった。

うどんを届けたら男の人がやってきて、名刺を見るとHaskell使いの人のようだった。

「まさか[ここに名前(フルネーム)]さん？」と言ったら首を掴まれ、

「違う、確かに私はその人と同じ名字だが別人だ」と怒られた。

その後、何度か首を掴まれながら話は続き、

最後に「我流とみんながやっているやり方、どっちがいいと思う？」と聞かれ、

「そりゃあみんながやっているやり方のほうが…それに私の.vimrc短か」と言ったところでまた首を掴まれ、やっと目が覚めた。

夢だからカオスなことは普通だと思うけれどやっぱり変な気分だ。

Permalink | 記事への反応(0) | 19:21

2015-05-13

■http://anond.hatelabo.jp/20150513112635

Haskellって後から圏論取り入れたんじゃなかった？

あと、型の有無と動的・静的型付がごっちゃになってね？Ruby だって型に相当するものはあるじゃん？

Permalink | 記事への反応(1) | 11:32

「Haskell」を含む日記

■某社エバンジェリストに対するネットの反応 その２

■月刊Vim 3月号 - ゼロ除算編