[B! lens] poginã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

pogin id:pogin

lensã«é–¢ã™ã‚‹poginã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (8)

${{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}}

åœè«–çš„ãƒ¬ãƒ³ã‚º æœ€åˆã®ä¸€æ©ï¼š ã‚¹ãƒˆãƒªãƒ³ã‚°å›³ã‚’ä¸å¿ƒã« - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã„ã¦ã€ãƒ¬ãƒ³ã‚ºã€ˆlensã€‰ã¨å‘¼ã°ã‚Œã‚‹æ§‹é€ ãŒä½¿ã‚ã‚Œã‚‹æ©Ÿä¼šãŒå¢—ãˆã¦ã„ã‚‹ã‚ˆã†ã§ã™ã€‚å¤å…¸çš„ãªãƒ¬ãƒ³ã‚ºãŒå¹¾ã¤ã‹ã®æ–¹å‘ã«ä¸€èˆ¬åŒ–ã•ã‚Œã¦ã„ã¦ã€ã€Œãƒ¬ãƒ³ã‚ºã£ã¦ãªã«ï¼Ÿã€ã¨èžã‹ã‚Œã¦ã‚‚ç”ãˆã«ãã„çŠ¶æ³ã«ãªã£ã¦ã„ã¾ã™ã€‚ ä¸€ç•ªç°¡å˜ãªï¼ˆã¨åƒ•ãŒæ€ã£ã¦ã„ã‚‹ï¼‰ã‚¹ãƒˆãƒ¬ãƒ¼ã‚¸ã®ä¾‹ã‹ã‚‰ã¯ã˜ã‚ã¦ã€å…·è±¡ãƒ¬ãƒ³ã‚ºã‚’å°Žå…¥ã—ã€ãã‚Œã‚‰ã®ã‚ã„ã ã®é–¢ä¿‚ã‚’èª¿ã¹ã¾ã™ã€‚è¨˜è¿°ã¨è¨ˆç®—ã«ã‚¹ãƒˆãƒªãƒ³ã‚°å›³ã‚’ä½¿ç”¨ã—ã¾ã™ã€‚ å†…å®¹ï¼š å…ƒç¥–ãƒ¬ãƒ³ã‚º å…ƒç¥–ãƒ¬ãƒ³ã‚ºã®åœ å…ƒç¥–ãƒ¬ãƒ³ã‚ºé”ã¯ãƒ›ãƒ³ãƒˆã«åœãªã®ã‹ï¼Ÿ Webã‚µãƒ¼ãƒãƒ¼ãƒ¢ãƒ‡ãƒ« å…·è±¡ãƒ¬ãƒ³ã‚º å…ƒç¥–ãƒ¬ãƒ³ã‚ºã¨å…·è±¡ãƒ¬ãƒ³ã‚º ãŠã‚ã‚Šã« ã‚·ãƒªãƒ¼ã‚ºç›®æ¬¡ï¼ˆãƒªãƒ³ã‚¯ï¼‰ï¼š åœè«–çš„ãƒ¬ãƒ³ã‚º æœ€åˆã®ä¸€æ©ï¼š ã‚¹ãƒˆãƒªãƒ³ã‚°å›³ã‚’ä¸å¿ƒã«ï¼ˆã“ã®è¨˜äº‹ï¼‰ åœè«–çš„ãƒ¬ãƒ³ã‚º 2ï¼š å…·è±¡ã‚ªãƒ—ãƒ†ã‚£ãƒƒã‚¯ åœè«–çš„ãƒ¬ãƒ³ã‚º è¨‚æ£ã¨è£œè¶³ï¼š å…·è±¡ãƒ¬ãƒ³ã‚ºï¼å…·è±¡ã‚ªãƒ—ãƒ†ã‚£ãƒƒã‚¯ åœè«–çš„ãƒ¬ãƒ³ã‚º 3ï¼š ãƒ¬ãƒ³ã‚ºï¼ã‚ªãƒ—ãƒ†ã‚£ãƒƒã‚¯ã®ãŸã‚ã®æç”»æ³• åœè«–çš„ãƒ¬ãƒ³ã‚º 4ï¼š ãƒ†ãƒ¬ã‚ªãƒã‚¸ãƒ¼åœ åœè«–çš„ãƒ¬ãƒ³ã‚º 5ï¼š ã‚ªãƒ—ãƒ†ã‚£ãƒƒã‚¯
pogin 2024/09/01
åœè«–

