[B! programming][type system] ntaooのブックマーク

ntaoo id:ntaoo

programmingとtype systemに関するntaooのブックマーク (3)

What is Gradual Typing: 漸進的型付けとは何か - Qiita
本稿は Python に型アノテーションを追加するという PEP 483 - The Theory of Type Hinting の提案で参照されている Jeremy Siek (@jeremysiek) 氏と Walid Taha 氏が開発した漸進的型付けについての入門記事の翻訳です。 What is Gradual Typing Python 3.5 で導入された型アノテーションについて興味がある方は以下を参考にしてください。 Python と型ヒント (Type Hints) と #pyconjp [翻訳] PEP 0484 -- 型ヒント (Type Hints) Revenge of the Types: 型の復讐私自身、型システムに明るくないため、一部未訳の部分があったり、勘違いや誤訳もあると思います。そういった誤りを見つけたら編集リクエストを送ってもらえると助かります。
ntaoo 2016/02/10
programming

type system
リンク
Island Life - 型付けと変更の時定数
About 南の島のプログラマ。たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ米国の大学進学無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...More... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチェ on ハイポハ
ntaoo 2015/05/10
programming

type system
リンク
「型を付けないほうが自由？」抽象化と型の関係について
ちゅーん @its_out_of_tune 「型の設計が難しい」と「プログラミングは難しい」ってのはほぼほぼ同義なんだが、この辺の感覚はあるていど型をぺろぺろした人じゃないと分からない。 2014-12-09 02:35:14 ちゅーん @its_out_of_tune まぁ、そもそもこの方は「型が付いていない」のと「静的に型検査されない」の違いが分かっていない可能性があるので、どのへんから説明したら良いかわりともにょもにょする感はあるのだが・・・ 2014-12-09 02:38:54
ntaoo 2014/12/09
programming

type system
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx