[B! åž‹ã‚¯ãƒ©ã‚¹] modal_soulã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

modal_soul id:modal_soul

åž‹ã‚¯ãƒ©ã‚¹ã«é–¢ã™ã‚‹modal_soulã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (5)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

åž‹ã‚¯ãƒ©ã‚¹ã¯ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã¨ã©ã†é•ã†ã®ã‹ | POSTD
(æ³¨ï¼š2017/02/27ã€ã„ãŸã ã„ãŸãƒ•ã‚£ãƒ¼ãƒ‰ãƒãƒƒã‚¯ã‚’å…ƒã«ç¿»è¨³ã‚’ä¿®æ£ã„ãŸã—ã¾ã—ãŸã€‚) Haskellã®åž‹ã‚¯ãƒ©ã‚¹ã¯ã€Haskellã‚’å¦ã³å§‹ã‚ãŸã°ã‹ã‚Šã®å¤šãã®äººã«ã¨ã£ã¦ã¯é›£ã—ã„æ¦‚å¿µã§ã™ã€‚ãŸã„ã¦ã„ã®è¨€èªžã¯ã“ã‚Œã‚’è¡¨ã™ã“ã¨ãŒå…¨ãã§ãã¾ã›ã‚“ã—ã€ãã‚Œã«è¿‘ã„æ¦‚å¿µã‚‚æŒã£ã¦ã„ã¾ã›ã‚“ã€‚å¤šãã®ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘åž‹ã®è¨€èªžã«ã¨ã£ã¦ã¯ã€åˆ©ç”¨å¯èƒ½ãªã‚‚ã®ã®ä¸ã§ã¯ Interface ãŒæœ€ã‚‚è¿‘ã„è¨€èªžè¦ç´ ã§ã—ã‚‡ã†ã€‚Rubyã® modules ã¯ä¼¼ãŸã‚ˆã†ãªå½¹å‰²ã‚’æŒã£ã¦ã„ã¾ã™ã€‚ã—ã‹ã—ã€ã“ã®æ¦‚å¿µã¯ä¸¡æ–¹ã¨ã‚‚ã€åå‰ã®å¤šé‡å®šç¾©ã¨ä¸€ç¨®ã®ãƒãƒªãƒ¢ãƒ¼ãƒ•ã‚£ã‚ºãƒ ã‚’ã‚¢ãƒ‰ãƒ¬ã‚¹ã™ã‚‹ã®ã§ã€åž‹ã‚¯ãƒ©ã‚¹ãŒæä¾›ã™ã‚‹ãƒ‘ãƒ¯ãƒ¼ã®ä¸€éƒ¨ã‚’æ¬ ã„ã¦ã„ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã¯ã€åž‹ã‚¯ãƒ©ã‚¹ã«èˆˆå‘³ã‚’æŒã£ã¦ã„ã‚‹äººå‘ã‘ã§ã™ã€‚Haskellã‚„é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®äºˆå‚™çŸ¥è˜ã¯å¿…è¦ã‚ã‚Šã¾ã›ã‚“ã€‚Javaã‚„Cè¨€èªžã®ã‚ˆã†ãªé™çš„ãªåž‹ä»˜ãè¨€èªžã«æ…£ã‚Œã¦ã„ã‚Œã°ã€å½¹ã«ç«‹ã¤ã§ã—ã‚‡ã†ã€‚ åž‹ã‚¯ãƒ©ã‚¹ã«ã¤ã„ã¦ã®æ¦‚è¦/è¦ç´„ åž‹ã‚¯ãƒ©ã‚¹
modal_soul 2017/02/22
åž‹ã‚¯ãƒ©ã‚¹
ãƒªãƒ³ã‚¯
ç¶šãƒ»çµå±€åž‹ã‚¯ãƒ©ã‚¹ã£ã¦ä½•ãŒã†ã‚Œã—ã„ã®ã£ã¦ã„ã†è©± - çŒ«åž‹ã®è“„éŸ³æ©Ÿã¯ 1 åˆ†é–“ã« 45 å›žã«ã‚ƒã‚ã¨é³´ã
ä»Šå›žã¯æ™‚é–“ãŒãªã„ã®ã§ç°¡å˜ã«è¦‹ã¾ã™ã€‚ åž‹ã‚¯ãƒ©ã‚¹ã«ã‚ˆã£ã¦ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ãŒå®Ÿç¾ã•ã‚Œã‚‹ã¨ã©ã‚“ãªæŸ”è»Ÿãªã“ã¨ãŒã§ãã‚‹ã®ã‹ã¨ã„ã†ä¾‹ã‚’è¦‹ã¾ã—ã‚‡ã†ã€‚ ãŸã¨ãˆã°ã€List#max ã«ã¤ã„ã¦è¦‹ã¦è¦‹ã¾ã—ã‚‡ã†ã€‚ã“ã‚Œã€è¦ç´ ãŒ String ã ã£ãŸã‚‰è¾žæ›¸é †ã§ã®æœ€å¤§å€¤ã‚’è¿”ã™ã—ã€Int ã ã£ãŸã‚‰æ•°çš„ãªæ„å‘³ã§ã®æœ€å¤§å€¤ã‚’è¿”ã—ã¾ã™ã‚ˆãã€‚ã‚‚ã—ã€Œãã‚‚ãã‚‚æ¯”ã¹ã‚‰ã‚Œãªã„åž‹ã€ãŒè¦ç´ ã«å…¥ã£ã¦ãŸã‚‰ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ã‚¨ãƒ©ãƒ¼ã«ãªã‚Šã¾ã™ã€‚ class Nyan(val value: String) //æ¯”ã¹ã‚‹ã“ã¨ã®ã§ããªã„åž‹ println(List(1, 2, 3).max) // => 3 println(List("a", "b", "c").max) // => c println(List(new Nyan("a"), new Nyan("b"), new Nyan("c")).max) // => error:No implicit Order
modal_soul 2014/07/24
åž‹ã‚¯ãƒ©ã‚¹

