Python と Ruby と typing - methaneのブログ
うーん、structural subtypingとダックタイピングは同じものなんだろうか。— Yukihiro Matsumoto (@yukihiro_matz) 2016年9月8日 https://t.co/5Rv86piThC wikipediaによると似て非なる物のようですね。 https://t.co/VwIg39h5M0— INADA Naoki (@methane) 2016年9月8日 この話題について補足しておきます。なお、僕はTAPL脱落組なのであまり正確性は期待しないでください。 背景 Ruby Kaigi で Matz が Ruby3 に向けて考え中の静的型について話されたようです。 少し前から、 Python でも Guido が Dropbox での大量のコードベースを改善していくために type hinting がほしいということで PEP 484 を始めました
米の宇宙船、ドッキング成功 国際ステーションに無事到着 ｜ 共同通信
国際宇宙ステーションに到着し、ドッキングのため接近する有人型ドラゴン宇宙船（中央のカプセル）。手前はロボットアームの一部（NASAテレビ） 【ケープカナベラル（米フロリダ州）共同】初の無人試験打ち上げに成功した米スペースXの有人型ドラゴン宇宙船が3日、目的地の国際宇宙ステーションに到着した。新たに開発した自動システムを使って徐々に接近し、ステーションへのドッキングに成功した。 2011年に退役したスペースシャトルに代わり、民間宇宙船で飛行士をステーションに運ぶ米航空宇宙局（NASA）の目標が、実現にまた一歩近づいた。ドラゴン宇宙船はステーションと一緒に軌道上に5日間とどまった後、8日に分離して大気圏に突入し、パラシュートで減速して米フロリダ州沖の大西洋に着水する予定だ。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
