TypeScriptã®ä»£æ•°çš„部分型模型
本書ã§ã¯TypeScriptã®åž‹ã¨éƒ¨åˆ†åž‹é–¢ä¿‚ãŒãªã™ä»£æ•°çš„æ§‹é€ ã‚’è§£èª¬ã—ã€åž‹ã«ã¤ã„ã¦ã®å¼·å›ºã‹ã¤æŸ”軟ãªãƒ¡ãƒ³ã‚¿ãƒ«ãƒ¢ãƒ‡ãƒ«ã‚’構築ã—ã¾ã™ã€‚ é †åºç†è«–ã€é›†åˆè«–ã€æŸè«–ã€ç’°è«–ã€ãã—ã¦åœè«–ã«è‡³ã‚‹ã¾ã§ã€è¤‡æ•°ã®æ•°å¦ç†è«–を利用ã—ã¦å¤šè§’çš„ã«ãƒ¢ãƒ‡ãƒ«ã‚’構築ã™ã‚‹ã“ã¨ã§ã€åž‹ã®ç›´æ„Ÿçš„ãªç†è§£ã‚’æ·±ã‚ã€åž‹ã®äº’æ›æ€§ã«å¯¾ã™ã‚‹è‡ªç„¶ãªæŽ¨è«–ã‚’å¯èƒ½ã¨ãªã‚‹ã‚ˆã†ã«è§£èª¬ã—ãŸæ–°ã—ã„試ã¿ã®æœ¬ã§ã™ã€‚
直和型ã®ä»£ã‚ã‚Šã«ãƒ¦ãƒ‹ã‚ªãƒ³åž‹ã‚’æŒã¤é™çš„型付ã‘関数型言語 Cotton
// 割る2ã‚’ã™ã‚‹é–¢æ•°ã®å¼•æ•°ãŒå¶æ•°ã§ã‚ã‚‹ã“ã¨ã‚’åž‹ã«ã‚ˆã£ã¦å¼·åˆ¶ã™ã‚‹ä¾‹ï¼ˆå®Ÿç”¨æ€§ã¯ãªã„） data O // æ•°å—ã®0を表ã™ãƒ‡ãƒ¼ã‚¿åž‹ data S(A) forall { A } // +1を表ã™ãƒ‡ãƒ¼ã‚¿åž‹ // 型エイリアス type Nat = O | S[Nat] // éžåŠ¹çŽ‡ã™ãŽã‚‹ä»–å€é•·æ•´æ•° type Even = O | S[Odd] type Odd = S[Even] // å¶æ•°ã‚’引数ã«ã¨ã£ã¦2ã§å‰²ã£ãŸçµæžœã‚’言語組込ã¿ã®æ•´æ•°ã¨ã—ã¦è¿”ã™é–¢æ•° div2 : Even -> I64 = // 網羅性ãƒã‚§ãƒƒã‚¯ã¤ãã®ãƒ‘ターンマッム| O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型ã¯ç›´å’Œåž‹ã®ä¸Šä½äº’æ›ã§ã‚る（追記ã‚り）。関数型言語を作るã¨ãã¯ç›´å’Œåž‹ã®ä»£ã‚ã‚Šã«ãƒ¦ãƒ‹ã‚ªãƒ³åž‹ã‚’採用ã™ã‚‹ã®ã‚‚ã‚り。 ã¯ã˜ã‚ã« Cottonã¨ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’2021å¹´ã®å¤é ƒã‹ã‚‰ä½œ
ã“ã®10å¹´ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å¤‰åŒ– - 西尾泰和ã®Scrapbox
@nishio: ã‚ã€ãã†ã‹ã€10å¹´å‰ã‹ã‚‰ã‚ã£ãŸã‘ã©10å¹´é–“ã®é–“ã«å‹¢åŠ›ã‚’拡大ã—ãŸã‚±ãƒ¼ã‚¹ãŒã‚ã‚‹ã‹ã‚‰ã‚ã‚“ã¾ã‚ŠåŽ³ã—ã切らãªã„æ–¹ãŒã„ã„ã®ã‹(TypeScriptã®ç™»å ´ãŒ2012å¹´ã€Rustã®ç™»å ´ãŒ2010å¹´ã ã£ãŸ)
Node.jsã‚’éŽåŽ»ã®ç‰©ã«ã™ã‚‹æœ€é€Ÿã®è‚‰ã¾ã‚“ - Qiita
ãã®åã¯Bun ï¾ƒï¾žï¾ƒï¾žï¾ Bunã¯Node.jsã‚„Denoã®ã‚ˆã†ãªJavascriptランタイムã§ã™ã€‚(2022/7/8ç¾åœ¨ãƒ™ãƒ¼ã‚¿ç‰ˆ) ã¡ãªã¿ã«ãƒã‚´ãŒæœ¬å½“ã«è‚‰ã¾ã‚“ãªã®ã‹ã¯ã‚ã‹ã‚Šã¾ã›ã‚“。（赤ã¡ã‚ƒã‚“ã®é ã«ã‚‚見ãˆã‚‹ã‘ã©åå‰ãŒBun/パンã ã—ãªã...) ã“ã®è¨˜äº‹ã§ã¯Node.jsã‚„Denoã¨æ¯”較をã—ã¤ã¤ã€bunã®è§£èª¬ã•ã›ã¦ã„ãŸã ãã¾ã™ã€‚ 割ã¨ãªã‚“ã§ã‚‚ã§ãã‚‹ Bunã¯ãŸã ã®ãƒ©ãƒ³ã‚¿ã‚¤ãƒ ã§ã¯ã‚ã‚Šã¾ã›ã‚“。下ã®ã‚ˆã†ã«ã€é–‹ç™ºã«å¿…é ˆã®å¤šããªæ©Ÿèƒ½ã‚’最åˆã‹ã‚‰æœ‰ã—ã¦ã„ã¾ã™ã€‚ Typescriptã‹ã‚‰Javascriptã¸ã®ãƒˆãƒ©ãƒ³ã‚¹ãƒ‘イル jsxã‹ã‚‰Javascriptã¸ã®ãƒˆãƒ©ãƒ³ã‚¹ãƒ‘イル npmã®ã‚ˆã†ãªãƒ‘ッケージã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«&ç®¡ç† webpackã®ã‚ˆã†ãªãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã®ãƒãƒ³ãƒ‰ãƒ«åŒ– ã‚‚ã¡ã‚んランタイムãªã®ã§Node.jsã®ã‚ˆã†ã«ã‚µãƒ¼ãƒãƒ¼ã§Javascriptを実行ã™ã‚‹ã“ã¨ã‚‚å¯èƒ½ã§ã™ã€‚ ã“れらã«åŠ ãˆã¦Bunã«ã¯æ§˜ã€…ãªæ©Ÿ
TypeScriptã«ãƒ¤ãƒã„機能ãŒå…¥ã‚Šãã†ãªã®ã§ã²ã¨ã—ãã‚ŠéŠã‚“ã§ã¿ã‚‹ï½œTechRacho by BPSæ ªå¼ä¼šç¤¾
ã“ã‚“ã«ã¡ã¯ã€‚yoshiã§ã™ã€‚ 先日（9月1日）ã«ã‚ªãƒ¼ãƒ—ンã•ã‚ŒãŸ TypeScript ã®ãƒ—ルリクエストãŒãƒ¤ãƒã„ã‚よï¼ã¨ã„ã†è©±ã‚’ã—ã¾ã™ã€‚ ※※※注æ„ã“ã“ã‹ã‚‰â€»â€»â€» 一応先ã«è¨€ã£ã¦ãŠãã¾ã™ã¨ã€ã“ã‚Œã‹ã‚‰ã™ã‚‹è©±ã¯ã¾ã PR 段階ãªã®ã§ãã®ã¾ã¾å–ã‚Šè¾¼ã¾ã‚Œã‚‹ã‹ã©ã†ã‹åˆ†ã‹ã‚‰ãªã„ã—ã€ã©ã®ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§ãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã‚‹ã‹ã‚‚分ã‹ã‚Šã¾ã›ã‚“。ã“ã“ã§æ›¸ã„ã¦ã„ã‚‹ã“ã¨ã¯ãƒªãƒªãƒ¼ã‚¹æ™‚ã«ã¯ä»•æ§˜ãŒå¤‰ã‚ã£ã¦ã„ã‚‹å¯èƒ½æ€§ã¯å¤§ã„ã«ã‚ã‚Šã€ãƒªãƒªãƒ¼ã‚¹å¾Œã«æ¤œç´¢ç‰ã§ã“ã®è¨˜äº‹ã«ãŸã©ã‚Šç€ã„ãŸæ–¹ã¯ã€ã‚‚ã£ã¨è‰¯ã„解説ãŒã©ã“ã‹ã«ã‚ã‚‹ã¨æ€ã†ã®ã§ãã¡ã‚‰ã‚’å‚ç…§ã™ã‚‹ã“ã¨ã‚’ãŠã™ã™ã‚ã—ã¾ã™ã€‚ ※※※注æ„ã“ã“ã¾ã§â€»â€»â€» 該当㮠PR ã¯ã“ã‚Œã§ã™ã€‚ Template string types and mapped type 'as' clauses by ahejlsberg · Pull Request #40336 · microsoft/TypeScript ã“ã® PR
Denoã¨Node.jsã®å¤§ããªé•ã„ - keroxpã®Scrapbox
Denoã¨Node.jsã¯ä¸¡æ–¹ã¨ã‚‚V8ã‚’ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã«ã—ãŸã‚µãƒ¼ãƒãƒ¼ã‚µã‚¤ãƒ‰JavaScriptランタイムã ãŒã€ãã“ã«ã¯å¤§ããªé•ã„ãŒå˜åœ¨ã™ã‚‹keroxp.icon
TypeScriptã®ç•°å¸¸ç³»è¡¨ç¾ã®ã„ã„æ„Ÿã˜ã®è½ã¨ã—所 | DevelopersIO
ã¿ãªã•ã‚“TypeScriptã§ã‚µãƒ¼ãƒã‚¢ãƒ—リケーション（Node.js）ã®ãƒã‚¸ãƒƒã‚¯ã‚’書ã時ã«ã€ç•°å¸¸ç³»ã®è¡¨ç¾ã‚’ã©ã®ã‚ˆã†ã«ã•ã‚Œã¦ã„ã¾ã™ã§ã—ょã†ã‹ï¼Ÿã“ã“ã§ã„ã†ç•°å¸¸ç³»ã¨ã¯ã€ä»•æ§˜ä¸Šæƒ³å®šã•ã‚Œã‚‹ç•°å¸¸ã®ã“ã¨ã§ã™ã€‚準æ£å¸¸ç³»ã¨è¨€ã£ãŸã‚Šã‚‚ã™ã‚‹ã‹ã¨æ€ã„ã¾ã™ã€‚ ç§ã¯JavaScriptã®å»¶é•·ã§TypeScriptã‚’ã¯ã˜ã‚ãŸã®ã§ã€æœ€åˆã¯ null ã‚„ undefined ã‚’è¿”ã—ãŸã‚Š throw を用ã„るやり方をã—ã¦ã„ã¾ã—ãŸãŒã€æ¬¡ç¬¬ã«TypeScriptãŒæŒã¤åž‹ã‚’生ã‹ã—ã€ã§ãã‚‹ã ã‘型安全ã«ç•°å¸¸ç³»ã‚’表ç¾ã—ãŸã„ã¨è€ƒãˆã‚‹ã‚ˆã†ã«ãªã‚Šã¾ã—ãŸã€‚ãã—ã¦è©¦è¡ŒéŒ¯èª¤ã—ãŸçµæžœã€ã„ã„æ„Ÿã˜ã®è½ã¨ã—所ã«è½ã¡ç€ã„ãŸã®ã§ã€ãã®å†…容ã«ã¤ã„ã¦ãŠä¼ãˆã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ ã¾ãŸè¨˜äº‹ã®å¾ŒåŠã§ã¯ã€ç•°å¸¸ç³»ã®åž‹ã‚’実装ã™ã‚‹ä¸ã§ãƒãƒžã£ãŸç‚¹ã«ã¤ã„ã¦ã‚‚ãŠä¼ãˆã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ TypeScriptã®ç•°å¸¸ç³»è¡¨ç¾ã«ã¤ã„㦠1. nullã‚„undefinedを返㙠冒é ã§ã‚‚è¿°ã¹ãŸã‚ˆã†
TypeScript入門以å‰ã‚¬ã‚¤ãƒ‰ - mizchi's blog
æŸç¤¾ã§è‡ªåˆ†ãŒ React/Redux + TypeScript ãªã©ã®è¬›ç¿’ã‚’ã‚„ã£ã¦ã¿ãŸçµæžœã€TypeScript 入門用資料ãŒå¿…è¦ã ã¨æ€ã£ã¦æ›¸ã„ãŸã‚„ã¤ã§ã™ã€‚ ã“ã®ãƒ‰ã‚ュメントã®ã‚¿ãƒ¼ã‚²ãƒƒãƒˆ TypeScript ã§æ›¸ã‹ã‚ŒãŸãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã«å‚åŠ ã™ã‚‹äºº TypeScript ã‚’å°Žå…¥ã™ã‚‹ãŸã‚ã«ã€ãã®äº‹å‰çŸ¥è˜ãŒå¿…è¦ãªäºº ã“ã®ãƒ‰ã‚ュメントã®èªã¿æ–¹ ES2015 for Beginners ES2015 for ES5 Programmers ES Modules éžåŒæœŸè¡¨ç¾: Promise 㨠async/await TypeScript エコシステム編 自分㌠React/Redux ãªã©ã®è¬›ç¿’ã§ã„ã‚ã„ã‚ã‚„ã£ã¦ã¿ãŸçµæžœã€ ES2015 㨠TypeScript ã‚’åŒæ™‚ã«æ•™ãˆã‚‹ã¨ã€åˆå¦è€…ã¯ä½•ãŒã©ã®æ¦‚念ã«ç”±æ¥ã™ã‚‹ã‹ã®åŒºåˆ¥ãŒå‡ºæ¥ãšã«æ··ä¹±ã—ã¾ã™ã€‚ãªã®ã§ã€ES5 -> ES2015, ES2015 -> Ty
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}