Object-Oriented Conference 2024ã§ç™ºè¡¨ã—ãŸè³‡æ–™ã§ã™ã€‚ https://fortee.jp/oocon-2024/proposal/b31c9818-3cb8-4350-adfe-cbc839cdf829 ビジãƒã‚¹ã®å°‚門知è˜ï¼ˆãƒ‰ãƒ¡ã‚¤ãƒ³ï¼‰ã‚’ä¸å¿ƒã«æ®ãˆãŸãƒ‰ãƒ¡ã‚¤ãƒ³é§†å‹•è¨è¨ˆã«â€¦
ビジãƒã‚¹ãƒã‚¸ãƒƒã‚¯ã‚’「型ã€ã§è¡¨ç¾ã™ã‚‹OOPã®ãŸã‚ã®é–¢æ•°åž‹DDD / Functional And Type-Safe DDD for OOP
Object-Oriented Conference 2024ã§ç™ºè¡¨ã—ãŸè³‡æ–™ã§ã™ã€‚ https://fortee.jp/oocon-2024/proposal/b31c9818-3cb8-4350-adfe-cbc839cdf829 ビジãƒã‚¹ã®å°‚門知è˜ï¼ˆãƒ‰ãƒ¡ã‚¤ãƒ³ï¼‰ã‚’ä¸å¿ƒã«æ®ãˆãŸãƒ‰ãƒ¡ã‚¤ãƒ³é§†å‹•è¨è¨ˆã«â€¦
TypeScriptã®åž‹å®šç¾©ã§éº»é›€ã®å½¹åˆ¤å®šã‚’ã™ã‚‹ ã€dwango Advent Calendar 2日目】 - MANA-DOT
ã“ã®ã‚¨ãƒ³ãƒˆãƒªã¯ ドワンゴ Advent Calendar 2021 2日目ã®è¨˜äº‹ã§ã™(夜ãŒæ˜Žã‘ã‚‹ã¾ã§ã¯2日目ï¼)。 ã¯ã˜ã‚ã« TypeScriptã«ã¯ Conditional Types ã‚„ Template Literal Types ã¨ã„ã£ãŸã‚¯ãƒƒã‚½å¼·åŠ›ãªåž‹æ©Ÿèƒ½ãŒã‚ã‚Šã¾ã™ã€‚ ã“れらを用ã„ã¦ã€ä»Šå›žã¯ 2p3p4p2m3m4m2s3s4s4s5s6s8s8s ã®ã‚ˆã†ãªå¤©é³³ç‰Œèœå½¢å¼ã®æ–‡å—列を型引数ã«æ¸¡ã™ã¨ã€éº»é›€ã®å½¹åˆ¤å®šã‚’ã™ã‚‹åž‹(ã‚ãã¾ã§åž‹ã§ã™ã€é–¢æ•°ã§ã¯ã‚ã‚Šã¾ã›ã‚“)を作ã£ã¦ã¿ã‚ˆã†ã¨ãŠã‚‚ã„ã¾ã™ã€‚ (ãŸã ã—時間ãŒãªã‹ã£ãŸãŸã‚æ–么ä¹ã¨å¹³å’Œã®ã¿ã§ã™)。 Conditional Types, Template Literal Types ã£ã¦ä½•ï¼Ÿ ãã‚Œãžã‚Œå…·ä½“çš„ã«ã©ã‚“ãªã‚‚ã®ã‹ã€ãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã®ä¾‹ã‚’用ã„ã¦ç¤ºã™ã¨ã€ä»¥ä¸‹ã®ã‚ˆã†ãªæ„Ÿã˜ã§ã™ã€‚ // Conditional Types ã®ä¾‹ interface Anim
Russell ã®ãƒ‘ラドクス㨠λx.xx (ã¾ãŸã¯è‡ªå·±è¨€åŠãŒã‚‚ãŸã‚‰ã™è±Šã‹ã•ã¨å±ã†ã•ã«ã¤ã„ã¦) - ryota-ka's blog
ã“ã®è¨˜äº‹ã¯ä»¥ä¸‹ã®ãƒšãƒ¼ã‚¸ã«ç§»è»¢ã—ã¾ã—ãŸï¼Ž blog.ryota-ka.me ãŠç›†ã«æ•°æ—¥ã®ä¼‘ã¿ãŒã‚ã£ãŸã®ã§ï¼ŒLudwig Wittgenstein ã®ã€Žè«–ç†å“²å¦è«–考 (Tractatus Logico-Philosophicus)ã€ã‚’èªã¿å§‹ã‚ãŸï¼ŽWittgenstein ã®è‘—作をèªã‚“ã§ã„ã‚‹ã¨ï¼Œå½¼ãŒç†è«–を継承ã—，ã¾ãŸæ‰¹åˆ¤ã™ã‚‹å¯¾è±¡ã¨ãªã£ãŸ Gottlob Frege ã‚„ Bertrand Russell ã®æ€æƒ³ã«ã‚‚åŒæ™‚ã«è§¦ã‚Œã‚‹ã“ã¨ã«ãªã‚‹ï¼Ž 『論考ã€ã®å‘½é¡Œ 3.3 以下ã«ï¼ŒRussell ã®ãƒ‘ラドクスã«å¯¾ã™ã‚‹è§£æ±ºç–ã‚’æ示ã—，Russell ã®ä¸»å¼µã‚’åé§ã™ã‚‹å ´é¢ãŒè¦‹ã‚‰ã‚Œã‚‹ãŒï¼Œã“ã®è¨˜äº‹ã§ã¯ã‚€ã—ã‚，Russell 自身ã®å›žç”ã§ã‚る階型ç†è«– (theory of types) ã«ã‚ˆã‚‹è§£æ±ºç–ã«ç›®ã‚’å‘ã‘ãŸã„．我々ãŒæ™®æ®µãƒ—ãƒã‚°ãƒ©ãƒ を記述ã™ã‚‹éš›ã«è§¦ã‚Œã‚‹åž‹ã®æ¦‚念ãŒå¦‚何ã«ã—ã¦ç”Ÿã¾ã‚Œï¼Œç™ºå±•ã—ã¦ããŸã®ã‹ã‚’見ã¦ã„ãã“ã¨ã¨ã—よ
F*(F Star)ã®è¤‡é›‘ãªåž‹ã‚·ã‚¹ãƒ†ãƒ ã®ä½•ãŒå¬‰ã—ã„ã®ã‹ï¼Ÿ - Amosapientiam
マイクãƒã‚½ãƒ•ãƒˆãŒé–‹ç™ºä¸ã®F* ã¨ã„ã†ä¾å˜åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’å°‘ã—触ã£ã¦ã¿ã¾ã—ãŸã€‚ ã“ã®è¨€èªžã«ã¯å¼·åŠ›ã§è¤‡é›‘ãªåž‹ã‚·ã‚¹ãƒ†ãƒ ãŒçµ„ã¿è¾¼ã¾ã‚Œã¦ã„ã¾ã™ã€‚ ç¾çŠ¶ã€ä¾å˜åž‹è¨€èªžã¯ä¸–é–“ã«ã¯ã‚ã¾ã‚Šåºƒã¾ã£ã¦ã„ã¾ã›ã‚“ã®ã§ F*ã¨ã¯ï¼Ÿ 複雑ãªåž‹ã£ã¦ãªã‚“ã ã‚ã†ï¼Ÿ 複雑ãªåž‹ã‚·ã‚¹ãƒ†ãƒ を組ã¿è¾¼ã‚“ã§ä½•ãŒå¬‰ã—ã„ã‚“ã ã‚ã†ï¼Ÿ 何ãŒå¬‰ã—ããªã„ã‚“ã ã‚ã†ï¼Ÿ ã¨ç–‘å•ã‚’ãŠæŒã¡ã«ãªã‚‹æ–¹ã‚‚多ã„ã ã‚ã†ã¨æ€ã„ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯F*ã§ä½¿ã‚ã‚Œã¦ã„る複雑ãªåž‹ã®ä¸€éƒ¨ã¨ã€è¤‡é›‘ãªåž‹ã‚’æŒã¤ã“ã¨ã®åˆ©ç‚¹ãƒ»æ¬ 点ã®ä¸€éƒ¨ã‚’è¿°ã¹ã€ãれを簡å˜ãªã‚³ãƒ¼ãƒ‰ä¾‹ã‚’通ã˜ã¦ä½“æ„Ÿã—ã¦ã¿ã¾ã™ã€‚ ç–‘å•ã«å¯¾ã™ã‚‹ç”㈠F*ã¨ã¯ï¼Ÿ マイクãƒã‚½ãƒ•ãƒˆã¨ Inria ãŒé–‹ç™ºä¸ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ ä¾å˜åž‹ã‚„ monadic effect ãªã©ãŒçµ„ã¿è¾¼ã¾ã‚Œã¦ãŠã‚Šã€è¤‡é›‘ãªä»•æ§˜ãŒåž‹ã§è¡¨ç¾ã§ãã¾ã™ã€‚構文㯠OCaml ã‚„ F#ãªã©ã®ML系関数型言語ã«ä¼¼ã¦ã„ã¾ã™ã€‚ 詳ã—ãã¯ä¸‹è¨˜ã®ãƒªãƒ³ã‚¯ãŸã¡ã‚’å‚照。 F* (プãƒã‚°
型システム入門以å‰
ã²ã‚ã—ã¾å¦ç”ŸIT勉強会 https://connpass.com/event/70401/ ã§ç™ºè¡¨ã—ãŸè³‡æ–™ã§ã™
Haskellã®Rank2TypesãŒã ã„ã¶ã‚ã‹ã‚‹ã‚„㤠- Qiita
å˜åœ¨åž‹ã¯heterogeneousリストãªã©ã®ä¾‹ãŒã‚ã‹ã‚Šã‚„ã™ã„ã§ã™ã‘ã©ã€Rank2Types (or RankNTypes) ã¯ãªã‹ãªã‹ã‚ã‹ã‚Šã‚„ã™ã„例ãŒãªã„æ°—ãŒã—ã¾ã™ãƒ¼ã€‚ 今回ã€å˜åœ¨åž‹ã¨Rank2Typesを使ã£ã¦ã€ã„ã„æ„Ÿã˜ãªã‚³ãƒ¼ãƒ‰ä¾‹ã‚’作ã£ãŸã®ã§å ±å‘Šã„ãŸã—ã¾ã™ :) What is Rank2Types ? ã©ã®ã‚ˆã†ãªã‚‚ã®ã§ã‚ã‚‹ã‹ã¯ã€ã“ã¡ã‚‰ã§ç¤ºã•ã‚Œã¦ã„ã¾ã™ haskell.org - Rank-2 Types 仮定ã™ã‚‹çŸ¥è˜ å˜åœ¨åž‹ (ExistentialQuantification) ã“ã“ã§ã‚ã‹ã‚‹ -> Haskell/å˜åœ¨é‡åŒ–ã•ã‚ŒãŸåž‹ - Wikibooks IsString (OverloadedStrings) æ–‡å—列リテラルをTextåž‹ã‚„ByteStringåž‹ã¨ã—㦠(IsString a => aåž‹ã¨ã—ã¦) 扱ãˆã‚‹ã‚ˆã†ã«ãªã‚‹ã‚„㤠具体的ã«ã¯s = "ahoge" :: IsSt
Haskellã¨Scalaã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã¨forall
ã—ã„ãŸã‘ @yuroyoro @nagise Scalaã¨Haskellã§ã¯ã€ãã‚‚ãã‚‚æ–¹å‘性ãŒå…¨ç„¶ã¡ãŒã†ã‚ˆã…。Haskellã¯ã‚ªãƒ–ジェクト指å‘çš„ãªã‚¯ãƒ©ã‚¹ãƒ™ãƒ¼ã‚¹ã®åž‹ã‚·ã‚¹ãƒ†ãƒ ãŒãªã„ã§ã™ã— ãªãŽã› ゆã†ã @nagise @yuroyoro ãã‚Œã¯çŸ¥ã£ã¦ã‚‹ã®ã ã‘ã©ã€ã‚¸ã‚§ãƒãƒªã‚¯ã‚¹å‘¨ã‚Šã§ã¯HaskellãŒã‚ˆã引ãåˆã„ã«å‡ºã•ã‚Œã‚‹ã®ã§ãã“ã¯æŠ‘ãˆã¦ãŠããŸã„ã‹ãªã‚ã¨ã€‚Haskellã§ã‚„ã‚Œã¦Scalaã§ã§ããªã„ã“ã¨ã£ã¦ãªã‚“ã ã‚ã†ã¨ã‹
L'eclat des jours(2013-03-04)
_ 型付ã‘ã¨å¤‰æ›´ã«å¯¾ã™ã‚‹å¼·ã• (時事解説) shiroã•ã‚“ãŒå¬å–šã•ã‚ŒãŸã¨ã„ã†ç‚¹ãŒã€ä»Šå›žã®ç™ºç«¯ã¨ãªã£ãŸ(ã¨åƒ•ã¯èªã‚“ã ã‘ã©)『変数ã«åž‹ãŒãªã„ã¨ã„ã†ã“ã¨ã®åˆ©ç‚¹ã«ã¤ã„ã¦è€ƒãˆã‚‹ã€ã®ä¸€ç•ªã®æˆæžœã ã£ãŸã®ã§ã¯ãªã„ã ã‚ã†ã‹ã€‚ 最åˆã«shiroã•ã‚“ã¯ã€å¤‰æ›´ã«å¯¾ã™ã‚‹å¼·ã•ã¨ã„ã†ã‚‚ã®ã‚’ã€å¹³è¡¡çŠ¶æ…‹ã®é•·çŸã¨ã—ã¦è€ƒãˆã‚‹ã“ã¨ã‚’æ案ã™ã‚‹(『型付ã‘ã¨å¤‰æ›´ã®æ™‚定数ã€)。強ã„型付ã‘ã§ã‚ã‚Œã°ã€éžå¹³è¡¡çŠ¶æ…‹ã¯æ¯”較的ã™ãã«è§£æ¶ˆã™ã‚‹ï¼ˆãŸã ã—éžå¹³è¡¡çŠ¶æ…‹ã§ã¯å®Ÿè¡Œã§ããªã„）。弱ã„型付ã‘ã§ã‚ã‚Œã°ã€éžå¹³è¡¡çŠ¶æ…‹ã§ã‚‚ãã‚Œãªã‚Šã«å®Ÿè¡Œã§ãる。 èªã‚“ã§è€ƒãˆãŸã€‚ã“ã‚Œã¯å®Ÿä½“験ã¨ã—ã¦ã‚ã‹ã‚‹ã€‚ ãã‚Œã¾ã§char buff[]ã ã£ãŸã‚‚ã®ã‚’std::string buffã«ä¿®æ£ã™ã‚‹å¿…è¦ãŒä»®ã«ã‚ã£ãŸã¨ã™ã‚Œã°ã€ã¨ã«ã‹ã宣言を先ã«å¤‰ãˆã¦ã—ã¾ã†ã€‚ãã—ã¦make cleanã—ã¦makeã—ç›´ã›ã°ã€å°‘ãªãã¨ã‚‚ä¿®æ£ã—ãªã‘ã‚Œã°ãªã‚‰ãªã„箇所ã¯ãã®æ™‚点ã§ã™ã¹ã¦ç¶²ç¾…ã§ãる（もã£ã¨ã‚‚ã€è¡¨é¢çš„ã«ã—ã‹
How wonderful to be (statically) typed 〜型ãŒä»˜ãã£ã¦ã‚¹ãƒãƒ©ã‚·ã‚¤ã€œ
PFI社内セミナーã§å¼·åŠ›ãªåž‹ã‚·ã‚¹ãƒ†ãƒ ãŒã‚‚ãŸã‚‰ã™æ§˜ã€…ãªæ©æµã«ã¤ã„ã¦ç™ºè¡¨ã—ãŸéš›ã®è³‡æ–™ã§ã™ã€‚ 補足的ãªè¨˜äº‹ã¯ã“ã¡ã‚‰ã‚’ã©ã†ãžï¼š http://blog.konn-san.com/article/20120412/how-wonderful-to-be-typed ã¾ãŸã€ç™ºè¡¨ã®æ¨¡æ§˜ã¯ä»¥ä¸‹ã® ustream ã‹ã‚‰ã”覧ã«ãªã‚Œã¾ã™ã€‚ http://www.ustream.tv/recorded/21781769 Read less
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Java 㧠higher kinded polymorphism を実ç¾ã™ã‚‹ - Qiita
Google Code Archive - Long-term storage for Google Code Project Hosting.
{{#tags}}- {{label}}
{{/tags}}