直接侮蔑された男性だけでなく、「こんな素敵な彼くんが」とニコニコ顔の女性に「お前のパートナーはお前に対して愛でなく性欲と支配欲で付き合ってんだぞ。お前の頭がアレでも体はセックスできるし孕めるし、頭アレで寧ろ言いなりにさせやすいから付き合ってんだぞ。」と顔に泥ぬりたくってる自覚あるの？「障害・問題持ち女性と健常男性」カップル・夫婦の当事者がこれ読んだらどんな気分になるか想像した上で書いてスター付けてるの？

本気でそう思ってるなら、障害・問題持ち女性を男の性欲・支配欲から守るために、障害・問題持ち女性に対し「あなたと付き合おうという男なんて、みんなあなたの体目当てで、セックスして孕ませて言いなりにするために近寄って来てるんだよ！みんな拒絶して！」と堂々と社会運動として呼びかけてみろよ。できないだろ。

それは「あんたらみたいな女にまともな男が近づいてくるはずがない」という偏見そのものだもの。

そういう偏見が自分にあること自覚してる？自覚してるだろうね。匿名でないとこんなブコメ書いて支持できないもんね。

だとしたら非人間だよお前ら。人間のクズ。

それとも、「女性は恵まれてる存在であってはならず、常に搾取され虐げられる哀れな存在でないといけないんだ」というジェンダーバイアスで反射的にブコメ書いてスター付けちゃったのカナ？

まあそのほうがフェミニスト的には都合いいよね。弱者・被害者ポジションは最強で、常に他者に一方的に要求をつきつけて、何の義務も負わず責任もとらなくていいもんね。楽だよね。心地いいよね。「守りたい、このポジション」とつい口が滑って本音が出ちゃうのも仕方ないよね。

女性性が優位な「弱者・被害者」ポジションを維持するためなら、当事者を侮蔑することに何ら躊躇しない、それがはてフェミなんだね。

軽蔑するよ。

greenT トップコメ、鬱をケアする彼くんの漫画を見るたびにこいつは性欲や支配欲で女を手に入れたんだなって想像しながら読んでるのか。歪みがすげえな

これな。

2/17 16:30時点でこの侮蔑ブコメにスター付けてる歪みがすげえ連中、スター消す前に保全しとく。

damonon
damononさんがスターを付けました。
skgctom
skgctomさんがスターを付けました。
nicoyou
nicoyouさんがスターを付けました。
Cottonton
Cottontonさんがスターを付けました。
tswi
tswiさんがスターを付けました。
baronhorse
baronhorseさんがスターを付けました。
wanimiho
wanimihoさんがスターを付けました。
binbocchama
binbocchamaさんがスターを付けました。
kralica
kralicaさんがスターを付けました。
kralica
kralicaさんがスターを付けました。
hitoyo14142
hitoyo14142さんがスターを付けました。
kutabirehateko
kutabirehatekoさんがスターを付けました。
utabuti
utabutiさんがスターを付けました。
nacady
nacadyさんがスターを付けました。
Qalicen
Qalicenさんがスターを付けました。
Qalicen
Qalicenさんがスターを付けました。
sinsara
sinsaraさんがスターを付けました。
kamezoo
kamezooさんがスターを付けました。
lenore
lenoreさんがスターを付けました。
lifeisadog
lifeisadogさんがスターを付けました。
pufi
pufiさんがスターを付けました。
pikopikopan
pikopikopanさんがスターを付けました。
pikopikopan
pikopikopanさんがスターを付けました。
pikopikopan
pikopikopanさんがスターを付けました。
hyoutenka20
hyoutenka20さんがスターを付けました。
Arturo_Ui
Arturo_Uiさんがスターを付けました。
AODeath
AODeathさんがスターを付けました。
AODeath
AODeathさんがスターを付けました。
Mofuyuki
Mofuyukiさんがスターを付けました。
LaNotte
LaNotteさんがスターを付けました。
tttkm
tttkmさんがスターを付けました。
mobile_neko
mobile_nekoさんがスターを付けました。
napsucks
napsucksさんがスターを付けました。
huta-ai
huta-aiさんがスターを付けました。
rshi
rshiさんがスターを付けました。
grandao
grandaoさんがスターを付けました。
shimajitan
shimajitanさんがスターを付けました。
MiG
MiGさんがスターを付けました。
tutumisuke
tutumisukeさんがスターを付けました。
dsl
dslさんがスターを付けました。
ikanosuke
ikanosukeさんがスターを付けました。
chinachang
chinachangさんがスターを付けました。
usaginokainushi
usaginokainushiさんがスターを付けました。
politru
politruさんがスターを付けました。
m4i
m4iさんがスターを付けました。
aaaaaaaaaa10
aaaaaaaaaa10さんがスターを付けました。
stk132
stk132さんがスターを付けました。
melion
melionさんがスターを付けました。
yetch
yetchさんがスターを付けました。
tsubaki315
tsubaki315さんがスターを付けました。
hamu_start
hamu_startさんがスターを付けました。
hamu_start
hamu_startさんがスターを付けました。
hamu_start
hamu_startさんがスターを付けました。
hamu_start
hamu_startさんがスターを付けました。
hamu_start
hamu_startさんがスターを付けました。
arcom
arcomさんがスターを付けました。
kerokeropippi
kerokeropippiさんがスターを付けました。
kinnosabakan
kinnosabakanさんがスターを付けました。
shiju_kago
shiju_kagoさんがスターを付けました。
birnamwood
birnamwoodさんがスターを付けました。
iroha2_hohe
iroha2_hoheさんがスターを付けました。
kuroi122
kuroi122さんがスターを付けました。
amtmt
amtmtさんがスターを付けました。

Permalink | 記事への反応(13) | 16:19

2020-06-19

■センスのない奴はプログラマになってはいけない

センスの無い奴の問題は、知識がないことではなく、頭がおかしいことなんだ。

これは後天的に直せない。そして、センスのないプログラマは他人に迷惑をかける。だから、センスのない奴はプログラマになってはいけない。

たとえば、BMIを計算するプログラムを作るとしよう。

こんなのは誰でも書ける。身長(m)と体重(kg)を受け取って、(体重)÷(身長*身長)を計算して出力するだけだ。

GUI等をつけたとしても、総コード行数10数行で実装できるだろう。

ところが、センスのないやつは全く違うことを考える。

彼らの一部は、BMIを計算するプログラムを作るのに、なぜかユーザー登録画面を作ろうとする。

そして、身長と体重のほかに、年齢や性別などの様々なパラメータを管理できるようにし、それらのパラメータを日ごと、あるいは週ごと、あるいは月ごとに入力できるようにし、指定期間での推移をグラフで表示するシステムを作り出す。

ユーザーごとに管理するパラメータの種類は増減するため、BMIを計算する場合、「身長と体重はどのフィールドに格納されているか」というような間接的な情報が必要になり、それを記載した設定ファイル等を読み取る別のプログラムを作り出す。

BMI以外の様々な指標を計算させるために、設定ファイルに書ける独自のDSLのようなものを作り、パラメータ同士の加減乗除や、指定した期間の移動平均などを計算できるようにする。

データ定義にもとことん拘る。単位を何にするかとか、グラフで表示したときに何色にするかとか、軸に単位を表示するかとか、スケールからはみ出したときにどう表示するか等のありとあらゆる情報を各パラメータに対して定義できるよう設計する。

こうして出来上がった巨大なシステムは、身長Hと体重Wを入力すると、W/H*Hの結果を表示するためだけに使われる。

既に述べたように、ここで問題なのは、彼がYAGNI（You Ain't Gonna Need It.）という原則を知らないことではない。

「普通の開発者ならあえてそんなことはしない」ということを自然に行ってしまうこと。これが本質的な問題なのだ。

ちなみに、センスのない奴の頭のおかしさというのは、本当に常軌を逸している。だから、読者がすっと腑に落ちるような例を挙げることは極めて難しい。

たとえば、「数学ができない生徒がいる」という現象を説明するためには、「計算問題は解けるが、文章問題は解けない」というような類型を示すことができる。しかし、「センスのないプログラマ」は、常人の世界観を超越しているので、そういうシンプルな例示や説明ができない。上に書いたたとえ話ですら、実在する彼らに比べれば、まだマシなのである。

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

2020-02-02

■scanz、スキャン コレクション

anond:20200201113849

グラビアのスキャン画像を蒐集する趣味を楽しんでいた時期がある。

グラビアと言っても日本の週刊誌やアイドル雑誌のグラビアではなく、主に海外のソフトコア雑誌やセレブ誌のグラビアである。

飽きてやめてしまうまでの数年間、日本人の同好の士とは出会えなかったので、たぶん日本人でそれをしていた人はごく少数だったんじゃないかと思う。

自分はただのエンジョイ勢だったのでそれほど深い知識があるわけじゃないけど、日本語の文献も見つからないようだし、思い出としてちょっと書き留めておこうと思う。

だいたい20年くらい前の昔話。

この趣味の名称

