elmã§ã‚„ã£ã¦ã¿ã‚‹ã‚·ãƒªãƒ¼ã‚º7: elm-htmlã§Twitter Bootstrapã‚’é©ç”¨ - uehaj's blog
Elmã§ã‚„ã£ã¦ã¿ã‚‹ã‚·ãƒªãƒ¼ã‚º7: elm-htmlã§Twitter Bootstrapã‚’é©ç”¨ã€‚ ã¤ã„先日ã€ã€ŒBlazing Fast HTMLã€ã¨éŠ˜æ‰“ã£ã¦ã€elm-htmlライブラリãŒå…¬é–‹ã•ã‚Œã¾ã—ãŸã€‚ã“ã‚Œã¯Elmã§DOMツリーを構築・更新ã™ã‚‹ãŸã‚ã®ä½Žãƒ¬ãƒ™ãƒ«ãƒ©ã‚¤ãƒ–ラリã§ã‚ã‚Šã€Virtual DOMã¨ã„ã†æŠ€è¡“を使ã£ã¦ã„ã‚‹ã®ã§éžå¸¸ã«ç”»é¢æ›´æ–°é€Ÿåº¦ãŒé€Ÿã„ãã†ã§ã™ã€‚SPA(Single Page Application)ã§ã¯DOMã®æ›´æ–°é€Ÿåº¦ãŒé‡è¦ã«ãªã‚Šã¾ã™ãŒã€Elmã¯ç´”粋関数型・イミュータブルデータãªã®ã§ãã®ã“ã¨ã‚’利用ã—ã¦ã•ã‚‰ã«åŠ¹çŽ‡è‰¯ã実装ã§ãã‚‹ãã†ãªã€‚ 従æ¥ã€Elmã¯CSSã¨ã®é€£æºã¯ã‚ã¾ã‚Šé‡è¦–ã•ã‚Œã¦ãŠã‚‰ãšã€ã€ŒElmã¯Canvasを使ã£ãŸã‚¢ãƒ‹ãƒ¡ãƒ¼ã‚·ãƒ§ãƒ³ãŒå¾—æ„ã€ã¨ã•ã‚Œã¦ãã¾ã—ãŸãŒã€ç¾ä»£çš„ãªè¦‹ãŸç›®ã®HTMLベースã®ã‚¢ãƒ—リも自在ã«é–‹ç™ºã§ãるよã†ã«ãªã‚‹ã€ã¨ã„ã†é“ç‹ã®ç¬¬ä¸€æ©ãªã‚ã‘ã§ã™ã€‚ã¾ã 未æˆç†Ÿã§ã™ãŒã。 個人的
論文紹介: Unboxed objects and polymorphic typing
論文紹介: Unboxed objects and polymorphic typing Presentation Transcript 関数型 LT 大会 Unboxed objects and polymorphic typing nomaddo@no maddo æ±åŒ—大å¦å¤§å¦é™¢â€ƒæƒ…å ±ç§‘å¦ç ”究科 2014 å¹´ 5 月 11 æ—¥ Who am I? @no maddo OCaml, SML#, Emacs Haskell ã¯åˆ†ã‹ã‚Šã¾ã›ã‚“…。 • æ±åŒ—大å¦ã®å¤§å¦é™¢ç”Ÿ (M1) • è«–ç†å¦ã¨ã‹åž‹ç†è«–ã¨ã‹ã‚³ãƒ³ãƒ‘イラã¨ã‹å‹‰å¼·ã—ã¦ã¾ã™ • 趣味㯠list-package ã§æ‹¡å¼µãƒ—ラグインã®ãƒªã‚¹ãƒˆã‚’眺ã‚ã‚‹ã“㨠• 艦ã“ã‚Œã§ãªã‚‰å±±åŸŽãƒ»æ‰¶æ¡‘ãŒå¥½ãã§ã™ • インターン先を探ã—ã¦ã„ã¾ã™ï¼ 2 / 37 æ±åŒ—大ã£ã¦ã©ã‚“ãªã¨ã“？ 3 / 37 æ±åŒ—大ã£ã¦ã©ã‚“ãªã¨ã“？ A. å±±ã§ã™ 3 / 37 æ±åŒ—大ã£ã¦ã©ã‚“
Haskellã®forallã«ã¤ã„ã¦ç†è§£ã—ãŸã“ã¨ã‚’書ã„ã¦ãŠã(ランクN多相é™å®š)。 - uehaj's blog
Haskellã®forallã«ã¤ã„ã¦ç†è§£ã—ãŸã“ã¨ã‚’書ã„ã¦ãŠãyo!(ランクN多相é™å®š*1 )。 å‰æ知è˜ã®ãŠã•ã‚‰ã„: 型・多相型・型検査・型推論… 最åˆã«åŸºæœ¬æ¦‚念を整ç†ã—ã¦ãŠãã¾ã™ã€‚ Intã‚„Int->Intã¯å˜ç›¸åž‹ã€aã‚„a->aã¯å¤šç›¸åž‹ã§ã‚る。ã“ã“ã§aを型変数ã¨å‘¼ã¶ã€‚型変数をå«ã‚€åž‹ãŒå¤šç›¸åž‹ã£ã¦ã‚ã‘ã§ã™ã€‚ 言語処ç†ç³»ã®å®Ÿè£…上ã€åž‹ã¨ã„ã†æ¦‚念ã¯åž‹å¤‰æ•°ã‚„型コンストラクタã®ãƒ„ãƒªãƒ¼æ§‹é€ ã¨ã—ã¦è¡¨ç¾ã•ã‚Œã‚‹ã€‚Int,Char,[],->,(,),(,,,),IO aãªã©ãŒåž‹ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã€‚ a,bãŒåž‹å¤‰æ•°ã€‚組åˆã›ã¦(a->[Int])->[b]->(a,b)ã¨ã‹ã€‚::ã®å³ã«æ›¸ãã‚„ã¤ã§ã™ã€‚ åž‹ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®å—é¢ä¸Šã«ç›´æŽ¥çš„実体ãŒã‚る関数や変数ã ã‘ã§ã¯ãªãã€å€¤ã‚’生ã˜ã•ã›ã‚‹éƒ¨åˆ†å¼ã™ã¹ã¦ã«ä»˜éšã—ã€ã‚³ãƒ³ãƒ‘イル時ã«æ±ºå®šã•ã‚Œã‚‹ã¹ãæƒ…å ±ã§ã‚ã‚‹(値ã‚ã‚‹ã¨ã“ã‚ã«åž‹ãŒã‚る。*2 )。ãれを決定ã—よã†ã¨ã„ã†ã®ãŒ(é™çš„)型検査ã§ã‚
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
FP virgin learns Elm
{{#tags}}- {{label}}
{{/tags}}