私と型システムとポエム
最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくまでポエムですので中身はないです 私は型理論専攻で学位はとったものの研究者ではないのであまり信用しすぎないように 型システムの過去 型システムは大まかに次のような利点があるとされてきた(個人的主観) 「異常」なプログラムを検出する仕組み 静的解析による分かりやすいエラーメッセージ 型そのもののドキュメント性 IDEでのcompletionに貢献 最適化に貢献 (数学に正しく裏打ちされたsemanti
Samuel Gélineau からの返信その1(翻訳) - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? Sure, I am happy to help! もちろん、喜んで協力します！ Do you think Haskell is underrated as an industrial, professional programming language by IT project managers? Yes, definitely. There are a few aspects of Haskell which makes it look like a bad choice: はい、全く持ってその通りです。いくつかの点でHaskel
話は変わるけど各プログラム言語の呼び名のまとめてみた - 着ぐるみ追い剥ぎペンギン
■JavaScript JavaScripter（ジャバスクリプター） JSer（ジェイサー） ■Flash Flasher（フラッシャー） ■PHP PHPer（ペチパー） ■Perl Perler（パーラー） Perl Monger（パール・モンガー） ■Python Pythonista（パイソニスタ） Pythonian（パイソニアン） Pythonist（パイソニスト） Pythoner（パイソナー） ■Ruby Rubyist（ルビイスト） ■JAVA JAVAer（ジャバー） ■Scala Scalalian（スカラリアン） ■LISP LISPer（リスパー） ■COBOL COBOLer（コボラー） ■Haskell Haskeller（ハスケラー）
関数型言語を学ぶことは実務でどう役に立ったか - Rejasupoem
関数型LT大会で「実社会の問題を解決する関数型言語」というタイトルで発表しました。 というのも、会社で「すごいHaskellたのしく学ぼう！」の輪読会をしていて、最初こそ10人以上の人が参加していたのだけど、章が進むごとにどんどん人が離脱していって、主催者としてはなんとか完走したいという思いがあったので、調べたのですが、 ヒアリングから、この二つの線がクロスしたときに、人は離脱するという知見が得られました。 ということで、Haskellに対して実用性を見出したいと思いながら半年を過ごしたのですが、実用的 = 仕事で使うということであれば、今の現場でHaskellに移行するのは現実的ではありません。 でも、Haskellには関数型言語のエッセンスが詰まっていて学びが多かったと思っていて、直接的には使っていないけど、概念として役立つことがあると思ったので、それを伝えるために今回文章に起こしまし
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