よくわからないが、Online Scan Collection とか scanz（warezのノリ？）と呼ばれていたと思う。

概要

スキャナーと呼ばれる職人が配布する画像ファイル（主にグラビア）をコレクターが集めたり、コレクター同士でトレードしたりする遊び。スキャナーはコレクターを兼ねていたりもするし、コレクターがスキャナーとなって配布を始めたりもする。

スキャン

配布される画像はスキャンと呼ばれる。紙媒体で売られている雑誌のグラビアを高解像度のフラットベッドスキャナで読み取り、もとが印刷物であったことなどわからないくらい美麗にレタッチされたJPEG 画像である。600dpiクラスのスキャナと高機能のレタッチソフト（ほぼPhotoShop 一択）がたぶん必須。

題材は大半がセクシーな女性のグラビアで、ヌードでもPLAYBOYやPENTHOUSEに載る程度のおだやかなもの。水着、下着姿のものも多い。が、たまに美しい風景のシリーズがあったりもする。

画像の片隅にはそれを作ったスキャナーのシグネチャ（かっこいいアイコンなど）がウォーターマークとして付される。

あ、上で「日本人はごく少数」と書いたが、おそらく日本人だろうというスキャナーはいた。中でも印象に残っているのは Kuni Scan という2万枚ほどのシリーズで、題材が日本のグラビアだったし名前からして日本人だろう。Kuni Scan で画像検索すると今でも彼の作品の一部を見ることができる。

一次配布

今でもそうだが印刷物をスキャンして配布するのは明白にコピーライト違反であるし、ことに題材が肖像権にがっつり抵触していることもあって、一次配布はきわめて目立たないかたちで行われていた。

スキャナーたちが「新しいのできたよー」と最初の配布を行うのはおそらくIRC チャンネルだったと思う。自分は外人たちと英語でリアルタイムのチャットをする自信がまったくなかったのでIRCにはほとんど近寄らなかった。なので一次配布の現場のことはよく知らない。

当時はimgurのような匿名画像アップロードサイトなどもなかったのでこのような個人間のやりとりで配布が行われていたのだろうと思う。

この時、スキャナーは画像とともにスキャンリストも一緒に配布するのであるが、それについては次で述べる。

シリーズとスキャン リスト

スキャンは数十枚～100枚程度のテーマを持ったシリーズとしてリリースされる。テーマはモデルであったり、雑誌であったり様々。

最新リリースには必ずそのシリーズに含まれるファイルの一覧を記したCSVが添えられる。

このリストこそがコレクションのキモになる。

リストに記されているのは [ ファイル名, ファイルサイズ, CRC32 ] の3項目（CRC32はファイルの指紋のようなもので、データの同一性を確認するのに用いられる通信技術）。

この3項目が一致していないとオリジナルデータと認められず、集めたことにならない。

たとえばWebで目当てのファイル名の画像を見つけたとしても、それが何者かの手によってリサイズされていたり再圧縮されていたりするとCSVと数値が一致せず、コレクションに加えることができない。

シリーズには継続中のシリーズとすでに完結したシリーズがあり、CSV ファイルに[finished]といった名前がついているのが完結したシリーズである。これに載っているスキャンを全部集めたらコンプリート。

CSVはこんな感じで今でも配っているのを見つけた。

http://www.scancollections.com/CSV/list_csv.php

（私がかつてひとつだけスキャナーとして配布したシリーズも含まれていた。なんだかうれしい）

蒐集

一次配布時にIRCを通じてスキャナーから直接手に入れることのできなかったスキャンは別の手段で探すことになる。

Webにアップされているものを探したり、同好の士とトレードしたり、alt.binaries（ニュースグループ）でも交換が行われていたように思う。

私は主にWeb サイト経由で集めていたのだけれど、当時個人ホームページの割り当てボリュームは数MB程度がふつうだったので、スキャンをアップしてくれるサイトも古いものはどんどん消されてしまった。しかも1枚1枚がやたらでかい。今でこそ一辺が1000ピクセル以上あるような大きな画像でも表示は一瞬だけれど、DSLすらなかった時代の混み合うテレホーダイのISDN 回線では300KB程度のJPEGでも上からじわじわ表示されてくるのを待つ感じだった。

海外の同好の士からトレードを持ちかけられることもあった。トレカの要領。ロシアや台湾のコレクターと、お互い非母国語の英語でたどたどしく「おまえこれ持ってるか」「おれのこれやる」とトレードのやり取りをするのである。基本は１：１で持ってないもの同士を交換というタテマエだけど、自分は持っているものは気前よく差し上げていた。ドイツのコレクターとはたまたま音楽の趣味が合ったのでしばらく文通してたな。

そうやって新しく手に入ったスキャンがあると、コレクションマネージャーみたいなソフトを使ってCSVと照合する。CSVと一致しないデータを取り除いてくれたり、リネームやフォルダ分けを自動でやってくれたりするスキャンコレクションに特化した管理ソフトがあったのである。

やめてしまった理由

自宅のネット回線をFTTH 常時接続に変えたとたんにコレクションがつまらなくなった。

どんなサイトも画像もピュンピュン一瞬で表示されるし、コレクションがウン千枚詰まったZIP ファイルですらたちまちダウンロードされて、「苦労して一生懸命集める」という手応えがなくなって、「やりがい」がなくなってしまったのである。

DSL、常時接続の普及にともなってネット上には高解像度データがあふれるようになり、スキャンでしか見ることのできなかった美麗画像の希少性がどんどん下がっていったこともあると思う。

同好の士へ

「それ俺もやってた！」って人いますか？

Permalink | 記事への反応(1) | 16:29

2020-01-07

■anond:20200107095705

DSLが思ったより早く死に絶えたんだよね

大半の人にとってはWANなんて10Mbpsで十分だったろうに、なぜか恐ろしい早さで淘汰されていった

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

2019-10-16

■

Get busy like a chefのdsl

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

2019-02-06

■COBOLってこんな言語

日経xTECHの元記事を読んでもCOBOLの特徴があんまり伝わってこない感じだし、かといってそれをディスってもしょうがないので、書いてみた。

https://anond.hatelabo.jp/20190205192741

COBOLは本質的にはDSLなんだけど、一見汎用プログラミング言語に見えてしまってRubyやPythonなんかと比較するのが誤解のもとではあると思う。今の人でも知ってそうなCOBOLに似ている言語はたぶんSQLで、データを処理するための専用言語。ただ、SQLは頑張ればすごく複雑なこともできるパワフルな言語で、だからこそ現代でも生き延びているわけだけど、COBOLはわりとシンプルなデータ処理を想定している感じ。

SQLだけでアプリケーションを作れないのは触ったことある人なら誰でもわかると思う。普通はJavaやRubyで全体の流れを記述してデータベース入出力をSQLで書く。COBOLもそんな感じで、全体の流れをJCLやShellスクリプト、あるいはJP1のような運用管理ソフトで書く。SQLの1個の処理に相当するのがCOBOLのコンパイル単位で、それごとにソースファイルが分割される。ひとつのソースファイルに2個以上の処理を書くこともできるけど普通はしない。ここまで理解すると古いCOBOLに1ファイル内のすべての処理に影響するグローバル変数しかないのや、今のCOBOLにコンパイル単位をまたぐ真のグローバル変数がないのも、それほどクリティカルではないことがわかると思う。もし、本当に複数の処理にまたがる値が必要なら、データベースに格納してしまえばいいんだし。

で、SQLでいうところのデータベースに相当するのがCOBOLではデータファイル。sedやawkでテキストファイルやCSV ファイルを行ごとに処理するのとちょっと似てるけど、COBOLの場合は固定長ファイルという点が違う。改行文字は入ってなくて、たとえば150バイトごとに次のレコードみたいな形式。これの1レコードごとに何月何日何時に〇〇という商品を□□円で売ったとか書いてあるのが典型的なデータの内容。それを集計して今日は〇〇が何個売れて売上がどれだけあったとか、出金合計がいくらで入金合計がいくらで、みたいな財務諸表を作ったり。SQLと同じように税率なんかが書いてあるマスタデータと、日々の売り上げが書いてあるトランザクションデータがあって、突き合わせたりということもする。こういう集計処理だから UIはなくて、夜中に自動起動するようなバッチプログラムが主な使われ方。（混乱するから余談だけど、今のCOBOLはSQLを使って普通のRDBにもアクセスできる。ただ使い方としては、RDB→ファイル処理→ファイル処理→ファイル処理→ファイル処理→ファイル処理→RDBみたいに、最初と最後だけみたいなのが普通）

入出力がファイルだから今の感覚で考えるとアクセスは遅い。でもメリットもあって、1回に1行しかメモリに乗せないからどんな巨大なデータでも時間さえかければ処理できる。それこそ国民ひとりひとりの年金データとかね。あと、途中でバグや不正データで止まってもデータを失うのは最小限で済むので復旧が比較的楽だったり。

データベースの話に戻ると、テーブル定義はどこに書いてあるかというとデータファイル側ではなくてCOBOL プログラム側、というのがSQLと一番違うところかも。つまり、このデータファイルの構造はこれこれこうなっていると想定して読みます、とソースコードに自分で書く。当然実際のデータ構造がそれと違ってたらおかしくなる。

