Well-typed printfs cannot go wrong
One of the classic examples that keeps coming up when talking about dependently typed programming languages is the “safe†printf function – one that ensures that the number and type of arguments match the requirement in the format specification. In languages like Idris, this is just a function that takes a format string, and returns the type of arguments required for constructing the formatted out
漸進的型付ã‘ã®æœªæ¥ã‚’考ãˆã‚‹ - -
ã“ã®è¨˜äº‹ã¯CAMPHOR- Advent Calendar 2017 11日目ã®è¨˜äº‹ã§ã™ï¼Ž アブストラクト 漸進的型付ã‘ã¯ï¼Œã²ã¨ã¤ã®è¨€èªžã®ä¸ã§é™çš„型付ã‘ã¨å‹•çš„型付ã‘をスムーズã«çµ„ã¿åˆã‚ã›ã‚‹ãŸã‚ã®æŠ€è¡“ã§ã™ï¼Ž よã知られãŸç‰¹å¾´ã¯ any 型を使ã£ãŸé™çš„型付ã‘ã§ï¼Œ TypeScript ã‚„ Python ã¨ã„ã£ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«ã¯æ—¢ã«å®Ÿè£…ã•ã‚Œã¦ã„ã¾ã™ï¼Ž ã—ã‹ã—，ç†è«–ã¨å®Ÿéš›ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®é–“ã«ã¯å¤§ããªã‚®ãƒ£ãƒƒãƒ—ãŒå˜åœ¨ã—ã¾ã™ï¼Ž 特ã«ï¼Œæ¼¸é€²çš„型付ã‘ã®ç†è«–ã§æ案ã•ã‚Œã¦ã„ã‚‹ã‚ャストを用ã„ãŸå‹•çš„型検査ãŒå®Ÿè£…ã•ã‚Œã¦ã„ãªã„ãŸã‚ã«ï¼Œ é™çš„型付ã‘ã®æ©æµã‚’å分ã«å¾—られã¦ã„ãªã„ã¨ã„ã†å•é¡ŒãŒã‚ã‚Šã¾ã™ï¼Ž ã“ã®è¨˜äº‹ã§ã¯ï¼Œã¾ãšæ¼¸é€²çš„型付ã‘ã®ç†è«–をコード例を用ã„ã¦ç´¹ä»‹ã—， ç¾çŠ¶ã®æ¼¸é€²çš„型付ã言語ãŒæŠ±ãˆã‚‹å•é¡Œã‚’解説ã—ã¾ã™ï¼Ž ãã®ã‚ã¨ã§ï¼Œæ¼¸é€²çš„型付ã言語ãŒç›®æŒ‡ã™ã¹ã目標をç†è«–的視点ã‹ã‚‰è«–ã˜ã¾ã™ï¼Ž ãれらã®ç›®æ¨™ã¯ï¼Œé™çš„型付ã‘ã‚’
IIJ Research Laboratory
ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®è¨ˆæ¸¬ã¨è§£æž インターãƒãƒƒãƒˆã®ä½¿ã‚れ方やãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®æŒ™å‹•ã‚’把æ¡ã™ã‚‹äº‹ã¯ã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’é‹ç”¨ã—ã€ãã®æŠ€è¡“開発を行ㆠãŸã‚ã«æ¬ ã‹ã›ã¾ã›ã‚“。ã—ã‹ã—ã€è¦³æ¸¬ã§å¾—られるデータé‡ã¯è†¨å¤§ã§ã™ãŒãƒŽã‚¤ã‚ºãŒå¤šãã€ã¾ãŸã€è¦³æ¸¬ã§ãã‚‹ã®ã¯æ¥µã‚ã¦é™ã‚‰ã‚ŒãŸéƒ¨åˆ†ã§ã—ã‹ã‚ã‚Šã¾ã›ã‚“。ãã“ã§ã€è†¨å¤§ãªãƒ‡ãƒ¼ã‚¿ã‹ã‚‰æ„味ã®ã‚ã‚‹æƒ…å ±ã‚’æŠ½å‡ºã—ãŸã‚Šã€éƒ¨åˆ†çš„ãªè¦³æ¸¬ã‹ã‚‰ã‚ˆã‚Šä¸€èˆ¬çš„ãªå‚¾å‘を推測ã™ã‚‹äº‹ãŒå¿…è¦ã¨ãªã‚Šã¾ã™ã€‚... インターãƒãƒƒãƒˆåŸºç›¤æŠ€è¡“ 速ãã¦ã€å®‰å…¨ã§ã€ä¿¡é ¼æ€§ãŒé«˜ãã€ä½¿ã„ã‚„ã™ãã€ãªã©ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚µãƒ¼ãƒ“スã¸ã®è¦æ±‚ã¯ã¾ã™ã¾ã™é«˜ã¾ã£ã¦ã„ã¾ã™ã€‚ã“れらã®è¦æ±‚ã«å¿œãˆã‚‹ãŸã‚ã«ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã® 基盤技術も日々進æ©ã—ã¦ã„ã¾ã™ã€‚ã„ã¾ã‚„インターãƒãƒƒãƒˆã¯ã¤ãªãŒã‚‹ã ã‘ã®ã‚µãƒ¼ãƒ“スã§ã¯ãªãã€é«˜åº¦ã§è¤‡é›‘ãªæ©Ÿèƒ½ã‚’å‚™ãˆãŸç¤¾ä¼šåŸºç›¤ã¨ãªã‚Šã¾ã—ãŸã€‚IIJæŠ€è¡“ç ”ç©¶æ‰€ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®åŸºç›¤ã¨ã—ã¦å®Ÿç¾ãŒæœŸå¾…ã•ã‚Œã‚‹æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãŸã‚ã«ã€ã•ã¾ã–ã¾ãªæŠ€è¡“課題ã«å–り組んã§
入門的ã§ã¯ãªã„型クラスã®è©±ï¼šHaskellã®åž‹ã‚¯ãƒ©ã‚¹ãŒã (´^ï½€;) - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
タイトルã«ã€Œå…¥é–€çš„ã§ã¯ãªã„ã€ã¨å…¥ã‚ŒãŸã®ã¯ï¼› 先日ã®ã€Œé–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã‚ªãƒ–ジェクト指å‘ã«ã¤ã„ã¦ã€ä½•ã‹æ›¸ãã€ã‹ã‚‚ã€ã«ãŠã„ã¦ã€ã€Œåž‹ã‚¯ãƒ©ã‚¹å…¥é–€ã€ã®è¨˜äº‹ã‚’書ãã‹ã‚‚ã¨äºˆå‘Šã˜ã¿ãŸã“ã¨ã‚’言ã£ã¦ã—ã¾ã£ãŸã®ã§ã€ãã®å…¥é–€ã˜ã‚ƒãªã„ãžã€ã¨ã€‚ã§ã‚‚ã€åž‹ã‚¯ãƒ©ã‚¹ã®è©±ã ãžã€ã¨ã€‚ãã†ã„ã†æ„味åˆã„ã§ã™ã€‚ヨãƒã‚·ã‚¯ã€ã‚¢ã‚·ã‚«ãƒ©ã‚ºã€‚ 型クラスã®å…ƒç¥–ã¯Haskellã§ã™ã€‚ãªã®ã§ã€ã€Œåž‹ã‚¯ãƒ©ã‚¹ ï¼ Haskellã®åž‹ã‚¯ãƒ©ã‚¹ã€ã¨ã„ã†å‰æã§ã®è§£èª¬ãŒå¤šã„ã¿ãŸã„ã§ã™ã€‚ã—ã‹ã—ã€å…ƒç¥–ã¯â€œæœ€åˆã®è©¦ã¿â€ã§ã‚ã‚‹ãŒã‚†ãˆã«ã€ä½¿ç”¨çµŒé¨“や後発ã®ç†è«–ã‚’æ´»ã‹ã™ã“ã¨ãŒå‡ºæ¥ãšã€ã‚€ã—ã‚å•é¡Œã‚’ã‹ã‹ãˆã¦ã„ãŸã‚Šã—ã¾ã™ã€‚Haskellã®åž‹ã‚¯ãƒ©ã‚¹ã‚‚ã€ãªã‚“ã ã‹æ®‹å¿µãªã¨ã“ã‚ãŒã€‚ 内容： オーãƒãƒ¼ãƒãƒ¼ãƒ‰ã¨äººç”Ÿ 型クラスã¯ä½•ãŒã†ã‚Œã—ã„ã®ã‹ï¼ˆã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ãªã—ã§ã‚‚） 型クラスã®å®Ÿéš› 記å·ã®ä¹±ç”¨ã®å®Ÿè£…法 Haskellã®åž‹ã‚¯ãƒ©ã‚¹ã¯ä½•ãŒãƒžã‚ºã‚¤ã®ã‹ オーãƒãƒ¼ãƒãƒ¼ãƒ‰ã¨äººç”Ÿ 型クラス誕生ã®å‹•æ©Ÿã¯ã€æ¼”ç®—
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}