Scala
ãƒªãƒ³ã‚¯
ã§ã€çµå±€åž‹ã‚¯ãƒ©ã‚¹ã£ã¦ä½•ãŒã†ã‚Œã—ã„ã®ã€ã¨ã„ã†ã“ã¨ã®èª¬æ˜Ž - çŒ«åž‹ã®è“„éŸ³æ©Ÿã¯ 1 åˆ†é–“ã« 45 å›žã«ã‚ƒã‚ã¨é³´ã
å‰å›žã®è¨˜äº‹ã§ã¯ã€Scala ã§ã¯ implicit parameter ã‚’åˆ©ç”¨ã™ã‚‹ã“ã¨ã§åž‹ã‚¯ãƒ©ã‚¹ã¨åŒç‰ã®ã“ã¨ãŒå®Ÿç¾ã§ãã‚‹ã“ã¨ãŒã‚ã‹ã‚Šã¾ã—ãŸã€‚ã—ã‹ã—å‰å›žã®ç–‘å•ã¨ã—ã¦ã€ã€Œã§ã€ãã‚Œã®ä½•ãŒã†ã‚Œã—ã„ã®ã‚ˆã€ã¨ã„ã†ã®ã¯æ®‹ã£ã¦ã„ã¾ã—ãŸãã€‚ ä»Šå›žã¯ãã®ã†ã‚Œã—ã¿ã‚’ãªã‚‹ã¹ãã‚ã‹ã‚Šã‚„ã™ãèª¬æ˜Žã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ ãŸã¨ãˆã°ã€è‰²ã‚“ãªã‚¯ãƒ©ã‚¹ã« flipFlap ãƒ¡ã‚½ãƒƒãƒ‰ã‚’ç”Ÿã‚„ã—ãŸã„ ã¾ãšã€å‰å›žã¨åŒã˜ãã€Œå€¤ã‚’ã²ã£ãã‚Šè¿”ã™ã€ã¨ã„ã† flipFlap ã«ã¤ã„ã¦è€ƒãˆã¦ã¿ã¾ã—ã‚‡ã†ã€‚ å‰å›žã¯é–¢æ•°ã‚’ä½œã‚Šã¾ã—ãŸãŒã€Scalaã‚‰ã—ãã€ã“ã†ã„ã†å‹•ãã«ã—ãŸã„ã§ã™ã 1.flipFlap // => -1 true.flipFlap // => false "string".flipFlap // => gnirts Scala ã§ã¯ã‚¯ãƒ©ã‚¹ã‚’æ‹¡å¼µã™ã‚‹ã¨ãã«ã¯ implicit conversion ã‚’ä½¿ã†ã®ãŒä¸€èˆ¬çš„ã§ã™ãã€‚ class IntF
modal_soul 2014/07/03
scala