まあそんな感じで80年代くらいに会計処理をする目的だったら悪い言語ではなかったので、銀行や官公庁とか、電力水道ガスといったライフラインを扱う大企業がこぞって導入して今に至る感じ。普通の大企業は途中でSunとかに置き換えてその後Linuxやクラウドにさらに置き換えたりしたけど、最初に作ったシステムが大きければ大きいほど、重要であれば重要であるほど現代的な環境に置き換えられないというのが今の課題。

Permalink | 記事への反応(10) | 22:25

2017-11-23

■メタなナントカ

例えば「AB」という概念があった時, 「ABAB」「ABのAB」「ABに関するAB」という概念も成立しうる場合, その概念は「メタAB」と呼べそうである.

データに関するデータ＝メタデータ (そのデータの名前, サイズ, 作成者, 最終更新日時など)
情報に関する情報＝メタ情報 (その情報が何のために役立つかといった情報など)
プログラミング方法をプログラミングする＝メタプログラミング (テンプレート, DSL (ドメイン特化言語) など)
変数であることを明示するための変数＝メタ構文変数
クラスのクラス＝メタクラス (クラスを構成している要素, 例えばメンバ変数, メンバ関数, 継承関係といった情報をインスタンスとして扱えるようにクラス化したもの)
言語を記述するための言語＝メタ言語 (XHTML, RSS などの具体的な言語を定義するために XML がある)
メタモデル＝モデル (クラス図, シーケンス図など) を構成する要素をモデル化したもの
メタ文字＝文字を構成するための文字 ("ネ" と "申" で "ネ申" ……という意味ではなく, Unicode で 0xFFFF を超えるコードポイントを表現するために使われる「サロゲートペア」など)

あたりがぱっと思いつくけれど, 身近な例でも応用できないだろうか.

学習について学習する：メタ学習 (効率の良い, あるいは効果的な学習方法を身につけること)
写真の写真：メタ写真 (カメラの性能をアピールすべく, このカメラはこんなに綺麗な写真が撮れるんです！と写真のクオリティを見せることが目的の写真)
ごみ袋のごみ袋：メタごみ袋 (例えばコンビニのビニール袋を簡易ごみ袋として使い, パンやお弁当の包装や使用済みのティッシュその他諸々を処分するために入れることは多いが, そのうち容量がパンパンになってごみ袋自体が一つのごみと化するので, そういったごみ袋を処分するためのより大きなごみ袋)
メタ掃除：掃除機, 雑巾, モップ, 箒といった各種掃除用具を洗浄したりリフレッシュしたりして掃除自体の品質を向上させること

意外と難しい.

Permalink | 記事への反応(1) | 17:33

2017-08-26

■Rails ってそんなにいいかな・・・

Rails を使ってはや10年。

Rails のことはかなりわかっている方だと思う。

だが、最近 Django (Python のウェブフレームワーク）を使いはじめて、いままで苦労して Rails を使ってきた努力は何だったのだろうと思った。

Rails だとすぐアプリが開発できると人はいう。

それは嘘じゃない・・・だが大きな犠牲を払ってだ。

Rails は Ruby の柔軟さを利用（悪用）して、徹底的に Ruby 言語が改変されている。

DSL が多用されている。

要するに、「レール」を外れると、どうしたらいいのかすぐわからなくなるのだ。

だから四六時中、フレームワークやプラグイン（gem)のソースコードを解読しようと格闘する羽目になる。

その点 Django は Python らしく、フレームワークは余計なことをしない。こちらが何かしないかぎり、何も起こらない。

すべては明示的(explicit)に行う必要がある。

明示的なものは暗黙的(implicit)なものよりよい、というPython、そして Django の思想。

なんという安心感だろうか。

たしかに Rails のほうが開発に必要な記述量は少なくなるかもしれない。だけど、わずかな記述量を節約したところで、見通しが悪くなったら元も子もないではないか。

私は、本当に Rails 教に洗脳されていたんだな、といま感じている。そして、洗脳から解放され、いま、より広くて成熟した Python コミュニティに参加しようとしている。Ruby も悪くない言語だし、Rails もよいフレームワークだけど、もういいかな。これからは Python と共に歩もう。

Permalink | 記事への反応(3) | 12:48

2017-06-06

■Ruby教からの解放

最近、Python にどっぷり浸かるようになって、「Ruby 教」とも呼べる宗教的な縛りから解放されるようになってきた。それにつれて、いままで Ruby コミュニティで当たり前とされてきたいくつかのプラクティスに対して批判的な気持ちが育ちつつある。

いままで一部の人たちが Ruby 界隈を忌み嫌っているのを見てきたが、その理由がわからなかった。でも、Ruby が一種の新興宗教のようなものだ、と考えればその理由は理解できる気がする。

プログラミング思想というのは、絶対の正解がないために、結局、それを信じる人たちが集うという「信仰」の形を取るしかない。より主張の強いグループが宗教的な形を帯び始めるのは少しも不思議ではないだろう。

なんかマジ、Ruby ダルくなってきたわ…。

P.S.

特にキモいのは、RSpec。

Ruby の変態 DSL の極みみたいなもの。

Python のほうがスッキリしていてずっといいわ…。

P.S.2

Rubyな人たちは二言目には「テスト」とかいうけど、自動テストがすべてを救ってはくれないよね。

テストコードのメンテ自体、莫大なコストがかかるし。

私は、テストは必要最小限にして、メリハリを効かせて書くべきじゃないかと思う。

基本的には、リグレッション対策で十分な気がするけどね。

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

2017-05-06

■Infrastracture as code (笑)

ansible

結局yamlはデータ構造を現すもので、プログラミング的な繰り返しとかIF文は無理やり過ぎて違和感しかない

chef

RubyのDSLって普通にダメだねこりゃ。実行順序も分からんし、普通に Rubyで書いた方が良い気さえする

puppet

独自のSyntax覚えるのかったるすぎる。大して便利じゃない

でどうなった？

何でもやろうとすると結局、プログラミング言語みたくなってどんどん可読性が落ちる

結局最後はbashで良いんじゃねーかなってなる。シンプルにできるなら一番筋が良いのはansibleだけど微妙に書き方変わったりして追従がかったるい

俺の知ってる会社でchefで全自動だぜ！とか言ってキラキラ感だしてる会社あったんだが今は全然回ってないらしいｗｗ

一時はもてはやされたけどDockerとか出てきた昨今こんなの今頑張らなくてもいいのかもな

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

2017-04-22

■C++/Perl/Rubyはゴミ

分かったのは言語の多機能さというのは、一点水準さえ満たしていれば、それ以上足しても生産性に寄与しないという事

自分しか使わない、最初書くときに限れば書きやすいと思うこともあるが、それ以上に保守性を落とす

ライブラリを利用したり他人のコードを読む機会の方が多い昨今マイナス要素でしかない

perlのスローガンだかに "There's More Than One Way To Do It." というのがあるらしいが、読む側からするとたまったもんじゃない

演算子がオーバーロードされてるかも？モンキーパッチされてないかな？等々あれこれ想定しなきゃいけないのが苦痛でしかない

スラムダンクで流川が沢北を抜いたのも

パスの選択肢を見せた事で沢北が集中できなくなってしまったから

それほど選択肢が多いということはストレスになる

Rubyはゴミ

DSL (笑)が良いと思ってるのは最初だけで、最終的に負債にしかならない糞コード

統計・機械学習系のライブラリが皆無で先細りのイメージしかないからRailsと一緒に心中ください

Perlはゴミ

リスト評価、スカラー評価とか意味わかんねーくくりもtie 変数もアイディアは糞中の糞

Perl6にいたってはわけわかんねー演算子のオンパレードで悪いところをさらに悪くした感じ

C++はゴミ

テンプレートもマクロもboostも何もかもダメ意味不明

オーバーロードされまくりのコードなんてどっから読んでいいかわかんねーよ

こんな意味不明なことを覚えていられるほど人生長くない

結局PythonとかGo 言語が現実的な解で黒魔術のある言語なんて意味ない要らない使わない

Permalink | 記事への反応(2) | 01:52

2017-03-08

■Railsつらい

バージョンアップがツライ

毎度毎度、バージョンアップで非互換な修正加えてコードの修正が必要になって、Gemも上がって依存が壊れて

いつまでやってんだよｗ

Railsのプロジェクトでどれだけの人が最新版に追従できてんだよ？テストを書いてれば余裕？

本当かよ？正直に言ってみろよ？実際はレガシー Railsの山だろｗ

概念・周辺ツールがツライ

ヘルパーやらマイグレーションの仕組みやら最初は良いかなと思ったけど、どう考えてもやり過ぎだ

短くかけるとか喜んでるやつは一度考え直せ

複雑さがRails側に寄ってるだけでなんも解決してない

それで良いんだって？自分がコントロールできない知らないコードに依存して結局バージョンアップで地獄みてるだろｗ

