translate/Web/cs.likai.org/ats/ml-programmers-guide-to-ats.md at master · jats-ug/translate
ATSã§ã¯ã€3ã¤ã®ä¸–ç•Œã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ã™ã‚‹ã“ã¨ã‚’覚ãˆã¦ãŠãã¨è‰¯ã„ã§ã—ょã†ã€‚ Dynamics(å‹•çš„ãªä¸–ç•Œ): プãƒã‚°ãƒ©ãƒ を実行ã—ãŸæ™‚ã«è©•ä¾¡ã•ã‚Œã‚‹éƒ¨åˆ†ã§ã™ã€‚ã“ã‚Œã¯æ—¢å˜ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«é¦´æŸ“ã‚“ã プãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã‚‚ã£ã¨ã‚‚親ã—ã¿æ·±ã„部分ã§ã—ょã†ã€‚ Proofs(証明ã®ä¸–ç•Œ): å‹•çš„ãªç‰¹æ€§ã‚’é™çš„ãªç‰¹æ€§ã«çµã³ã¤ã‘ã¾ã™ã€‚Proofs(証明)ã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã®å‹•çš„ãªéƒ¨åˆ†ã¨è€ƒãˆã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ã—ã‹ã—証明ã¯ã‚³ãƒ³ãƒ‘イル後ã§ã¯æ¶ˆæ»…ã—ã¦ã—ã¾ã„ã€å®Ÿè¡Œæ™‚ã«ã¯å˜åœ¨ã—ã¾ã›ã‚“。コンパイラã¯ã‚ãªãŸãŒæ›¸ã„ãŸè¨¼æ˜Žã‚’検査ã—ã€å‹•ä½œå¯èƒ½ãªã‚³ãƒ¼ãƒ‰ã‚’生æˆã™ã‚‹å‰ã«å‰Šé™¤ã™ã‚‹ã®ã§ã™ã€‚ Statics(é™çš„ãªä¸–ç•Œ): 型検査時ã«ã‚³ãƒ³ãƒ‘イラã«ã‚ˆã£ã¦è©•ä¾¡ã•ã‚Œã‚‹éƒ¨åˆ†ã§ã™ã€‚é™çš„ãªéƒ¨åˆ†ã§ã¯é™çš„ãªå¼ã®è©•ä¾¡ã¯å¸¸ã«çµ‚了ã—ãªã‘ã‚Œã°ãªã‚Šã¾ã›ã‚“。ãã®ãŸã‚型検査ã¯æ±ºå®šå¯èƒ½ã§ã™ã€‚ ATSã®å‰èº«ã§ã‚ã‚‹Dependent MLã§ã¯ã€é™çš„ãªä¸–ç•Œã‹ã‚‰ã¯ä¾å˜åž‹ã‚’通ã—ã¦å‹•çš„ãªä¸–ç•Œ
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://www.ats-lang.org/DOCUMENT/ATS2TUTORIAL/HTML/book1.html
http://www.ats-lang.org/DOCUMENT/INT2PROGINATS/HTML/book1.html
{{#tags}}- {{label}}
{{/tags}}