åž‹ã‚¯ãƒ©ã‚¹
ãƒªãƒ³ã‚¯
Scala ã® implicit parameter ã¯åž‹ã‚¯ãƒ©ã‚¹ã®ä¸€ç¨®ã¨ã¯ã©ã†ã„ã†ã“ã¨ãªã®ã‹ - çŒ«åž‹ã®è“„éŸ³æ©Ÿã¯ 1 åˆ†é–“ã« 45 å›žã«ã‚ƒã‚ã¨é³´ã
ãªã‚“ã‹åž‹ã‚¯ãƒ©ã‚¹ã¨ã‹è¨€ã†ã¨åž‹ã®æ€–ã„ã²ã¨ãŸã¡ãŒæ€–ã„è©±ã‚’ãƒ¯ã‚¤ãƒ¯ã‚¤ã—ã¦ã‚‹ã‚¤ãƒ¡ãƒ¼ã‚¸ãŒã‚ã‚Šã¾ã™ã‚ˆãã€‚ã‚ãŸã—ã¯ã‚ã‚Šã¾ã™ã€‚ã€Œã§ã€ãã‚Œã£ã¦ä½•ãŒã†ã‚Œã—ã„ã®ã‚ˆã€ã¨ã‹ã€ãã†ã„ã†è©±ã¯ã‚ã¾ã‚Šã•ã‚Œã¦ã„ãªã„ã‚ˆã†ãªå°è±¡ãŒã‚ã‚Šã¾ã™ãï¼ˆã‚ãã¾ã§å°è±¡ã§ã™ï¼‰ã€‚ãã®ä¸Š "Scala ã® implicit parameter ã¯åž‹ã‚¯ãƒ©ã‚¹ã®ä¸€ç¨®" ã¨ã‹è¨€ã‚ã‚Œã‚‹ã¨ã€Œæš—é»™çš„ãªå¼•æ•°ãŒãªã‚“ã§åž‹ã‚¯ãƒ©ã‚¹ã®ä¸€ç¨®ãªã‚“ã‚„ï¼ï¼ï¼æ„å‘³ãŒã‚ã‹ã‚‰ã‚“ï¼ï¼ï¼ï¼ã€ã¨ãªã‚Šã¾ã™ã€‚ã‚ãŸã—ã¯ãªã‚Šã¾ã—ãŸã€‚ ã¨ã„ã†ã‚ã‘ã§ãã®ã¸ã‚“ã«ã¤ã„ã¦å‹‰å¼·ã—ãŸã®ã§æ›¸ãã¾ã™ã€‚ ãã‚‚ãã‚‚åž‹ã‚¯ãƒ©ã‚¹ã£ã¦ãªã‚“ã‚„ Haskellã¨ã‹ã«ã‚ã‚‹ã‚„ã¤ã§ã™ãã€‚ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ã‚’å®Ÿç¾ã™ã‚‹ã‚‚ã®ã€ã‚‰ã—ã„ã§ã™ã€‚ã™ã”ã„ã€ã„ããªã‚Šæ„å‘³ãŒã‚ã‹ã‚‰ãªã„ã€‚ ã¨ã„ã†ã‚ã‘ã§ã€ã¾ãšã¯ã€Œã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ã£ã¦ãªã‚“ãªã®ã€ã¨ã„ã†è©±ã‹ã‚‰ã—ã¦è¡Œãã¾ã™ã€‚ ã•ã¦ã€ã¾ãšã¯ã€Œå¤šç›¸ã€ã‹ã‚‰è¡Œãã¾ã—ã‚‡ã†ã€‚ã“ã®æ–‡è„ˆã§è¨€ã†å¤šç›¸ã¨ã¯ã€ç°¡å˜ã«è¨€ãˆã°ã€Œå¼•æ•°ã«ã„ã‚ã‚“ãªåž‹ã‚’å–ã‚Œã‚‹ã€ã¨ã„
modal_soul 2014/07/01
ã“ã‚Œã¯åˆ†ã‹ã‚Šã‚„ã™ã„è§£èª¬

Scala

åž‹ã‚¯ãƒ©ã‚¹
ãƒªãƒ³ã‚¯
Scalaã§åž‹ã‚¯ãƒ©ã‚¹å…¥é–€ - still deeper
åž‹ã‚¯ãƒ©ã‚¹ã«ã¤ã„ã¦ã¤ã‚‰ã¤ã‚‰è€ƒãˆã¦ã„ãŸã“ã¨ã‚’ã¾ã¨ã‚ã¦ãŠãã¾ã™ã€‚ãƒžã‚µã‚«ãƒªæ“è¿Žã€‚ åž‹ã‚¯ãƒ©ã‚¹ã£ã¦ï¼Ÿ åž‹ã‚¯ãƒ©ã‚¹ã¨ã¯ä¸€è¨€ã§ã„ã†ã¨ã€‚ ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ ã‚’å®Ÿç¾ã™ã‚‹ã‚‚ã® ã§ã™ã€‚ãƒ¢ã‹ã‚‰å§‹ã¾ã‚‹åçŠ¶ã—é›£ã„ã‚ã‚Œã¨ã¯ç›´æŽ¥ã¯é–¢ä¿‚ã‚ã‚Šã¾ã›ã‚“ã€‚ ã§ã¯ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ã¨ã¯ä½•ã‹ã¨ã„ã†ã¨ ç•°ãªã‚‹åž‹ã®é–“ã§å…±é€šã—ãŸã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã§ã®ç•°ãªã‚‹æŒ¯ã‚‹èˆžã„ã‚’ å®šç¾©æ¸ˆã¿ã®åž‹ã«å¯¾ã—ã¦æ‹¡å¼µã™ã‚‹ ã‚ˆã†ãªå¤šç›¸ã®ã“ã¨ã§ã™ã€‚ ç•°ãªã‚‹åž‹é–“ã§ã®å…±é€šã—ãŸã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã§ã®ç•°ãªã‚‹æŒ¯ã‚‹èˆžã„ Javaã®ç¶™æ‰¿ã‚„ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã€Scalaã®traitã‚’ç”¨ã„ã‚‹ã“ã¨ã§ã€ç•°ãªã‚‹åž‹é–“ã§ã®å…±é€šã—ãŸã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã‚’ç®¡ç†ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ trait SomeTrait { def someMethod(): String } class Foo extends SomeTrait { def someMethod(): String = "foo" } class Bar ex
modal_soul 2013/11/19
scala

åž‹ã‚¯ãƒ©ã‚¹
ãƒªãƒ³ã‚¯
1