最低限中で何が起きてるか理解しとけよｗまあ理解できるころにはRailsでなくても良かったんやｗってなるけどなｗ

RAILS_ENV=productionだとstaticファイルは自分で返さないassetコンパイルで小さくしましょう

→ developmentで動いてたけど本番だと動きませんでしたｗ

どんな茶番だよｗ馬鹿か？

Gemがツライ

毎度毎度、アホみたいにGem入れやがって、もう自分で把握できる状態じゃねーだろ？

bundlerだから完璧にvendoring出来ますだって？

本当かよnaitive extensionのGemなんてどう考えたってRails 管理外のヘッダファイルに依存すんだろ

bundle installがこけるなんて日常茶飯事だろw

環境構築がツライ

ruby入れてGem入れてGem入れるためのヘッダ用意して

めんどくせーなbundlerもこけるし、rbenv使ってrubyのバージョン揃えろとか

ホントめどくせーよ

deployもcapistrano便利とか言ってるけれど、そんなに便利じゃねーよｗ

あんなDSL覚える時間あんならシェルスクリプト書けるようになっとけ

rack サーバがたくさんあってよかったねじゃねーよ集約しろ馬鹿ｗ

unicorn, pumaで比較しましたとかアホ記事書いてる暇あるなら集約するかなにかしとけ

信者がツライ

この手の話すると信者が使わない方法もある・選択しない方法もあるとか擁護してくるけど

そりゃあるけどそれ調べんのがめんどくせーって言ってんだよｗ

何でもかんでもレールに乗せてそれを強要してくるような感じがすんだよｗ

turbolinksなんて仕組みをデフォルト ONにしてくるやつらの態度が嫌なんだよ

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

2016-09-03

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

http://anond.hatelabo.jp/20160902031012

はてブで批判してる人たちよりよほど志のある学生さんだと思うので、いろいろ書いてみます。おっさんのたわ言ではありますが、元記事の人にすこしでもヒントになればと思って。

大学に行っても実用的なソフトウェアを書けるようにはならない

実務の話！！実際に「IT系のおしごと」というのがやってるような話で、特にコーディングに直接絡んでくるようなもの。
技術の実態みたいなやつ。そういうのは学校で教わらないんですよね。

まず、日本の大学で勉強しても実用的なソフトウェアが書けるようにはなりません。どういうことかというと、「情報系の大学に行けば○○が作れるようになる!」という世間一般の期待と、実際に大学で教えている内容には大きなギャップがあるということです。

これは大学が悪いのではなく、大学はそもそもそういうものであって、それが世間に認知されてないというだけです。

具体的に挙げてみましょう。

大学に行っても、iOSアプリやAndroidアプリが作れるようにはなりません。
かわりに、OS（iOSやAndroid）がどんな仕組みで動いているのか教えてくれます。
大学に行っても、FacebookやAmazonのようなWebサービスが作れるようにはなりません。
かわりに、Webサービスを支えているネットワークの仕組み（TCP/IPやソケット）を教えてくれます。
大学に行っても、PSやDSで動くゲームが作れるようにはなりません。
かわりに、高速なゲームプログラムを書く上で必要なCPUやGPUの仕組みや、あるいはアルゴリズムを教えてくれます。

大学で教えてる内容ってこんな感じなので、ゲームやアプリやサービスを作ることが目的の人から見ると、役に立たない内容にしか見えませんし、実際たいして役に立ちません。その証拠に、大学の情報系学科を出ていないのにゲームやiOSアプリやWebサービスを作っている人はゴマンといるし、逆に日本の大学の先生でゲームやiOSアプリやWebサービスを作れる人はほとんどいません。

日本の大学の先生は実用的なアプリやサービスを作った経験がない

これは重要なことなのでもう一度書きますが、日本の大学の先生でゲームやアプリやサービスを作れる人はほとんどいません。大学の先生が得意なのは、プログラムを書くことではなく論文を書くことです。論文のためにプログラムを書くことはありますが、あくまでおまけです。

そのため、大学で勉強してもゲームやアプリやサービスが作れるようにはなりません。だって教えている側の先生が、ゲームやアプリやサービスを作ったこともなければ、作り方も知らないんだから。

Railsでサービスを作ったりとか、
Unityで簡単なゲーム作ったりとか、
AngularJSでフォーム画面を作ったりとか、
業務パッケージのテーブル設計をしたりとか、
RubyでDSLを設計してみたりとか、
GithubでPull Requestを出してみたりとか、
Gemやnpmのパッケージを公開したりとか、
JenkinsでCIしたりとか、
AWSでEC2やS3使ったりとか、
BigQueryでログ集計したりとか、

そういう経験のない人たちばかりですよ、日本の大学の先生って。そんな人たちの授業を受けて、アプリやサービスが作れるようになると思うほうがおかしいでしょう。

ためしに、先生方のTwitterアカウント名でGithubを検索してみてください。いまどきGithubにアカウントがないとか、あったとしてもTestCaseすらないコードとか、そんなものばかりです。「研究内容をライバルに知られるわけにはいかないからGithubは使わない」という言い訳する人がいそう。けど、本当はGitが使えないだけでしょ？

あるいは、先生方の個人ページや研究室の紹介ページを開いて、HTML ソースを見てみてください。doctype宣言がないとか、viewportの指定がないとか、Pタグの中にUL タグを使ってるとか、そんなのばかりです。HTMLすらろくに書けない人が、Web アプリを作れると思いますか？きっとXSSもCSRFも知らないですよ。

ですので、そういうことを勉強したいなら、ベンチャーやIT系企業に入るべきです。大学でそういうことを勉強しようとしても、教えられる人がいないから無理。
（「大学はそんなことを教える場所ではない！」と怒る人いると思うけど、教えられる先生がいないという事実をごまかすために怒ってるだけだから。）

ジャンルが違う

とはいっても、大学の先生がプログラムがいっさい書けないというわけではないです。彼らが得意なのは、コンパイラやインタプリタやOSやソルバを作ることです。これらも実用的なソフトウェアと言えなくはありませんが、ゲームやアプリやサービスとはジャンルが大きく違います。

そのため、大学の情報系学科に進めばコンパイラやOSや機械学習ライブラリを書けるようにはなるかもしれませんが、それはゲームやアプリやサービスではないので、繰り返しになりますがそれらを作りたい人には大学は向きません。

大学で教えている内容ってムダなのか

じゃあ大学で授業を受けるのってムダなのかというと、必ずしもそうではないです。

大学で教えている内容って、ゲームやiOSアプリやWebサービスが一通り作れるようになってから、その先を目指すときになって初めて必要になることが多いです。たとえば、

ゲームを作るんじゃなくて、ゲームエンジンを作るようになったときとか、
Webサービスを作ったあとに、パフォーマンスが足りないからWeb サーバのソースコードを読んでチューニングするときとか、
SwiftやJavaを使うんじゃなくて、SwiftやJavaのようなプログラミング言語を作ることになったときとか、
Amazonのようなサービスを作ったあとに「この商品を買った人はこんなのを買ってます」機能を作りたくなったとか、

こういうときになって、初めて大学で教わった内容が生きてきます。逆にいうと、そういう状況にならないと、大学で教わった内容は生きてこないと言えます。（情報系の学科で学んでいるなら、ライブラリや言語やOSを「使う人」ではなく「作る人」にぜひともなってほしいですね。）

元増田に進めたい進路

元増田は、社会に役立つ実用的なソフトウェアを作りたいようです。しかし残念なことに、大学が教えている内容はその目的には合致していないことを説明しました。

こういう事情なので、元増田には大学をドロップアウトしてIT系の会社に入社することをお勧めします。ドロップアウトが難しいなら、インターンやバイトでなんとしても入り込むことです。

入るべき会社は、教育に力を入れている会社です。20人未満の小さな会社では教育に力を入れている余裕はないので、小さな会社はやめたほうがいいです。簡単にぐぐってみたところ、はてなやPixivやクックパッドやDeNAやドワンゴは教育制度が確立しているようです（違ってたらごめん）。そういった会社に入ったほうが、大学の授業を受けるよりも、元増田の目的にかなうのは間違いありません。

そして何年か働いて、iOSアプリやWebサービスが一通り作れるようになったら、大学に入り直すことです。これはとても効果的なので、元増田には強くお勧めします。

上で説明したように、大学というところは、ゲームやアプリやサービスの作り方は教えてくれず、それらが作れるようになって初めて役に立つことを教えてくれます。そのため、元増田はIT系の会社に入ってアプリやサービスの作り方を勉強し、それらが作れるようになってから再度大学の門をたたくのが、いちばん効率的です。

なお繰り返しますが、入るべき会社は「教育に力を入れている会社」です。今のIT系企業では、インターン生を「格安で使えるバイト君」としか見なしていない会社が多すぎます。そういう会社は、コストが掛かることはいやがるので、教育もろくにはしてくれません。逆に教育に力を入れている会社では、インターン制度を「将来の戦力を選別する期間」と見なしています。