é–¢æ•°åž‹

lens
ãƒªãƒ³ã‚¯
Optics: ã€Œãƒ‘ã‚¹ã€ã«åž‹ã‚’ä»˜ã‘ã‚Œã°ã€ãƒ‡ãƒ¼ã‚¿å…¨ä½“ã«åž‹ã‚’ä»˜ã‘ã‚‹å¿…è¦ã¯ãªã„ - Lambdaã‚«ã‚¯ãƒ†ãƒ«
ã‚ã¾ã‚ŠçŸ¥ã‚‰ã‚Œã¦ã„ãªã„é–¢æ•°åž‹è¨€èªžã®ãŠã‚‚ã—ã‚æ¦‚å¿µã¨ã—ã¦ã€Opticsã¨ã„ã†ã‚‚ã®ãŒã‚ã‚‹ã€‚ Opticsã¨ã¯ã€ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘è¨€èªžã§è¨€ã†ã¨ã“ã‚ã®Setter/Getterã‚’ä¸€ç¨®ã®é–¢æ•°ã¨ã—ã¦æ‰ãˆã€ã„ãã¤ã‹ã®ä¾¿åˆ©ãªç‰¹æ€§ã‚’ä»˜ä¸Žã—ãŸã‚‚ã®ã®ç·ç§°ã ã€‚ã“ã®ä¾¿åˆ©ãªç‰¹æ€§ã«ã‚ˆã£ã¦ã€Setter/Getterä»¥ä¸Šã®ã“ã¨ã‚’ãƒ‘ãƒ¯ãƒ•ãƒ«ã«ã“ãªã›ã‚‹ã€‚ æœ€ã‚‚æœ‰åãªOpticsã¯Lensã§ã‚ã‚Šã€è‰²ã€…ãªè§£èª¬è³‡æ–™ãŒ(ä¸»ã«Haskellå‘ã‘ã«)å‡ºã¦ã„ã‚‹ã€‚ blog.recruit.co.jp ã•ã¦ã€ã“ã‚Œã¾ã§ã®Opticsã‚’ç´¹ä»‹ã™ã‚‹è³‡æ–™ã¯Setterã¨Getterã¨ã—ã¦ã®å´é¢ã«æ³¨ç›®ã—ãŒã¡ã ã£ãŸã®ã§ã€ã˜ã‚ƒã‚Opticsã®ä½•ãŒè‰¯ã„ã®ã‹ã€Scalaã§ã‚„ã‚‹æ„ç¾©ã¯ä½•ã‹ã€ã¨ã„ã†å´é¢ã‚’ã“ã®è¨˜äº‹ã§ç´¹ä»‹ã—ã‚ˆã†ã¨æ€ã†ã€‚ Optics -- vs. copyãƒ¡ã‚½ãƒƒãƒ‰åœ°ç„ Opticsã¯åˆæˆå¯èƒ½ã§ã‚ã‚‹ Opticsã¯ãƒœãƒˆãƒ ã‚¢ãƒƒãƒ—ã®ã‚¢ãƒ—ãƒãƒ¼ãƒã§ã‚ã‚‹ OpticsãŒã†
pogin 2023/06/07
åž‹

scala

