私と型システムとポエム
最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくまでポエムですので中身はないです 私は型理論専攻で学位はとったものの研究者ではないのであまり信用しすぎないように 型システムの過去 型システムは大まかに次のような利点があるとされてきた(個人的主観) 「異常」なプログラムを検出する仕組み 静的解析による分かりやすいエラーメッセージ 型そのもののドキュメント性 IDEでのcompletionに貢献 最適化に貢献 (数学に正しく裏打ちされたsemanti
研究社ウェブ・はじめての英語史
第11回 なぜ英語はSVOの語順なのか？（前編） 1 日本語と英語の語順の違い みなさんは，英語を学習し始めたとき，英語の何に違和感を感じていましたか．英語は多くの点で日本語と異なるタイプの言語ですから，違和感は多種多様だったはずです．文字や発音への戸惑いから始まって，語彙や文法に至るまで，あらゆる点が不思議だったのではないでしょうか． 筆者の場合，特に違和感を感じたのは英語の語順でした．なぜ「私は英語を学びます」が *I English study. ではなく I study English. なのだろうか，なぜ「野球をしましょう」が *Baseball play let’s. ではなく，Let’s play baseball. なのだろうかと．なぜ日本語のような主語 (S)＋目的語 (O)＋動詞 (V)という語順にはならずに，SVOという語順になるのだろうかと．この違いは両言語の世界観
松岡正剛の千夜千冊
先週、小耳に挟んだのだが、リカルド・コッキとユリア・ザゴルイチェンコが引退するらしい。いや、もう引退したのかもしれない。ショウダンス界のスターコンビだ。とびきりのダンスを見せてきた。何度、堪能させてくれたことか。とくにロシア出身のユリアのタンゴやルンバやキレッキレッの創作ダンスが逸品だった。溜息が出た。 ぼくはダンスの業界に詳しくないが、あることが気になって５年に一度という程度だけれど、できるだけトップクラスのダンスを見るようにしてきた。あることというのは、父が「日本もダンスとケーキがうまくなったな」と言ったことである。昭和３７年（１９６３）くらいのことだと憶う。何かの拍子にポツンとそう言ったのだ。 それまで中川三郎の社交ダンス、中野ブラザーズのタップダンス、あるいは日劇ダンシングチームのダンサーなどが代表していたところへ、おそらくは《ウェストサイド・ストーリー》の影響だろうと思うのだが、
2019年のJava | gihyo.jp
今後のJavaの成長と仲良く付き合う 時代の波にあったリリースモデルのアップデート 2017年Java SE 9がリリースされて以降、Java 10、11が半年に1度リリースされるようにリリースモデルが変更されました。このリリースモデルの変更に関して、グローバルのJavaエンジニアはとても好意的に受け取っています。 今までJavaは約3年に1度大きなメジャーバージョンアップを行っていました。しかし、今の時代、IT業界における3年という時間はあまりにも長すぎます。今から3年前、2016年のIT業界では、Dockerなどのコンテナ技術がトレンドになりました。このころは、まだKubernetesも主流になっていないころです。しかしこのたった3年で、IT業界のトレンドや情勢は大きく変わりました。 このような変化の激しいIT業界において、3年ごとにしかアップデートができないプログラミング言語は致命的
漸進的型付け言語の時代に必要なもの - mizchi's blog
最近では、Gradual Typing、漸進的型付けと呼ばれる型システムを備えた言語(拡張)が増えてきています。 次のようなもの JavaScript: TypeScript / Flowtype Python: mypy / pyre-checker PHP: hack / php-storm flow/pyre-checker/hack と facebook 製が多いですね。 この記事は、それらを使う動機と運用について書きます。この記事の出発点として、 おそらく TypeScript/Flow で発生した問題が後発の言語で発生すると思っており、それらを使う方や、設計する人への提言でもあります。 自分は昔 https://github.com/mizchi/TypedCoffeeScript というAltJS作ろうとして、実装のツラミはなんとなく知ってるつもりです。ホビーレベルで作るもの
ぼくたちのかんがえたさいきょうのi18n国家
本記事は下記のtweetから始まるスレッドに触発され、@qnighyや@na4zagin3からアイディアを拝借して書いた。 i18n力が最強の国は国内に複数の言語があり、そのうちいくつかは他国でも使われている言語の方言で、1バイト文字での代替表記が困難で、歴史的にISO-2022ベースの文字コードとUnicodeと独自エンコーディングが混在していて、フリガナなどの特殊な組版規則があり、右書き左書き縦書きを併用し、 — Masaki Hara (@qnighy) 2018年8月6日 皆さんのおかげで最強のi18n国家が建設されつつある。一瞬で滅びそう — Masaki Hara (@qnighy) 2018年8月6日 長い前置き ソフトウェアのi18nは難しい。自文化では当たり前と思っていてハードコードしてしまった仮定が崩れて、大幅な再設計を余儀なくされるからだ。気づいて再設計できればまだ良
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Togetter - 国内最大級のTwitterまとめメディア