残念ながら、そういう会社は東京に集中しているようです。例外は京都のはてなくらいでしょうか。地方の大学生にとってはつらい現実なので、はてなやPixivやドワンゴは地方でのインターン開催をお願いします。あとレベル5は九大と九工大の学生を鍛えてあげてください。

余談ですが、学生さんにひとこと：

インターンやバイトで潜り込む先の会社を選ぶときは、就活と同じような時間をかけて選んでください。バイトだからとかインターンだからという軽い気持ちで会社を選ぶ大学生が多いから、それを食い物にしている悪質経営者があとを立ちません。インターン生が「格安の学生バイト」として使われている現状を是正するために、学生のほうでも注意してください。

大学で授業を受けなくても独学で効率的に勉強する方法

ドロップアウトを進めた手前、書こうと思ったけど、長すぎるのでやめた。

リツイートが100超えたら書く。

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

2014-10-11

■アプリ屋がRailsを初めて触ってみて感じた事

Qiitaに書こうかと思ったけど、言いたいことも言えない、こんな世の中じゃ。

発想が古臭い

モバイルファースト、API ファーストな文脈でハイブリッド Webをやってきた目からすると、サーバーサイドでHTMLを生成してページ遷移させるなどという90年代調のクラシカルな発想を基本に据えるフレームワークはとても斬新に思えました。HTMLをゴリゴリ生成するなんてよほど特殊な最適化をしようとするのでなければそもそも発想として出てこないです。それでいてDSLやメタプログラミング等のテクニカルな技法が宝石のように鏤められている様はまるでエジプト時代の骨董品を見るかのような趣がありました。turbolinkなどは、かつて表計算ソフトに出しゃばっていたイルカを思い起こさせる味があります。かつて慣れ親しんできたSPAが星のように遠い存在になりました。

モデル？MVC？

Web界隈の人々がモデルだとかアクティブレコードだとか"MVC"だとかを非常に具象的に話す様を見るにつけ、お前らどんだけPofEAA読み込んでるんだよと畏怖していた時期が僕にもありましたが、どうやら彼等はRailsのクラスやディレクトリという特定の実装について話していただけだったようです。Modelという概念もこれだけ肥大化してしまったら、オリジナルな概念で彼等と会話するのは諦めるべきかなと思いましたし、Railsの"MVC"をアンクォートして語るのはもはや害悪であるとすら感じました。

レールから外れる辛さ

Rails界隈の人がよく「Railsの流儀」や「正しい"MVC"」というのを口角泡を飛ばして議論しているのを目にするのですが、おそらく外に広がる不条理で火傷を負って快適なRailsの世界に引き篭もった結果としての一種のストックホルム症候群なのだなと思いました。いまやAjaxとかWebsocketとかWebRTCとかを組み込もうとする至極真っ当な方法論がとてつもない高難度に見えてきます。設定よりも規約、というのも一つの方向性だと思いますが、ドメインやサービスレイヤの名前空間を構築しようとしたりコードジェネレーションしようとしたりしただけで地獄のようなCircular Dependency罰を受けてしまったので、自分がとても間違った事をしているような気がしてしまいました。とはいえConcernsに特別な名前や役割を与えられても正直しんどいので、皆が皆libにゴミを放り込んでいく様子にも納得がいきました。

レイヤ？何それおいしいの

RailsをAPI サーバーとして使おうとするとまずビューが無くなってMとCだけになりますが、いわゆる"MVC"の文脈で育ったエンジニアがなぜ息を吸うようにFat ControllerやFat Modelを作ってしまうのかという事が良く分かりました。多くのRailsのリファクタ手法と称されているものはクラスを書くファイルを分割する事以上のものでは無いように思えたので、Rails使いを大きめなAPI サーバー案件に回すときはセットポジションでDDDの青本を投げつける必要が有るなと思いました。

TDD やれんのか

ビューとコントローラを結合させた場合、結合テストはCapybaraとかのBDDでマークアップサイドとの干渉を恐れながら強い気持ちでメンテしていくしか無いのかなと思いました。おそらく脳に電極を埋め込んでいるか、緑色のランプを見るだけでハイになれる特殊な人にしか生き抜けない闇が垣間見えました。コントローラを薄くしてサービスレイヤを挟めばその辺りもうまくいけそうな気がしましたが、ビューからヘルパーやモデルがいくらでも透けて見えてしまうという状況では裏側の完全性に自信を持つ事は難しそうでした。

分業とか出来るんだろうか

ビューがRubyを叩いて永続化レイヤと直接コミュニケーション出来るというのはとても生産性が高いのだろうとは思いましたが、こうして出来たパーシャルやら何やらをデザイナーとどうやって共有するかを考えると頭痛が痛くなりました。おそらく適当に切り出して綺麗な空間をassets以下に構築した上でpublicにRPCのような窓口を備えたゴミを量産していくのかなと思いましたが、もっと綺麗な方法はあるのかもしれません。でもきっとRails 案件に関われるデザイナーはRubyもバリバリ書けるに違いないはずなので、ここが問題になる事は無いのだろうなと思いました。

RESTとかきついです

RESTはとても美しいパラダイムではありますが、そもそもHTTPがさほど美しくないので歪んだ空間には目を背けるか勝手解釈を与える事で人は初めてRESTfulを名乗る事が出来るのだと思います。GETがbodyを(公式には)持たないという事について美しい説明を与える事は出来ないでしょう。サーチAPIはどうしますか。ステータスコード足りなくないですか。401エラーはどうしますか。そしてRESTはあくまでリソースを抽象化する美しい概念なので、アクションや副作用については貧弱です。動詞が足りないですし、一般動詞に狭義の意味を与えてドキュメントするのは二度手間にしか見えません。PUTには冪等性があるべきみたいなこだわりは家の猫にでも説教してればいいと思います。というわけで、REST的な設計を拝借することはよしとしても、「○○はRESTでは無い故云々～」みたいな注文はやめて頂きたいものです。

そんなに嫌なら他に行けば

とか言わないで欲しいです。こういう時にセットでPHPをディスって悦に浸るのは知る限りRubiestとPythonistaと中学生だけです。それにこれはあくまでサーバーサイド初心者の感想なので、想像するにこれ系のFWは多かれ少なかれ似たような不満を抱えるものなのかなと思います。というわけで、おそらくこれから選択肢がある限りはRailsを使い続けると思います。

だって Ruby 楽しいんだもの。

Permalink | 記事への反応(2) | 12:28

2014-07-17

■関数型入門以前

これ読んでも関数型分からないけど、入り口の前あたりに立つために

関数型言語覚えたらなんの役に立つの？

プログラマとしての引き出しが増える。

って書くと「そんなもんどんなプログラミングテクニックだって一緒だわ」って言われそうだけど、でもそうとしか言い様がない。

とりあえず、オブジェクト指向と同じで、プログラムを構造化して、複数のレイヤーに切り分けて部品化していくテクニックだとは言える。

ただオブジェクト指向とは大分切り口が違う。何ていうか、割と直交する切り口でプログラムの構造を切り分けていく。

なので、関数型とオブジェクト指向と両方憶えるだけで、大分切り口の引き出しが増える。

オブジェクト指向と関数型両方憶えると、プログラマとしての引き出し増やすのに効率が良い、って思えば良いかも。

具体的にどう切り分け方が違うの？

オブジェクト指向は、プログラムの各部品を「あれの中のこれの中のそれの中にあるあれ」みたいな感じで組み合わせる。

部品が更に細かい別の各部品で構成されていて、それぞれの部品が噛み合わさって、複雑な一つのプログラムを構成するような切り方。

関数型言語は、プログラムの部品を「あれをした物にこれをした物にそれをした物にあれをする」みたいな感じで組み合わせる。

もっというとプログラム全体を簡単に記述するできるDSLがあって、そのDSLを簡単に実装するためのDSLがあって、DSLの入れ子構造で一番小さい部品はシンプルな関数、みたいな切り方。

どう使い分けたら良いの？

ケースバイケース。

ではあるんだけれど、シンプルな部品を大量に組み合わせて構成するのがしっくりくるならオブジェクトで、部品数が少ないんだけど一個一個が複雑な動作する構成にしっくりくるのが関数型……かも？

関数型言語の紹介見てると、何かひたすらイミュータブルなデータを弄繰り回す説明ばっかり出てくるんだけど……

関数型言語たる条件として「関数が第一級オブジェクト」ってのがあるんだけど、関数が第一級オブジェクトだとイミュータブルなデータを素直に扱える。

で、イミュータブルなデータ構造使うと色々便利、ってことで実例として一番出てくるという。

何か型型言ってるんだけど、型くらいC言語にすらあるわ。メモリ 領域の確保量を示すあれが何でそんなに重要なの？

関数型言語のエポックメイキング的な言語が三つくらいあって、元祖のLispとその流れ汲んだMLとMLの一種で関数型をある種の到達点に持っていったHaskellって感じ(独断と偏見)。

で、このうちのMLって奴が、プログラミング言語に型システムがついてるんじゃなくて、型システムにプログラミング言語がついてきた存在だったりする。

