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: åž‹ã®å¾©è® ç§è‡ªèº«ã€åž‹ã‚·ã‚¹ãƒ†ãƒ ã«æ˜Žã‚‹ããªã„ãŸã‚ã€ä¸€éƒ¨æœªè¨³ã®éƒ¨åˆ†ãŒã‚ã£ãŸã‚Šã€å‹˜é•ã„や誤訳もã‚ã‚‹ã¨æ€ã„ã¾ã™ã€‚ãã†ã„ã£ãŸèª¤ã‚Šã‚’見ã¤ã‘ãŸã‚‰ç·¨é›†ãƒªã‚¯ã‚¨ã‚¹ãƒˆã‚’é€ã£ã¦ã‚‚らãˆã‚‹ã¨åŠ©ã‹ã‚Šã¾ã™ã€‚
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
論文メモ: Finitary Polymorphism for Optimizing Type-Directed Compilation | κeenã®Happy Hacκing Blog
coxswain · Wiki · Glasgow Haskell Compiler / GHC · GitLab
{{#tags}}- {{label}}
{{/tags}}