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ã§ã¯ã€é™çš„ãªä¸–ç•Œã‹ã‚‰ã¯ä¾å˜åž‹ã‚’通ã—ã¦å‹•çš„ãªä¸–ç•Œ
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
How to read user input in ATS?
GitHub - mephistopheles-8/atsatomic: Low level atomic API bindings for ATS2 and ATS Temptory
GitHub - mephistopheles-8/ats2-spsc: Lock-free, finite-size, single-producer / single-consumer queues for ATS2
GitHub - mephistopheles-8/s-pression: A minimal example of a static, S-expression eDSL in ATS2
GitHub - mephistopheles-8/atshtml: A static HTML eDSL for ATS2
BEJOCAMA
GitHub - xran-deex/ats-epoll: Epoll bindings for ATS2
GitHub - xran-deex/ats-threadpool: A threadpool library for ATS2
GitHub - xran-deex/ats-unit-testing: An ATS2 unit testing framework
GitHub - xran-deex/ats-args: An ATS2 library for parsing command line arguments
GitHub - xran-deex/ats-http: An epoll-based HTTP library for ATS2
GitHub - vmchale/ats-stats: Demonstration of GPU-accelerated statistical functions in ATS
GitHub - sparverius/ats-acc: Pretty-print error messages of the ATS Compiler
K-Medoids Clustering Using ATS: Unleashing the Power of Templates
Temptory · Template Factory
GDB
GitHub - githwxi/ATS-Temptory: For supporting template-based programming
GitHub - sazl/ats-go: ATS to Go Transpiler
GitHub - bakpakin/ats-lua: An ATS to Lua compiler
{{#tags}}- {{label}}
{{/tags}}