型で色々やるために生まれたわけで、まぁなんというかそもそも型と密接な関係にあって、Haskellもその流れを汲んでて、こいつが超有名になった、って感じ。

おかげさまで、型使って色々やったりする方法が日々考えられているわけです、静的型付関数型の世界では。

クロージャって、大まかな概念はwikiとかで理解したけど、関数型でどう使われてるの？

関数型言語ではよく「関数と関数を引き取って、合成した関数を返す関数」みたいなのが使われるんだけど、関数と関数の合成って、それ合成された関数がもともと引数として与えられていた関数憶えてないと無理やん？　自分自身の構成部品憶えてられないわけだから。

クロージャあると憶えててくれるわけですよ。

そんな感じで高階関数を実用的なレベルで使うのには大体必須と言う。

モナドとやらは何に使うものなの？　何が便利なん？

関数型言語はDSLを作りまくる言語みたいに書いたけど、モナドはちょっと複雑なDSLを簡単に作らせてくれる仕組みだと思っとけば良い。

Haskellは副作用が一切ない純粋 関数型言語って言うけど、副作用なしでどうやって入出力してるの？

まず純粋の定義だけど「全ての関数は同じ引数を与えられた際、必ず同じ値を返す」ってことで、これがいわゆる副作用がないって状態だ。

で、これって逆に言えば「プログラム内である関数に対して、絶対に同じ引数を与えさえしなければ、その関数がどんな値を返したところで、事実上純粋だと言えてしまう」ってことでもある。

本末転倒感があるんだけど、HaskellではIOモナドという仕組みと特別なmain 関数を使って「呼び出すたびに絶対に違う引数を自動的に関数に与えてくれる仕組み」を実現していて、こいつを使って入出力する。

うん……凄い本末転倒。ちなみにこの自動的に与えられる引数はRealWorldって名前がついていて、要は「刻一刻と変わり続け絶対に同じ状況にならない現実世界の状態を引数に取っちまっているようなもんだからしょうがないだろ？」的な感じ。

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

2014-06-24

■はてなブックマークをもっと便利に楽しめるかもしれない非表示 リスト

Permalink | 記事への反応(9) | 12:23

2014-05-03

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

みんな少ないね。おれは前はかなり非表示に入れてたよ（下を見てね）。気にいらない記事をブクマしてるやつらは全員非表示にしてた。これだけ非表示にしてもたいして見える景色は変わらない。いまは元に戻したけど。うぜえと思ったらどんどん非表示にするといいよ。（*追記　なんか改行しないせいか途中で切れてたので、ところどころ改行してみた）（*追記2　文字数制限でもあるのか全部入らないので別記事にする→http://anond.hatelabo.jp/20140504105600、http://anond.hatelabo.jp/20140504110458）

Permalink | 記事への反応(7) | 23:01

2014-04-20

■SIerを辞めさせてくれなかったのでエロサイトを作りました

結論から申し上げますとエロサイトを作成いたしました。

ゆーすけべーさんが以前に作ってたimeeroみたいな感じです。画像 Blogをスクレイピングしてエロ画像を効率的に見るサイトです。

だらだらエロ画

なお、先程解約手続きを済ませたので4月末くらいに見れなくなります。エロサイト自体にあまり興味がなく、ローンチしたらやる気が無くなったのです。

主要な技術

Ruby on Rails
Nokogiri
Bootstrap
ImageMagic
RSpec
CoffeeScript
Capistrano
Underscore.js

生産性よりも憧れの昇華を重視しました。

テスト駆動開発がやりたく、DSLに強いロック魂を感じたRSpec。

はやりに乗ってBootstrap。

特に Capistranoは名前がキュートでやっていることがカッコイイのでどうしてもやりたい技術でした。

あと、メインとなるRailsはこの記事に書いているスキルの中で唯一経験が無かったというのが一番の理由です。Rubyが好きなのもありますけどね。

辞めたい理由

趣味ではClojureやHaskel、Pythonを使っているのに、業務ではCobolとかJavaとか古い技術ばかりで言語仕様のダメさで憂鬱になる
プロパー会社の人にプログラムの分からないことを教えているとき「この人は自分の2倍も給与もらっているんだよなぁ」とか考えて発狂しそうになる
業界全体の技術が低く、オブジェクト指向を理解している人ですら100人中3人程度しかいない
自称 Java プログラマなのにgetElementByも知らない人ばっかり

会社を辞められない理由

いやぁ、退職しようとすると会議室で8時間説教されるって都市伝説じゃないんですね〜。

ところで転職活動をした感覚だと、今より給与が2倍出るところでも簡単に内定が出ることが分かりました。

転職活動やエロサイト作成を通して精神的な余裕も出ましたので、もう少しSIerそのものの問題、仕事の進め方などを熟考した上で、本当に正しいSIerのあり方を考えたいと思います。無理そうなら逃げます。

以上、よろしくお願いいたします。

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

2014-04-10

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

id:minamiyama1994 さん、反論してくださってありがとうございます。

Haskellファンのご意見がいただけて嬉しいです。元増田です。

記事全体で「関数型言語」と呼ばれているものは「関数型言語一般」ではなく「Haskellや一部OCamlの話題を含むごくごく一部の言語」の話である

わかりにくくてすいません。記事では「関数型言語」の話はしていません。「関数型プログラミング」の話をしました。

「関数型言語」は範囲がよりボンヤリとした表現です。たとえばC言語が関数型言語かどうかをみても賛否両論にわかれるでしょう。

私が記事を書いた目的は、”関数型プログラミングに縁のない人に関数型プログラミングをわかりやすく紹介したい”でした。

その目的のため、「関数型言語」という表記を注意深くとり除き、代わりに「関数型プログラミングをサポートした言語」という言い方をしています。

このスタンスの上で、

”関数型プログラミングをフルにサポートした言語”の代表として、Haskellを紹介し、

”関数型プログラミングへのサポートが片手落ちな言語”として、LispやErlangなどを扱いました(それらのファンの皆、ごめんなさい)。

「言語パラダイムの話題」と「言語の話題」と「ライブラリの話題」と... を混同している

関数型プログラミング初心者の方は、それらの差異なんてどうでもよい、と考えるのではないでしょうか。

関数型プログラミングとは何が良いのか、を大雑把に知りたい。

そうなのではと考えて、あえて区別せずに記事を書きました。

「たとえばモナドを知っていれば、30分程度でパーサー(解析機)を理解することができて」？　モナドはそんな限定的用途のものではないし、パーサの理解とは無関係だ(単にライブラリの設計の問題)。それにApplicativeスタイルのほうがパーサが書きやすいという人もいるだろう

id:minamiyama1994 さんの仰るとおり、モナドはパーサー以外の多くの応用があります。

現状多くのパーサーがモナディックパーサーとして書かれています。モナディックでないパーサーは、あまり多くのユーザーには使われないでしょう。

モナドなどの抽象的な構造が幅を利かせてるお陰で、ライブラリに秩序が生まれ、ユーザーはそれを使いやすく・読みやすくなっている、というのが私の言いたかった主張です。

(なお細かいことで恐縮ですが、ある種のモナディックパーサーはApplicativeでは書けません。その点をお忘れですよ)

「テキスト処理」に対して
お前それShellやPerl、RubyやPythonの前でも言えるの？
「GUI」に対して
GUI ライブラリの設計にもよるけど、GUIってOOPの強い分野だと認識していたのだけれど、さてはて

この二つは、先人が不利な環境ですごく頑張った成果が現状なのだ、と思っています。

本質的には関数型プログラミングの強みが活かせる分野のはずです。

「個人の技量の話題」

「レシピ」に関しては、関数型プログラミングのスタイルでは、手続きを手続きとして自然に表現できるのに対し、オブジェクト指向ではできない(DSLチックなものになってしまう)、ということを言いたかったのですが、

わかりにくかったですね。

「書きやすい」

(*)関数の例で、関数型プログラミングの無駄の無さを示せた、と思ったのですが…

僕自身はC++とHaskellの両方を書く人間で、確かにC++の方が「短く書ける」と「感じる」ことは多い

~~マヂですか…反論のためのでっち上げとかじゃなくて(失礼)？~~(追記: Haskellの方が「短く書ける」、のタイポだそうです)

記事そのものに価値は基本的にないっぽい、こういう記事撲滅されないかなぁ

Haskell 布教のために有休とって４時間かけて書いたのにーw

撲滅…

ｼｮﾎﾞｰﾝ(´・ω・｀)

Permalink | 記事への反応(3) | 17:27

2014-04-09

■オブジェクト指向 v.s. 関数型プログラミング

近年、関数型プログラミングの重要性はいろんなところで叫ばれています。

Javaの最新バージョンに関数型プログラミングに関する新機能が加わりました。

Rubyも昨今、関数型プログラミングへのサポートが手厚くなってきています。

プログラミングの教科書の大手、オライリー社から、Javascriptで関数型プログラミングを行うための解説書が発行されました。

関数型プログラミングへの注目度は高まってきています。