lens
ãƒªãƒ³ã‚¯
Lensã§è¡Œã“ã†ï¼ - Just $ A sandbox
ç¶šç·¨ï¼šLensã§è¡Œã“ã†ï¼(2):Isoã¸ã®æ‹¡å¼µ - ã¿ã‚‡ã‚“ã•ã‚“ã®ã€‚ Lensã¨ã¯ Lens(http://hackage.haskell.org/package/lens-3.7.1.2)ã¨ã„ã†ãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ãŒã‚ã‚Šã¾ã™ã€‚ éžå¸¸ã«å¤§ããªãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ã§ã€ä¸ã«ã¯éžå¸¸ã«ä¾¿åˆ©ãªå‡½æ•°ç¾¤ãŒãŸãã•ã‚“æƒã£ã¦ã„ã¾ã™ã€‚ ç§ãŒèª¿ã¹ãŸé™ã‚Šã§ã¯ã€ "Lens package in Haskell(Haskellã®Lensãƒ‘ãƒƒã‚±ãƒ¼ã‚¸)" ã®è§£èª¬è¨˜äº‹ã¯Data.Lens(http://hackage.haskell.org/package/lenses-0.1.6)ãŒã‚„ãŸã‚‰ã¨ãƒ’ãƒƒãƒˆã™ã‚‹ã®ã§ã™ãŒã€ã“ã¡ã‚‰ã‚ˆã‚Šã‚‚Control.Lensã¨ãã®å‘¨ã‚Šã®ãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ç¾¤(ã“ã®æ®µè½ã®æœ€åˆã«ãƒªãƒ³ã‚¯ãŒè²¼ã£ã¦ã‚ã‚‹æ–¹ã§ã™)ã®æ–¹ãŒè‰²ã€…ã¨ä¾¿åˆ©ã§ãŸãã•ã‚“ã®å‡½æ•°ãŒæƒã£ã¦ã„ã‚‹ã®ã§ã€ãœã²Conrol.Lensã®æ–¹ã‚’ä½¿ã£ã¦ãã ã•ã„*1ã€‚ ã•ã¦ã€Lensã£ã¦ä½•ãŒå‡ºæ¥ã‚‹
pogin 2015/06/02
haskell

lens
ãƒªãƒ³ã‚¯
Prismãƒ¡ãƒ¢ - DebugIto's diary
å‰å›žã®ç¶šãã§ã€ä»Šå›žã¯Prismã«ã¤ã„ã¦èª¿ã¹ãŸã®ã§ãã‚Œã«ã¤ã„ã¦è¨˜ã™ã€‚(lensãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ ãƒãƒ¼ã‚¸ãƒ§ãƒ³4.7ã«åŸºã¥ã) å‰å›žæ›¸ã„ãŸã‚ˆã†ã«ã€Prismã¯Traversalã®ä¸€ç¨®ã§ã‚ã‚Šã€å…¨ä½“ãƒ‡ãƒ¼ã‚¿ã®ä¸ã®0å€‹ã‚‚ã—ãã¯1å€‹ã®éƒ¨åˆ†ãƒ‡ãƒ¼ã‚¿ã«ç€ç›®ã™ã‚‹ã€‚ã¾ãŸã€Prismã¯ã€Œéƒ¨åˆ†ãƒ‡ãƒ¼ã‚¿ã‹ã‚‰å…¨ä½“ãƒ‡ãƒ¼ã‚¿ã‚’å¾©å…ƒã™ã‚‹ã“ã¨ãŒã§ãã‚‹ã€ã¨ã„ã†ã€Lensã«ã¯ãªã„ç‰¹å¾´ã‚’æŒã¤ã€‚(ãã®ãŸã‚ã€Prismã§ã¯ã€Œå…¨ä½“ã€ã¨ã€Œéƒ¨åˆ†ã€ã¨ã„ã†è¨€ã„æ–¹ã¯ä¸é©åˆ‡ã‹ã‚‚ã—ã‚Œãªã„) >>> (Right "hoge") ^. _Right "hoge" >>> "hoge" ^. re _Right Right "hoge" ã“ã®ã€Prismã®åŠ¹æžœã‚’ã€Œé€†è»¢ã€ã™ã‚‹é–¢æ•°ã§ã‚ã‚‹reãŒã©ã†ã„ã†ä»•çµ„ã¿ã«ãªã£ã¦ã„ã‚‹ã‹æ°—ã«ãªã£ãŸã®ã§ã€lensã®ãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã‚„ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’èªã‚“ã ã€‚ Prismã®åž‹ Prismã®ãƒ‡ãƒ¼ã‚¿åž‹ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«ãªã£ã¦ã„ã‚‹ã€‚ type Prism s t
pogin 2015/06/02
haskell

Prism

lens
ãƒªãƒ³ã‚¯
Lens : Smart setter for immutable data
A implementation of lens library in Perl
pogin 2015/05/30
lens

haskell
ãƒªãƒ³ã‚¯
Haskellã§ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã‚’æ‹¡å¼µã™ã‚‹ç¶™æ‰¿ -- ITå°‚é–€è³ªå•ã®ç”ãˆ -- å½¼å±±ã®çŸ¥è˜
C + +ãƒ—ãƒã‚°ãƒ©ãƒžã¯ã€ã“ã“ã§ã¯Haskellã‚’ç¿’å¾—ã—ã‚ˆã†ã¨ã—ã¦ã„ã‚‹.ã“ã‚Œã¯ãŠãã‚‰ãç°¡å˜ãªè³ªå•ã‚’ãŠè¨±ã—ä¸‹ã•ã„.ç§ã¯ã€3æ¬¡å…ƒå½¢çŠ¶ã‚’è¡¨ã™ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’ç¿»è¨³ã—ãŸã„. C + +ã§ã¯ç§ã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã‚Šã¾ã™ï¼š class Shape { public: std::string name; Vector3d position; }; class Sphere : public Shape { public: float radius; }; class Prism : public Shape { public: float width, height, depth; }; ç§ã¯è¨ˆç®—ã®ã‚ˆã†ã«ã€çƒã‚’æ“ä½œã™ã‚‹æ–¹æ³•ã ã‘ã‚’çŸ¥ã£ã¦ã„ã‚‹ã‚ˆã‚Šãƒã‚¹ã‚±ãƒ«ï¼ˆãƒ¬ã‚³ãƒ¼ãƒ‰ã‚’ä½¿ç”¨ã—ã¦ï¼Ÿï¼‰ç§ã¯ï¼ˆãã®åå‰ã¨ä½ç½®ã«ã‚¢ã‚¯ã‚»ã‚¹ã™ã‚‹ã‚ˆã†ãªï¼‰å½¢çŠ¶ã‚’æ“ä½œã™ã‚‹æ–¹æ³•ã‚’çŸ¥ã£ã¦ã„ã‚‹ã„ãã¤ã‹ã®æ©Ÿèƒ½ã‚’æŒã¤ã“ã¨ãŒã§ãã‚‹ã‚ˆã†ã«ã€ã€ã€ä»–ã«ã“ã‚Œã‚’ç¿»è¨³ã—ã‚ˆã†ã¨ã—ã¦
pogin 2015/05/27
haskell

Lens

Prism
ãƒªãƒ³ã‚¯
Ekmettå‹‰å¼·ä¼šatæ¸‹è°· #ekmett_conf - capriccioso String Creating(Object something){ return My.Expression(something); }
æ•°å¤šãã®Haskellãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®ã‚’æ‰‹ãŒã‘ã‚‹Edward Kmettã•ã‚“ã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’å‹‰å¼·ã—ã‚ˆã†ï¼ ã¨ã„ã†è¶£å‘ã§é–‹å‚¬ã•ã‚ŒãŸekmettå‹‰å¼·ä¼šã«å‚åŠ ã—ã¦æ¥ã¾ã—ãŸã€‚ æœ¬å½“ã¯ãã®æ—¥ã®å†…å®¹ã‚’ä¸€ã¤ä¸€ã¤ã”ç´¹ä»‹ã§ãã‚Œã°è‰¯ã„ã®ã§ã™ãŒã€ã†ã£ã‹ã‚Šãƒ¡ãƒ¢ã®ãƒ•ã‚¡ã‚¤ãƒ«ã‚’å‰Šé™¤ã™ã‚‹ã¨ã„ã†ãƒ‰ã‚¸ã£åã£ã·ã‚Šã‚’ã‚ã‚ã¦ã—ã¾ã£ãŸã®ã§ã€æ›–æ˜§ãªè¨˜æ†¶ã‚’å…ƒã«ã€Œã“ã‚“ãªã‚“ã ã£ãŸãŠï¼žï¼œã€‚ã€ã¨ã„ã†è©±ã‚’æ›¸ã“ã†ã‹ãªã¨æ€ã„ã¾ã™ã€‚ lens ãƒ–ãƒã‚°ä¸»æ‹…å½“ã€‚ç™ºè¡¨è³‡æ–™ã¯ä»¥ä¸‹ã€‚ http://www.slideshare.net/itsoutoftunethismymusic/ekmett-17955009 https://github.com/ekmett/lens/wiki/Derivation ã‚’å¤§ã„ã«å‚è€ƒã«ã—ã¾ã—ãŸã€‚ ç™ºè¡¨å¾Œãƒ‘ãƒ•ã‚©ãƒ¼ãƒžãƒ³ã‚¹ã«ã¤ã„ã¦ã®è³ªå•ãŒã‚ã£ãŸã®ã§ã™ãŒãŠå‹‰å¼·ä¸è¶³ã§ãŠç”ãˆã§ããšã€‚ ekmettæ°æ›°ãã€ã€Œé»’é”è¡“ä½¿ã£ã¦ã‚‹ã‹ã‚‰ã€ã„ã¾ã‚„baseãƒ©ã‚¤
$Ekmettå‹‰å¼·ä¼šatæ¸‹è°· #ekmett_conf - capriccioso String Creating(Object something){ return My.Expression(something); }$
pogin 2014/06/26
ãƒ©ã‚¤ãƒ–ãƒ©ãƒª

lens

è³‡æ–™

haskell

åœè«–

ekmett

ãƒ¢ãƒŠãƒ‰
ãƒªãƒ³ã‚¯
ã¯ã¦ãªãƒ–ãƒã‚° | ç„¡æ–™ãƒ–ãƒã‚°ã‚’ä½œæˆã—ã‚ˆã†
ä»Šå¹´è²·ã£ãŸè‰¯ã‹ã£ãŸã‹ã©ã†ã‹åˆ†ã‹ã‚‰ãªã„ã‚‚ã® ã“ã®å£ç¯€ã«ãªã‚‹ã¨ã€Œä»Šå¹´è²·ã£ã¦ã‚ˆã‹ã£ãŸã‚‚ã®ã€ã¨ã„ã†è©±é¡Œã§ãƒ–ãƒã‚°ã‚‚SNSã‚‚è³‘ã‚ã†ã®ã ã‘ã©ã€ä»Šå¹´ã«é–¢ã—ã¦ã¯è²·ã£ã¦ã‚ˆã‹ã£ãŸã‚‚ã®ä»¥å‰ã«ãã‚‚ãã‚‚ã‚ã‚“ã¾ã‚Šè²·ã„ç‰©ã‚’ã—ãªã‹ã£ãŸã€‚ â€¦ã¨è¨€ã†ã‹ä»Šå¹´ã«é™ã‚‰ãšã“ã“æ•°å¹´ã‚’æŒ¯ã‚Šè¿”ã£ã¦ã‚‚å…¨ç„¶å¤§ããªè²·ã„ç‰©ã‚’ã—ã¦ã„ãªã„ã—å¼·çƒˆã«æ¬²ã—ã„ã‚‚ã®ã‚‚â€¦
pogin 2012/12/07
lens

haskell
ãƒªãƒ³ã‚¯
1