å½¢å¼ä»•æ§˜è¨˜è¿°Alloyを試ã—ã¦ã¿ã‚‹ - ãã—ã ã®Hatena試ã—ã¦ã¿ã‚‹ã‚ˆã€‚ ã¨ã‚Šã‚ãˆãšå•†å“ã‚’ã¾ã¨ã‚ãŸã‚»ãƒƒãƒˆå•†å“ã«ã¤ã„ã¦ã®ä»•æ§˜ã‚’書ã„ã¦ã¿ã‚‹ã€‚ ã¾ãšå•†å“ã®å®šç¾© module exec/shohin sig Shohin{} pred show{ } run show sigã¯Javaã¨ã‹ã®classã ã¨æ€ãˆã°ã ã„ãŸã„OK。 ãªã‚“ã‹å•†å“ãŒã¿ã£ã¤å‡ºãŸã€‚ ã˜ã‚ƒã‚ã€ã‚»ãƒƒãƒˆå•†å“を定義ã—ã¦ã¿ã‚‹ã€‚ sig SetShohin{ bundle: set Shohin } ãŠãƒ¼ã€åŒã˜å•†å“ãŒï¼“ã¤ã®ã‚»ãƒƒãƒˆã«å«ã¾ã‚Œã¦ã—ã¾ã£ãŸã€‚Alloyã•ã‚“イヤらã—ã„ã¨ã“ã¤ã„ã¦ãる。 ã¨ã„ã†ã“ã¨ã§ã€ã²ã¨ã¤ã®å•†å“ã¯å¤šãã¦ã‚‚ã²ã¨ã¤ã®ã‚»ãƒƒãƒˆã«ã—ã‹å«ã¾ã‚Œãªã„ã€ã£ã¦ã„ã†åˆ¶ç´„ã‚’åŠ ãˆã¾ã™ã€‚ fact { all s: Shohin | lone bundle.s } 書ã下ã‚ã™ã¨ã€Œã™ã¹ã¦ã®å•†å“ã«ã¤ã„ã¦ã€å•†å“ã‚’bundleã¨ã—ã¦æŒã¤ã®ã¯ãŸã‹ã ã‹ï¼‘ã¤ã€ã«ãªã‚‹ã‚“ã§ã™ã‘ã©ã€ã“ã®ã€ãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã‚’å·¦ã«æ›¸ã書ãæ–¹ã¯é€šå¸¸ã®ãƒ—
『抽象ã«ã‚ˆã‚‹ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢è¨è¨ˆã€ã¨Alloyã€ç¬¬ä¸€å°è±¡å ±å‘Š - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
Alloy Community
「抽象ã«ã‚ˆã‚‹ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢è¨è¨ˆã€ãŒç™ºå£²ã•ã‚Œã¾ã™ - ã¾ã‚ã‚ã‚‚
{{#tags}}- {{label}}
{{/tags}}