LINEãƒ¤ãƒ•ãƒ¼æ ªå¼ä¼šç¤¾ã€ŒLINEヤフーDesign å…¬å¼note〠LINEãƒ¤ãƒ•ãƒ¼æ ªå¼ä¼šç¤¾ã®ãƒ‡ã‚¶ã‚¤ãƒ³ã«é–¢é€£ã™ã‚‹ã•ã¾ã–ã¾ãªæƒ…å ±ã‚’ç™ºä¿¡ã™ã‚‹LINEヤフーDesign å…¬å¼noteã§ã™ã€‚
Referential Transparencyã®ä»£ã‚ã‚Šã«ä½¿ãˆã‚‹æ¦‚念案 - Ryusei’s Notes (a.k.a. M59ã®ãƒ–ãƒã‚°)
Referential Transparencyã¨ã„ã†æ¦‚念ãŒæŒ‡ã™ã‚‚ã®ã¯æ¼ 然ã¨ã—ã¦ã„ã‚‹ã®ã§ã€ã‚‚ã£ã¨æ„味ãŒæ˜Žçžã§ä½¿ã„ã‚„ã™ã„用語を定義ã—ã€è‰²ã€…ãªè¨€èªžã®æ€§è³ªã‚’記述ã—ã¦ã¿ã‚‹ã€‚ å‰æã¨ã—㦠å¼ã¯åŽŸåå¼ã‹è¤‡åˆå¼ã§ã‚る。 複åˆå¼ã¯é–¢æ‰‹ï¼ˆfunctor）ã¨é …（argument）ã‹ã‚‰æ§‹æˆã•ã‚Œã‚‹ã€‚ 〈純粋性〉 「å¼ã®æ„味ã€ã¨ã€Œå¼ã®å€¤ã€ã¯åŒç¾©ã§ã‚る。 〈原å確定性〉 原åå¼ã®æ„味ã¯åŽŸåå¼è‡ªèº«ã¨ãã®åŽŸåå¼ã®æ–‡è„ˆã‹ã‚‰æ±ºå®šã•ã‚Œã‚‹ã€‚ 〈構æˆæ€§ã€‰ 複åˆå¼ã®æ„味ã¯é–¢æ‰‹ãŠã‚ˆã³é …ã®æ„味ã‹ã‚‰æ±ºå®šã•ã‚Œã‚‹ã€‚ 〈弱構æˆæ€§ã€‰ 複åˆå¼ã®æ„味ã¯é–¢æ‰‹ã€é …ã®æ„味ãŠã‚ˆã³å¼ã®æ–‡è„ˆã‹ã‚‰æ±ºå®šã•ã‚Œã‚‹ã€‚ 〈文脈構æˆæ€§ã€‰ 複åˆå¼ã®é …ã®æ–‡è„ˆã¯ã€ãã®è¤‡åˆå¼ã®æ–‡è„ˆã¨é–¢æ‰‹ã‹ã‚‰æ±ºå®šã•ã‚Œã‚‹ã€‚ 〈文脈弱構æˆæ€§ã€‰ 複åˆå¼ã®é …ã®æ–‡è„ˆã¯ã€ãã®è¤‡åˆå¼ã®æ–‡è„ˆã€é–¢æ‰‹ãŠã‚ˆã³ä»–ã®é …ã®æ„味ã‹ã‚‰æ±ºå®šã•ã‚Œã‚‹ã€‚ 〈確定性〉 å¼ã¨å¼ã®æ–‡è„ˆã‹ã‚‰éƒ¨åˆ†å¼ã®æ„味ãŒæ±ºå®šã•ã‚Œã‚‹ã€‚ 〈文脈確定性〉 å¼ã¨å¼ã®æ–‡è„ˆã‹
Scalaã®ãƒ¡ã‚½ãƒƒãƒ‰ã‚„関数ã«é–¢ã™ã‚‹Q&A - kmizuã®æ—¥è¨˜
Scala勉強会第170回 in 本郷 rpscala.doorkeeper.jp ã¯ã€ã‚µãƒ–テーマ「Scalaã®è¨€èªžä»•æ§˜ã€ã§ã‚ã£ãŸãŸã‚ã€ä¹…々ã«ç†±å¼ã‚’ãµã‚‹ã£ãŸã¨ã“ã‚ã€ç‰¹ã«ã€ãƒ¡ã‚½ãƒƒãƒ‰ã‚„関数ã®ä»•æ§˜ã‚„区別ã«é–¢ã—ã¦ç–‘å•ã«æ€ã£ãŸæ–¹ãŒå¤šã‹ã£ãŸã‚‰ã—ãã€è³ªå•ã‚‚多ã‹ã£ãŸã®ã§ã€Q&Aå½¢å¼ã§ã¾ã¨ã‚ã¦ãŠãã¾ã™ã€‚ Q: (x1, xN) => body å½¢å¼ã¨ã€{ case pat1 => body1; ... case patN => bodyN }å½¢å¼ã®é•ã„ã¯ä½•ã§ã—ょã†ã‹ï¼Ÿ A: å‰è€…ã¯å¿…ãšFunctionN[S1,...,SN,R]åž‹ã‚’æŒã¤ã®ã«å¯¾ã—ã¦ã€å¾Œè€…ã¯æœŸå¾…åž‹(expected type)ã«ã‚ˆã£ã¦åž‹ãŒç•°ãªã‚Šã¾ã™ï¼š 1: FunctionN[S1,...,SN,R]: ã“ã®å ´åˆã€ (x1:S1,...,xN:SN) => (x1,...,xN) match { case pat1 => body1 case
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}