The State of Ruby 3 Typing | Square Corner Blog

2020/07/29 13 users ＲＢＳ signatures TEAM

The State of Ruby 3 TypingIntroducing RBS, Ruby’s new type signature language We're pleased to announce Ruby 3’s new language for type signatures, RBS. One of the long-stated goals for Ruby 3 has been to add type checking tooling. After much discussion with Matz and the Ruby committer team, we de... 続きを読む

Python と Ruby と typing - methaneのブログ

2016/09/09 267 users Matz methane yukihiro Python

2016 - 09 - 09 Python と Ruby と typing うーん、structural subtypingとダックタイピングは同じものなんだろうか。 — Yukihiro Matsumoto (@ yukihiro _matz) 2016年9月8日 https://t.co/5Rv86piThC wikipedia によると似て非なる物のようですね。 https://t.co/V... 続きを読む

プログラマーに特化したタイピング練習サイト『typing.io』 | IDEA*IDEA

2012/08/22 458 users IDEA typing.io プログラマー コーディング 言語

へー、いいかも。typing.ioはプログラマーに特化したタイピング練習サイトですな。Googleアカウントと紐付けて使います。 ↑ こういった言語からレッスンを選ぶことができます。 ↑ シンプルな学習画面。こうやってコードをじゃんじゃか打っていきます。間違えると教えてくれますよ。 ちと試してみましたが、微妙に日本語キーボードには対応していないが惜しいですな・・・。しかしコーディングの効率はある程... 続きを読む

７つの言語、７つの世界を読んでます。(型付け typingについて) - from scratch

2011/10/02 17 users Prolog Tate erlang ＢＯＯＫ 言語

Book, programming７つの言語 ７つの世界作者: Bruce A. Tate,まつもとゆきひろ,田和勝出版社/メーカー: オーム社発売日: 2011/07/23メディア: 単行本（ソフトカバー）購入: 1人 クリック: 62回この商品を含むブログ (20件) を見る まだ途中ですが、PrologやErlang、Ioなどの言語で結構知らなかった概念が出てきていて面白いです。 もちろん読... 続きを読む