おそらく、みなさんは既にオブジェクト指向が何か、を知っています。

でも関数型プログラミングとは何か、胸を張って語れる人は、周りに見当たらないかと思います。

実際、オブジェクト指向によってプログラミングする方法は、わかりやすい解説があちこちにある一方で、

関数型プログラミングとは何か、何が良いのか、ということについての、よいまとめは見つけることはできませんでした。

この記事を読む方の中で、「関数型プログラミングを取り入れるか・取り入れないか」で切実に悩んでいる人は、おそらくいないでしょう。

この記事はあまり細かいところに立ち入りません。関数型プログラミングを使う側の立場に立って、利点や向き・不向き、それが導くスタイルを書きました。

みなさんは鳥のように飛んで、高い空から、関数型プログラミングとは何か、何が良いのか、を見渡してください。

ふたつの アプローチの比較

オブジェクト指向的アプローチは、名前をつけてプログラムを整理する。

関数型プログラミング的アプローチは、汎用部品でなんとかする。

オブジェクト指向的アプローチ

Googleが近年リリースした言語、Goには、”継承”を直接サポートする仕組みが無いことが話題になりました。

また、Mac OSXの基幹ライブラリ Core Foundationは、ライブラリ自体はC言語で書かれているにもかかわらず、その設計方針は明確にオブジェクト指向です。

継承やクラスは、オブジェクト指向の必須条件ではありません。

オブジェクト指向の本質とは、何でしょうか。

その本質とは"名前をつけて対象を識別し、それを扱うこと"、にあります。

最もプリミティブなオブジェクト指向の対象は、ファイルハンドラです。あるファイルを開いて、読み込んで、あるいは書き込んで、ファイルを閉じる。

これらの処理をまとめたら、わかりやすいですよね？

対象に関する処理を、対象の周りにまとめる。これがオブジェクト指向の基礎的な理念です。

識別することとイコールで比較できることは、とても良く似ています。

イコールによる比較は、オブジェクト指向では鬼門であることが知られています。

Point クラスのインスタンスとColoredPoint クラスのイコール演算をどう決めればいいかに、正解はありません(詳しくは"effective java"をご参照ください)。

また名前をつけて識別する対象は、フワフワしていてはいけません。

たとえば、"軍人の階級"をオブジェクトにしたとしましょう。"大佐"クラスのある兵士は名前のフィールドや、性別のフィールドを持っているでしょう。

ところで彼が昇格したときに何が起こるでしょうか。

新たに"少将"クラスのインスタンスが作られます。"大佐"クラスを破棄する前に、名前、性別、その他沢山のデータを引き継がなくてはいけません。フィールドを増やしたい場合はその都度コードに修正を加える必要があります(*)。

なるべくイコール比較を避けたい。対象は不安定なものではいけない。では何に名前をつけて、識別するか。そこにオブジェクト指向技術者の熟練度が現れるのです。

関数型プログラミング的アプローチ

一方、関数型プログラミングでは、特定の何かに名前をつけるより、極力、汎用部品でなんとかしようとします。

小さな関数を、集めて撚り合わせて、新しい関数を作る。

関数自体をリストなどのデータ構造に詰めることもよく行われます。

実は、関数型プログラミングというのは本質を表していません。

その真の名は、"値指向プログラミング"です。

関数をはじめとして、リスト・ツリーのようなコンテナ、手続きを抽象化したもの、回路を抽象化したもの。

あらゆる対象を値として、合成し、ときに分解し、新しい値を作ります。

変数という概念は必要ありません。

変数に適用する処理を作りあげることが、とても簡単だからです。

四則演算が定義されたデータを詰めたデータ構造もまた、四則演算可能だったり。

値をイコール比較することも、なんのそのです。

誤解を恐れずに言うと、オブジェクト指向がトップダウンなのに対し、関数型プログラミングはボトムアップです。

関数型プログラミングの利点

読みやすい・理解しやすい

関数型プログラミングをサポートする言語には、沢山の汎用部品が定義されています。

ファンクタ: "コンテナ"一般を表すもの。
モナド・コモナド: "手続き"一般を表すもの。
アロー: "回路"一般を表すもの。
トラバーサブル: 木やリストのような、各所を周って要素に変更を加えられるデータ構造一般。
フォルダブル: 再帰的に"畳み込めるデータ構造"一般を表すもの。

このような構造をインターフェイスとして、様々なライブラリが組まれているので、

たとえばモナドを知っていれば、30分程度でパーサー(解析機)を理解することができて、

パーサーを理解できれば、JSONパーサー・ XMLパーサー・markdownパーサー・C++パーサー ... などを理解するのはとても容易です。

理解しやすいこと。これが関数型プログラミングの大きな利点です。

追記:

また、汎用部品と型のお陰で、ライブラリのドキュメントが圧倒的にひきやすい、というメリットも有ります。

Haskellな人がPythonにトライした結果 - Togetterまとめ

書きやすい

関数型プログラミングは「厳密な事前設計を必要とするため、簡単なことをやるのにも時間が掛かる」。

よく誤解されていますが、これはウソです。

スクラッチでプログラムするのは、非常に手軽です。

＞＞ map (*2) [1,2,3]
[2,4,6]

邪魔な”儀式”や、"おまじない"のコードが徹底的に撤廃されているためです。

関数型プログラミングのコードは、潔癖かつ濃密です。

たとえばC言語でint hoge(int x,int y)が定義されているとき、hoge(3)はなんの意味も持ちませんが(コンパイルでコケますが)、関数型プログラミングでは意味があり、実際に有用です。

上の例では、「掛け算をする」(*)関数は、二引数関数ですが、それに引数を渡して作られた「2を掛ける」関数(*2)は、一引数関数になります。

関数型プログラミングでは、「簡単なことは簡単にでき、複雑なことは複雑にできる。ただし、間違ったことは殆どできないか、全くできない」。

多くのバグは、コンパイルエラーとして検出されます。

また、静的型付けの力によって、コード補完は非常に強力になっています。インテリセンスの比ではないです。

たとえば、関数中のある表記の型を任意に表示できます(GHC/TypedHoles - HaskellWiki)。

やがてやってくる未来には、プログラムをテキストエディタで書くことは時代遅れになっているでしょう。

統合環境のサポートで、バグやミスの少ない、スムーズなプログラミングができます。

そしてその環境で動くプログラミング言語は、関数型プログラミングをサポートした言語なのです。

いつ関数型プログラミングか

以下の様な兆候を感じたら、あなたはそのプログラムを関数型プログラミングで書くべきです。

"人工物"クラスが増えてきた。
Builder パターン、Strategy パターン、Command パターン、Interpreter パターンが増えてきた。
DI注入のとき、コンストラクタ注入にするか、セッター注入にするか、いつも迷う。

一般に、オブジェクト同士の相互作用が複雑になるほど、オブジェクト指向では手に負えなくなっていきます。

そういうときは、オブジェクトを直接扱わず、替わりにその"相互作用"を扱うことで、複雑さを軽減するアプローチが有効です。

それこそが関数型プログラミング的アプローチです。

オブジェクト指向の利点

初心者にとっては読みやすい・理解しやすい

特にオブジェクト指向が有効なのは、プログラミング初心者がそのコードをいじるかもしれないときです。

関数型プログラミングは、強固さと柔軟さの代償として、高い学習コストを伴います。

そのため、初学者にとってはハードルが高いのです。

扱う対象があまり複雑でない時は、書きやすい

オブジェクト間の相互作用が複雑でなく、着目している(名前をつけている)概念が安定しているとき。

そして、プログラムをいじる人たちの間で共通理解が図れているならば、オブジェクト指向が有利です。

関数型プログラミングの得意分野はなにか

数値計算

遅延評価という機能によって、レガシーな言語で扱えなかった、巨大な数を扱うことができます。

分数を扱うことができます。虚数もです。

関数型プログラミングで書かれたプログラムは、正確さが要求される、金融関連の業界で使われています。

テキスト処理

手続きとしてパーサーを記述できるので、テキスト処理プログラムはより理解しやすく、メンテナンスしやすいものになります。

関数型プログラミングを知らない人は、「正規表現でおk」と言いますが、

彼の書いた複雑な正規表現は、半年後には(書いた本人でさえ)理解できなくなっていることでしょう。

並行処理

手続き一般を扱うことができるので、途中で割り込みのある手続きの表現も容易です。

関数型プログラミングをサポートしていない言語ではコルーチン(ファイバー)などをつかってなんとかするしかありません。

さもなくば、非並行処理では普通に関数として記述できるところを、並行処理のために、Builder,Strategy,Command,Interpreter パターンを駆使して書き直すことになります。

