Soft Typingã«å¯¾ã™ã‚‹Matzã®èª¤è§£ã¨Duck Typingã¨Structural Subtypingã¾ã¤ã‚‚ã¨ã‚†ãã²ã‚ã•ã‚“(Matzã•ã‚“）ãŒRubyKaigi2016ã®åŸºèª¿è¬›æ¼”ã§èª¬æ˜Žã—ãŸã€Ruby 3ã®Soft Typingã«ã¾ã¤ã‚ã‚‹èª¤è§£ã‚„æ§‹é€ çš„éƒ¨åˆ†åž‹ã«é–¢ã™ã‚‹è©±ã§ã™ã€‚
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 を始ã‚ã¾ã—ãŸ
機械å¦ç¿’ã«ã‚ˆã‚‹é–¢æ•°åž‹ãƒ–ーリアンプãƒã‚°ãƒ©ãƒ ã®åž‹æŽ¨è«–
特徴関数 æœ¬ç ”ç©¶ã§ã¯ä»¥ä¸‹ã®ã‚ˆã†ãªå˜ç´”型付ã‘è¦å‰‡ã‚’å¼±ã‚ãŸè¦å‰‡ã‚’特徴ã¨ã—ã¦ç”¨ã„ãŸï¼ˆT-True, T-False を除ã）。 ãªãŠã€åž‹ä»˜ã‘è¦å‰‡ã«ãŠã„ã¦åž‹ç’°å¢ƒã‚’陽ã«è€ƒæ…®ã™ã‚‹ä»£ã‚ã‚Šã«ã€ 型注釈付ã構文木ã«ãŠã„ã¦åŒä¸€å¤‰æ•°ã®é ‚点をマージã™ã‚‹ã“ã¨ã§ã€ åŒä¸€å¤‰æ•°ã«ã¯1ã¤ã®åž‹ã—ã‹å‰²ã‚Šå½“ã¦ã‚‰ã‚Œãªã„ã“ã¨ã‚’ä¿è¨¼ã—ã¦ã„る。 角括弧内ã¯å¦ç¿’（事å‰ã‚¬ã‚¦ã‚·ã‚¢ãƒ³åˆ†å¸ƒã®åˆ†æ•£ãŒ 0.1 㮠対数事後確率を最急é™ä¸‹æ³•ã§æœ€é©åŒ–）ã«ã‚ˆã‚Šå¾—られãŸé‡ã¿ã§ã‚る。 å¼±ã‚ãŸè¦å‰‡ã®é‡ã¿ã¯æ£ã¨ãªã‚Šã€åž‹ä»˜ã‘ã«æœ‰ç”¨ãªè¦å‰‡ã§ã‚ã‚‹ã“ã¨ãŒå¦ç¿’ã•ã‚ŒãŸã€‚ T-True ------------- [1.3052] T-False -------------- [1.3346] true : Bool false : Bool x : T1 E2 : T2 x : T1 E2 : T2 T-WeakAbs1 -------------------- [0.564
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}