「typing」カテゴリーアーカイブ

型システム 〜プログラムの安全性を支える数学〜 – Laborify

型システム 〜プログラムの安全性を支える数学〜 - Laborify

型システム 〜プログラムの安全性を支える数学〜 - Laborify

京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です.大学では,プログラミング言語理論,その中でも特に型システムの研究をしています. この記事では,私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します.プログラムや型システムといった基本的な概念から...

はてなブックマーク - 型システム 〜プログラムの安全性を支える数学〜 - Laborify はてなブックマークに追加

突撃!隣のキーボード 2018 – Feedforce Developer Blog

突撃!隣のキーボード 2018 - Feedforce Developer Blog

突撃!隣のキーボード 2018 - Feedforce Developer Blog

こんにちは、 キースイッチ可愛い同好会 会員番号3番、 id:hano_tea です。 皆様は「突撃!隣のキーボード」という記事をご存知でしょうか? developer.feedforce.jp 上記はフィードフォース開発者ブログで昨年11月15日に投稿した記事ですが、実は同タイトルの記事が色々な会社の(技術)ブログで公開されていたりします...

はてなブックマーク - 突撃!隣のキーボード 2018 - Feedforce Developer Blog はてなブックマークに追加

「英語キーボード」の根強い人気が続く理由 – ITmedia NEWS

「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS

「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS

実際の使い勝手は? 日本語キーボードと英語キーボードの使用感はどのように違うのでしょうか。私の主観ではありますが、PCメーカー社員という職業柄、日頃からいずれの配列も使っていますのでその見解を率直に紹介しましょう。 まず、両者で形状の異なるEnterキーです。英語キーボードでは細いバーのような形をしており...

はてなブックマーク - 「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS はてなブックマークに追加

「英語キーボード」の根強い人気が続く理由 – ITmedia NEWS

「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS

「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS

実際の使い勝手は? 日本語キーボードと英語キーボードの使用感はどのように違うのでしょうか。私の主観ではありますが、PCメーカー社員という職業柄、日頃からいずれの配列も使っていますのでその見解を率直に紹介しましょう。 まず、両者で形状の異なるEnterキーです。英語キーボードでは細いバーのような形をしており...

はてなブックマーク - 「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS はてなブックマークに追加

「英語キーボード」の根強い人気が続く理由 – ITmedia NEWS

「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS

「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS

実際の使い勝手は? 日本語キーボードと英語キーボードの使用感はどのように違うのでしょうか。私の主観ではありますが、PCメーカー社員という職業柄、日頃からいずれの配列も使っていますのでその見解を率直に紹介しましょう。 まず、両者で形状の異なるEnterキーです。英語キーボードでは細いバーのような形をしており...

はてなブックマーク - 「英語キーボード」の根強い人気が続く理由 - ITmedia NEWS はてなブックマークに追加

漸進的型付け言語の時代に必要なもの – mizchi’s blog

漸進的型付け言語の時代に必要なもの - mizchi's blog

漸進的型付け言語の時代に必要なもの - mizchi's blog

最近では、Gradual Typing、漸進的型付けと呼ばれる型システムを備えた言語(拡張)が増えてきています。 次のようなもの JavaScript: TypeScript / Flowtype Python: mypy / pyre-checker PHP: hack / php-storm flow/pyre-checker/hack と facebook 製が多いですね。 この記事は、それらを使う動機と運用について書きま...

はてなブックマーク - 漸進的型付け言語の時代に必要なもの - mizchi's blog はてなブックマークに追加