Javascript使いの方は、Deferredなどの構造を使うでしょう(http://qiita.com/KDKTN/items/4c6986049d204f0645d8)。

C++使いの方はBoostで頑張りましょう。破滅的に解りにくいコンパイルエラーメッセージと格闘してください。

レシピ

もう少し簡単な例をあげます。

あなたは、あるレシピにしたがって、自動的に料理を行うマシンの制御プログラムを書いているとしましょう。

料理のレシピは、"手続き"ですよね？たとえば、カレー。

1. まず玉ねぎを炒める。

2. 飴色になったら、肉を加えて炒める。

3. 野菜を加える。

4. 水を加えて煮る。

5. スパイスを加える。

しかしあなたはこの手続きを関数として表現できるでしょうか。

…できませんよね？何故ならば、各ステップの"間に"、マシンのロボアームの位置や動きを調整する処理が必要だからです。

これをオブジェクト指向でやろうとすると、各ステップの副作用として、それらの処理を行うことになります。

そうすると、マシンが二機に増えた時などの変更量は、絶望的なものになります。

あるいは関数として表現するのを諦め、手順全体をDSLで記述できるようにします。

このアプローチは関数型プログラミング的です。しかし関数型プログラミングをサポートした言語の助けなしでは、そのDSLを記述するために沢山のユーティリティーコードを書かなくてはならないでしょう。

オブジェクト指向的アプローチでこの問題をエレガントに解こうとすると、クラス化の粒度を上げる事になります。

野菜クラス、フライパンクラス、ボイルクラス、フライクラス、焼き加減クラス、アームクラス、野菜の大きさクラス、切り方クラス、焼き方クラス、"焦げたよ"クラス、etc...

こうすると早晩レシピはプログラムのコード上から消え去ることになります。上記のたった5行は、依存性注入のオブジェクトグラフを構築するコードに取って代わることになります。そこには沢山の挙動の制御がオプションとして付記されているのです。

カレーなど、ある種のレシピに限定することで、見た目の理解しやすさを得ることができますが、一方それは表現力を損なうことを意味します。

C言語などではマクロを使うこともできますが、それは結局、関数型プログラミング的アプローチの意味するところと同じになります。すなわち、補助のために沢山のコードを書くことになるでしょう。

GUI

iOSのAppstoreアプリは、"無料"と書かれたボタンを押すと、それが"インストール"ボタンに変わり、それをもう一度押すと、ダウンロードの進捗を表すインジケータに変わり、それを押すとダウンロードをキャンセルできます。

このように、位置は同じなのに、ステートに依って見た目と機能が変わるボタンは複雑です。

これをオブジェクト指向で実現しようとすると、

1. 三つの異なるボタンを同じ位置に置くか

2. 同じボタンが三つの異なる機能を持つか

という下らない問題にぶつかります。

一方関数型では、"機能"、"見た目"、"状態"、を独立に扱って、それらを合成してボタンを作るので、迷うことはありません。

「同じ位置にあるUIオブジェクトは、コード上で(インスタンスとして)独立して、他から干渉を受けない」

この条件が満たされているうちは、オブジェクト指向でGUIを実現することに無理はありません。

しかし、携帯端末のような小さい画面で、多くの機能を達成するためには、UI要素はコンテキスト依存的に複雑になりがちです。

近年、PCのディスプレイの大きさは、頭打ちになってきました。

画素数は増えているのですが、MacにおけるRetinaのように、複数ピクセルでひとつのドットを表すようになってきています。

これは、ひとつの画面に置かれるボタンなどのUI要素の数は、これから先の未来で増えることはない、ということを意味します。

したがって、未来のGUIのプログラミングは、注意深く機能をピックアップして制限するというデザイナーの努力を脇におけば、

関数型プログラミングの力を頼るしか無いでしょう。

はじめよう、関数型プログラミング

つまり…

Haskell さいこうなのおおおおおおおおおおおおおおおおおお!!　おしっこ漏れちゃうのおおおおおおおおおおおおおおおおおおおお(゜∀。)ﾜﾋｬﾋｬﾋｬﾋｬﾋｬﾋｬ

1. google:すごいHaskellたのしく学ぼうを注文する。

2. Download Haskell を自分のPCに導入する。

3. コンソールにghciと入力して、対話型コンソールを立ち上げる。

4. 次の関数をコンソールに打ち込んで、結果を見る。即値で書かれているところとかをいろいろ変更してみて、感動する。

take 4 $ map (*2) [1..]

5. ステップ1で買った教科書を読んで、学ぶ。

追記:

いかがでしたか？

ちまたには、関数型プログラミングの利点は変数が無いことだ、とか、より安全だから、とか、より速いから、などという妄言が満ち溢れています。

オブジェクト指向と関数型プログラミングは、水と油ではありません。プログラマは自分のプログラムに最適なアプローチを選ぶことができます。

一般にはあまり知られていないことですが、Haskellにもオブジェクト指向へのサポートがあるんです(Lensライブラリ、これを使用したサードパーティ製ライブラリも最近増えてきています)。

この記事を読んだオブジェクト指向プログラマのあなたが、少しでも関数型プログラミングに(そしてHaskellに)興味を持ってくださって、ホームセンターの大人用オシメのコーナーが大賑わいになれば幸いです。。

Permalink | 記事への反応(8) | 01:08

2014-01-17

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

モデルで発生するイベントが多く、複雑になるほど、ビューとの関連は密になる。

ここの所は、今回の例ではいまいち見えづらい気がする。今回の例で複雑になっているのはモデルだけである。ビューがやる事は、「納刀する」「変色した血が飛び散る」イベントをlistenして画面に描画するだけのはず。MVCのイベント機構は、モデル→ビューとコントロール→モデルのメッセージ通知を行うためのもので、モデル同士の通信についてはノータッチ。モデル内での相互作用に、単なるメソッド呼び出しを超えたあれこれが必要なら、DSLを作るなり自前でイベント機構を作るなり好きにして下さい、というスタンスかなあと思われ。

といってもQtのsignal/slotなんかはモデル同士の通信にも使えるわけで、そういう意味で最近のGUI エンジンはMVCの範囲を超えつつある。具体的に「Controllerからの入力もModelの自発的な状態遷移も、同じイベント機構で扱いましょう」というのはMOVEの考え方に非常に近い。

http://blog.neo.jp/dnblog/index.php?module=Blog&action=Entry&blog=pg&entry=3442&rand=9193a

MOVEの考え方からいえば、モデルの責務が吸い出されて単なるデータになってしまうのは、むしろコンセプト通りであるとも言える。

なお、単純な例を超えてRPGの実装を自分が考えるなら、オブジェクト指向設計としては攻撃方法型や特殊作用型（毒とか呪いとか）同士の相互作用を主眼に置いた感じになって、モンスターや勇者は単なるデータに近付いていくだろうなあ、と予想してみる。組んでみないと分からない事もあるだろうけれども。

Permalink | 記事への反応(1) | 00:03

2014-01-16

■実はMVCってしっくりこないんです

例えばスーファミのFFみたいな、古典的なRPGの戦闘シーンを作っていて、「勇者がモンスターを攻撃する」。

勇者.attack(モンスター);

という設計だったとする。

これに「モンスターが毒を受けて、自死する」という挙動を追加するケースを考える。

毒.attack(モンスター);

やや複雑な変更になりそうだが、勇者の攻撃とのタイミングの差で、

攻撃しようとしたときに、モンスターが毒で既に死んでいた場合、勇者は振り上げた剣を納刀する
毒を受けているモンスターが勇者の攻撃(斬撃)で死んだら、毒に侵されて変色した血が飛び散る

のようになるとしよう。

さて、変更する箇所は...

まず、インターフェイス"攻撃者"をつくって、「勇者」、「毒」をその実装とする。加えて...

Model 勇者への変更:

斬撃後に死んでいた場合(*) 、納刀する

入力Controllerへの変更:

攻撃前に既に死んでいた場合、攻撃できないようにする

Model モンスターへの変更:

毒を受けているモンスターが斬撃で死んだら、変色した血が飛び散る
死んでいるかどうかを返すメソッドの追加(*)

しかしこの変更は非常に複雑だ...

困ったこと１

この設計変更によって、

斬撃 ⇒ 死ぬ

が、

斬撃 ⇒ 死ぬ ⇒ 毒
毒 ⇒ 死ぬ ⇒ 斬撃
毒 ⇒ 斬撃 ⇒ 死ぬ
斬撃 ⇒ 毒 ⇒ 死ぬ

の４パターンに増えた(※ただし最後のパターンに関しては今回特に修正の必要はなかった)

攻撃者がひとつ増えるごとに、これらの分岐は倍、倍に増えていく怖れがある。

困ったこと２

あらたに攻撃者を追加すると、既存の攻撃者を変更しなければならない。

困ったこと３

この変更によって、全体の時間的な流れがよくわからなくなった。

例えばさらに攻撃者「呪い」を追加したとする。

するとModel モンスターには

既に毒を受けているときに呪いを受けたら
呪いを受けたあとに斬撃で死んだら

等々の分岐が並ぶことになる。この分かりにくさは単にState パターンを導入しただけでは本質的には改善しないだろう。

考察

MVCにおけるモデル、は振る舞いを持ったデータだ。モデルが状態変化したとき、イベントが発生する。

しかしその状態変化が別のモデルの状態変化のタイミングに影響をうけるとき、モデルの設計はとても複雑になり、読みにくくなってしまう。