Lenses: Yoneda with Adjunctions
Lenses: Yoneda with Adjunctions Posted by Bartosz Milewski under Category Theory, Haskell, Lens, Programming Leave a Comment In the previous post I explored the application of the Yoneda lemma in the functor category to derive some results from the Haskell lens library. In particular I derived the profunctor representation of isos. There is one more trick that is used in the lens library: combinin
2015〜2016å¹´ã§é–‹ç™ºçµ„織を作るãŸã‚ã«ã‚„ã£ã¦ã¿ãŸã“㨠- FLINTERS Engineer's Blog
ã“ã‚“ã«ã¡ã¯ã€æ‰è°·ã¨ç”³ã—ã¾ã™ã€‚ GANMA!を開発ã—ã¤ã¤ã€ç¤¾å†…環境を整ãˆãŸã‚Šã¨ã‹ã—ã¦ã„ã¾ã™ã€‚ ã“ã®ä¼šç¤¾ã«å…¥ç¤¾ã—ã¦ã‹ã‚‰3年（＋1ヶ月）経ã¡ã¾ã—ãŸã€‚ã‚ã£ã¨ã„ã†é–“ï¼ ã„ã‚ã„ã‚ã‚„ã£ã¦ããŸçµæžœã€çµ„ç¹”ãŒã¾ã™ã¾ã™è‰¯ã„æ„Ÿã˜ã«ãªã£ã¦ããŸã®ã§ã€ä¼šç¤¾ãã‚‹ã¿ã§è©¦ã¿ã¦ããŸã“ã¨ã‚’ã”紹介ã—ã¾ã™ã€‚ 2013〜2014ã§ã‚„ã£ã¦ã¿ãŸã“㨠入社1〜2å¹´ç›®ã¯ä»¥ä¸‹ã®ã“ã¨ã‚’è¡Œã„ã¾ã—㟠Chatwork / Stash(ç¾BitBucket) / Confluence / JIRAã®å°Žå…¥ 開発ãƒãƒªã‚·ãƒ¼ã®åˆ¶å®š TDDç ”ä¿®ãƒ»ã‚¹ã‚¯ãƒ©ãƒ ç ”ä¿® システムリーダー定例 è£é‡åŠ´åƒåˆ¶ã®å°Žå…¥ 評価制度ã®æ”¹å–„ 会社標準PCã‚’MacBookPro 15インãƒ(æ¾)㫠ゲーム部を立ã¡ä¸Šã’ã¦ã¿ãŸ 詳ã—ãã¯å‰å›žã®ã‚¨ãƒ³ãƒˆãƒª 2014年。開発組織を作るãŸã‚ã«ã‚„ã£ã¦ã¿ãŸäº‹ ã‚’ã”å‚ç…§ãã ã•ã„。 Slackã®å°Žå…¥ 2013〜2014ã®æ®µéšŽã§ã¯Chatworkを利用ã—ã¦ã„ã¾ã—ãŸ
ã€ä¿å˜ç‰ˆã€‘Scala/Scrum/DDD å›°ã£ãŸã“ã¨50連発ガトリングトークã§ã®è³ªå•ã«å¯¾ã™ã‚‹å›žç” - FLINTERS Engineer's Blog
ã“ã‚“ã«ã¡ã¯ã€‚ @kimutyam (木æ‘)ã§ã™ã€‚ 先日ã¯ã€ŽScala/Scrum/DDD å›°ã£ãŸã“ã¨50連発ガトリングトークã€ã¨ã„ã†å‹‰å¼·ä¼šã«ã¦ç™»å£‡ã•ã›ã¦ã„ãŸã ãã¾ã—ãŸã€‚ scala-scrum-ddd-gatlingtalk.connpass.com 登壇後ã¯ã‚¬ãƒˆãƒªãƒ³ã‚°ã™ãŽãŸã®ã§ã‚ã£ã¨ã„ã†é–“ã«çµ‚ã‚ã£ãŸã¨ã„ã†æ„見ãŒã‚ã‚Šã¾ã—ãŸã®ã§ã€ 勉強会ã§è³ªå•ã—ã¦ã„ãŸã ã„ãŸå†…容ã®å›žç”ã‚’ã¾ã¨ã‚るエントリã¨ã—ã¾ã™ã€‚ 勉強会内容ã«ã¤ã„㦠Scala/Scrum/DDD å›°ã£ãŸã“ã¨50連発ガトリングトークï¼ï¼ from Yasuyuki Sugitani www.slideshare.net 50連発ã§ã‚‚スライド数173枚到é”ã—ã¾ã—ãŸã€‚ 元々ã¯100連発ã«ã—よã†ã¨ç›®è«–ã‚“ã§ã„ãŸã‘ã©è¾žã‚ã¦ã‚ˆã‹ã£ãŸ... 以下ã®ã‚«ãƒ†ã‚´ãƒªã§å›°ã£ãŸã“ã¨ã‚’50連発ã—ã¦å„社ã§ã©ã®ã‚ˆã†ã«è§£æ±ºã—ã¦ããŸã‹ã¨ã„ã†ã®ãŒã€ã“ã®ã‚¤ãƒ™ãƒ³ãƒˆã®è¶£æ—¨ã§ã™ã€‚ 詳細ã¯ã‚¹
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
O'Reilly Media - Technology and Business Training
{{#tags}}- {{label}}
{{/tags}}