[B! type system] t2y-1979ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

t2y-1979 id:t2y-1979

type systemã«é–¢ã™ã‚‹t2y-1979ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (190)

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

ç¿»è¨³: Parse, donâ€™t validate (ãƒãƒªãƒ‡ãƒ¼ã‚·ãƒ§ãƒ³ã›ãšãƒ‘ãƒ¼ã‚¹ã›ã‚ˆ)
ã“ã‚Œã¾ã§ã€åž‹é§†å‹•è¨è¨ˆã‚’å®Ÿè·µã™ã‚‹ã“ã¨ãŒä½•ã‚’æ„å‘³ã™ã‚‹ã®ã‹ã€ç°¡æ½”ã§ã‚·ãƒ³ãƒ—ãƒ«ãªèª¬æ˜Žã‚’è¦‹ã¤ã‘ã‚‹ã®ã«è‹¦åŠ´ã—ã¦ãã¾ã—ãŸã€‚èª°ã‹ã«ã€Œã©ã†ã‚„ã£ã¦ã“ã®ã‚¢ãƒ—ãƒãƒ¼ãƒã‚’æ€ã„ã¤ã„ãŸã®ã§ã™ã‹ï¼Ÿã€ã¨å°‹ãã‚‰ã‚Œã‚‹ã“ã¨ãŒå¤šã„ã®ã§ã™ãŒã€æº€è¶³ã®ã„ãç”ãˆã‚’å‡ºã›ãªã„ã“ã¨ãŒã‚ˆãã‚ã‚Šã¾ã™ã€‚ãã®ã‚¢ã‚¤ãƒ‡ã‚¢ãŒçªç„¶ã®ã²ã‚‰ã‚ãã§æµ®ã‹ã‚“ã ã‚ã‘ã§ã¯ãªãã€æ£ã—ã„ã‚¢ãƒ—ãƒãƒ¼ãƒã‚’ç©ºã‹ã‚‰å¼•ã£å¼µã‚Šå‡ºã™å¿…è¦ãŒãªã„ã€åå¾©çš„ãªè¨è¨ˆãƒ—ãƒã‚»ã‚¹ãŒã‚ã‚‹ã¨åˆ†ã‹ã£ã¦ã¯ã„ã‚‹ã®ã§ã™ãŒã€ãã®ãƒ—ãƒã‚»ã‚¹ã‚’ä»–ã®äººã«ã†ã¾ãä¼ãˆã‚‹ã“ã¨ãŒã§ãã¦ã„ã¾ã›ã‚“ã§ã—ãŸã€‚ ã—ã‹ã—ã€ãŠã‚ˆã1ãƒ¶æœˆå‰ã€JSON ã‚’é™çš„åž‹ä»˜ã‘è¨€èªžã§ã€ãã—ã¦å‹•çš„åž‹ä»˜ã‘è¨€èªžã«ãƒ‘ãƒ¼ã‚¹ã—ãŸã¨ãã«çµŒé¨“ã—ãŸé•ã„ã«ã¤ã„ã¦Twitterä¸Šã§æŒ¯ã‚Šè¿”ã£ã¦ã„ãŸæ™‚ã€ã¤ã„ã«ç§ãŒæŽ¢ã—ã¦ã„ãŸã‚‚ã®ã‚’è¦‹ã¤ã‘ã¾ã—ãŸã€‚ãã—ã¦ã€ãã®ã‚¹ãƒãƒ¼ã‚¬ãƒ³ã¯ãŸã£ãŸ3ã¤ã®è‹±å˜èªžã§è¡¨ã›ã¾ã™ã€‚ Parse, donâ€™t validate (ãƒãƒªãƒ‡ãƒ¼ã‚·ãƒ§ãƒ³ã›ãšãƒ‘ãƒ¼ã‚¹ã›ã‚ˆ) åž‹é§†å‹•è¨è¨ˆã®ã‚¨ãƒƒã‚»ãƒ³ã‚¹
t2y-1979 2024/10/18
translate

type system

haskell
ãƒªãƒ³ã‚¯
ã‚‚ã£ã¨æ¥½ã—ã¦å¼ã®è©•ä¾¡å™¨ã‚’ä½œã‚‹ #golang - Qiita
ã¯ã˜ã‚ã« Go Advent Calendar 2016ã«ã¦ã€ã€Œç°¡å˜ãªå¼ã®è©•ä¾¡æ©Ÿã‚’ä½œã£ã¦ã¿ã‚‹ã€ã¨ã„ã†è¨˜äº‹ã‚’æ›¸ãã¾ã—ãŸã€‚ ãã“ã§ã¯ã€æŠ½è±¡æ§‹æ–‡æœ¨(AST)ã‚’è§£æžã—ã€go/constantãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ã®æ©Ÿèƒ½ã‚’ä½¿ã£ã¦å¼ã®è©•ä¾¡å™¨ã‚’ä½œã‚‹ã¨ã„ã†è©±ã‚’æ›¸ãã¾ã—ãŸã€‚ ã“ã®è¨˜äº‹ã§ã¯ã€go/typesãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ã®æ©Ÿèƒ½ã‚’ä½¿ã†ã“ã¨ã§ã€ã‚‚ã£ã¨æ¥½ã—ã¦å¼ã®è©•ä¾¡ã‚’è¡Œã†ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’ä½œã£ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ ãªãŠã€ã“ã®è¨˜äº‹ã‚’æ›¸ã„ãŸæ™‚ç‚¹ã«ãŠã‘ã‚‹Goã®æœ€æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã¯1.7.4ã§ã™ã€‚ å®šæ•°ã®è©•ä¾¡ ã€ŒGoã®ã‚¹ã‚³ãƒ¼ãƒ—ã«ã¤ã„ã¦è€ƒãˆã¦ã¿ã‚ˆã†ã€ã¨ã„ã†è¨˜äº‹ã§ã‚‚è§¦ã‚Œã¾ã—ãŸãŒã€go/typesãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ã«ã¯ã€ä»¥ä¸‹ã®ã‚ˆã†ãªæ©Ÿèƒ½ãŒæä¾›ã•ã‚Œã¦ã„ã¾ã™ã€‚ è˜åˆ¥åã®è§£æ±ºï¼ˆidentifier resolutionï¼‰ åž‹æŽ¨è«–ï¼ˆtype deductionï¼‰ å®šæ•°ã®è©•ä¾¡ï¼ˆconstant evaluationï¼‰ ã€Œgo/types: The Go Type Chec
t2y-1979 2024/09/13
golang

type system

static analysis
ãƒªãƒ³ã‚¯
ã€Œè‡ªåˆ†ã®æœªæ¥äºˆæ¸¬ã‚’ä¿¡ã˜ã¦ã¡ã‚‡ã£ã¨æ„åœ°ã‚’å¼µã£ã¦ã¿ã‚‹ã€ã€€ã¾ã¤ã‚‚ã¨ã‚†ãã²ã‚æ°ãŒRubyã«åž‹å®£è¨€ã‚’å…¥ã‚Œãªã„ç†ç”±
ã€Œè‡ªåˆ†ã®æœªæ¥äºˆæ¸¬ã‚’ä¿¡ã˜ã¦ã¡ã‚‡ã£ã¨æ„åœ°ã‚’å¼µã£ã¦ã¿ã‚‹ã€ ã¾ã¤ã‚‚ã¨ã‚†ãã²ã‚æ°ãŒRubyã«åž‹å®£è¨€ã‚’å…¥ã‚Œãªã„ç†ç”± #17 å‹•çš„åž‹ä»˜ã‘è¨€èªžã¨å¤§è¦æ¨¡é–‹ç™º ãƒ†ãƒ¼ãƒžã¯ã€Œå‹•çš„åž‹ä»˜ã‘è¨€èªžã¨å¤§è¦æ¨¡é–‹ç™ºã€ ã¾ã¤ã‚‚ã¨ã‚†ãã²ã‚æ°ï¼šã¾ã¤ã‚‚ã¨ã‚†ãã²ã‚ã§ã™ã€‚Matzãƒãƒ£ãƒ³ãƒãƒ«17å›žç›®ã¨ã„ã†ã“ã¨ã§ãŠé€ã‚Šã—ã¾ã™ã€‚ã¡ã‚‡ã£ã¨å‰ã«ãªã‚Šã¾ã™ãŒ9æœˆ28æ—¥ã«ç§ãŒæŠ€è¡“é¡§å•ã‚’å§‹ã‚ãŸã‚¯ãƒ©ã‚¦ãƒ‰ã‚µãƒ¼ã‚«ã‚¹ã¨ã„ã†ä¼šç¤¾ã•ã‚“ãŒãƒ†ãƒƒã‚¯ã‚¤ãƒ™ãƒ³ãƒˆã‚’é–‹å‚¬ã•ã‚Œã¦ã€ãã®æ™‚ã®ãƒ†ãƒ¼ãƒžãŒã€Œå‹•çš„åž‹ä»˜ã‘è¨€èªžã¨å¤§è¦æ¨¡é–‹ç™ºã€ã¨ã„ã†ãƒ†ãƒ¼ãƒžã§ã—ãŸã€‚ ãã®æ™‚ã«è©±ã—ãŸã“ã¨ã¨ã‹ã€è©±ãã†ã¨ã—ãŸã“ã¨ã€è©±ãã†ã¨æ€ã£ã¦ã„ãŸã‚“ã ã‘ã©æ™‚é–“ã®é–¢ä¿‚ã§è©±ã›ãªã‹ã£ãŸã“ã¨ãªã©ã‚’è£œè¶³ã™ã‚‹æ„å‘³ã‚‚å«ã‚ã¦ä»Šæ—¥ã¯ã¡ã‚‡ã£ã¨æ”¾é€ã—ã‚ˆã†ã‹ã¨æ€ã„ã¾ã™ã€‚ã¨ã„ã†ã‹ã€åˆ†é‡ãŒå¤šã„ã®ã§2å›žã«åˆ†ã‘ã¦è©±ãã†ã‹ãªã¨æ€ã£ã¦ã„ã¾ã™ã€‚ ã“ã®ã‚¯ãƒ©ã‚¦ãƒ‰ã‚µãƒ¼ã‚«ã‚¹ã®ã‚¤ãƒ™ãƒ³ãƒˆã®ãƒ†ãƒ¼ãƒžã¯åˆ¥ã«ç§ã‹ã‚‰æŒ‡å®šã—ãŸã‚ã‘ã§ã¯ãªãã¦ã€å…ˆæ–¹ãŒã€Œã“ã‚“ãªãƒ†ãƒ¼ãƒžã§è©±ã—ãŸã„ã‚“ã ã€ã¨ã‹ã€Œèžã
t2y-1979 2024/04/05
ruby

programming

type system

language processor
ãƒªãƒ³ã‚¯
Conditional Types | TypeScriptå…¥é–€ã€Žã‚µãƒã‚¤ãƒãƒ«TypeScriptã€
Conditional Typesã¯æ—¥æœ¬èªžã§ã¯æ¡ä»¶ä»˜ãåž‹ã€åž‹ã®æ¡ä»¶åˆ†å²ã€æ¡ä»¶åž‹ãªã©ã¨å‘¼ã°ã‚Œã€ã¡ã‚‡ã†ã©ä¸‰é …æ¼”ç®—åã®ã‚ˆã†ã«?ã¨:ã‚’ä½¿ã£ã¦T extends U ? X : Yã®ã‚ˆã†ã«æ›¸ãã¾ã™ã€‚ã“ã‚Œã¯TãŒUã«å‰²ã‚Šå½“ã¦å¯èƒ½ã§ã‚ã‚‹å ´åˆã€Xã«ãªã‚Šã€ãã†ã§ãªã„å ´åˆã¯Yã«ãªã‚Šã¾ã™ã€‚ ã“ã®ã‚ˆã†ãªå ´åˆã ã¨åž‹ã¯trueã«ãªã‚Šã¾ã™ã€‚
t2y-1979 2024/04/04
type system

typescript

programming
ãƒªãƒ³ã‚¯
Turbo 8 is dropping TypeScript
By all accounts, TypeScript has been a big success for Microsoft. I've seen loads of people sparkle with joy from dousing JavaScript with explicit types that can be checked by a compiler. But I've never been a fan. Not after giving it five minutes, not after giving it five years. So it's with great pleasure that I can announce we're dropping TypeScript from the next big release of Turbo 8. The fac
t2y-1979 2023/09/08
typescript

javascript

framework

type system

programming
ãƒªãƒ³ã‚¯
Announcing TypeScript 5.0 - TypeScript
Today weâ€™re excited to announce the release of TypeScript 5.0! This release brings many new features, while aiming to make TypeScript smaller, simpler, and faster. Weâ€™ve implemented the new decorators standard, added functionality to better support ESM projects in Node and bundlers, provided new ways for library authors to control generic inference, expanded our JSDoc functionality, simplified con
t2y-1979 2023/03/18
typescript

type system
ãƒªãƒ³ã‚¯
ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã¨ã—ã¦å…¬é–‹ã—ãŸGoã®interfaceã‚’å¤‰æ›´ã™ã‚‹ã®ã¯é›£ã—ã„ã¨è¨€ã†è©± - ç„¼å£²é£¯åº—
æ˜¨æ—¥Twitterã«æ›¸ã„ãŸå†…å®¹ã«ã€sivchariã•ã‚“ã¨hajimehoshiã•ã‚“ã‹ã‚‰ãƒªãƒ—ãƒ©ã‚¤ã‚’ã„ãŸã ã„ãŸã®ã§ã€å‚™å¿˜éŒ²çš„ã«ã¾ã¨ã‚ã¦ãŠãã¾ã™ã€‚ ç™ºç«¯ interfaceåž‹ã¨éžinterfaceåž‹ã®å¾Œæ–¹äº’æ›æ€§ã«ã¤ã„ã¦ interfaceåž‹ã‚’å…¬é–‹ã—ãŸå ´åˆ 1. ãƒ¡ã‚½ãƒƒãƒ‰ã®è¿½åŠ 2. ãƒ¡ã‚½ãƒƒãƒ‰ã®ã‚·ã‚°ãƒ‹ãƒãƒ£ã®å¤‰æ›´ 3. ãƒ¡ã‚½ãƒƒãƒ‰ã®å‰Šé™¤ å…¬é–‹ã•ã‚ŒãŸinterfaceåž‹ã‚’å¤‰æ›´ã™ã‚‹å ´åˆã®å¾Œæ–¹äº’æ›æ€§ã«ã¤ã„ã¦ã®ã¾ã¨ã‚ éžinterfaceåž‹ã‚’å…¬é–‹ã—ãŸå ´åˆ 1. ãƒ¡ã‚½ãƒƒãƒ‰ã®è¿½åŠ 2. ãƒ¡ã‚½ãƒƒãƒ‰ã®ã‚·ã‚°ãƒ‹ãƒãƒ£ã®å¤‰æ›´ 3. ãƒ¡ã‚½ãƒƒãƒ‰ã®å‰Šé™¤ å…¬é–‹ã•ã‚ŒãŸéžinterfaceåž‹ã‚’å¤‰æ›´ã™ã‚‹å ´åˆã®å¾Œæ–¹äº’æ›æ€§ã«ã¤ã„ã¦ã®ã¾ã¨ã‚ ãã®ä»–ã®å¾Œæ–¹äº’æ›æ€§ã‚’å´©ã•ãªã„æ©Ÿèƒ½æ‹¡å¼µã®ãƒ‘ã‚¿ãƒ¼ãƒ³ã®ç´¹ä»‹ ä»–ã‹ã‚‰å®Ÿè£…ã§ããªã„interfaceã«ã™ã‚‹ interfaceã‚’åˆæˆã™ã‚‹ å†…éƒ¨ç”¨ã®interfaceã‚’åˆ†ã‘ã€æ§‹é€ ä½“åž‹ã‚’å…¬é–‹ã™ã‚‹ ã¾ã¨ã‚ ç™ºç«¯ æ˜¨æ—¥ã€ãƒ•ãƒ¥
t2y-1979 2023/01/29
golang

design

type system
ãƒªãƒ³ã‚¯
Why type-first development matters
Using functional programming language changes the way you write code in a number of ways. Many of the changes are at a small-scale. For example, you learn how to express computations in a shorter, more declarative way using higher-order functions. However, there are also many changes at a large-scale. The most notable one is that, when designing a program, you start thinking about the (data) types
t2y-1979 2021/10/25
type system

functional

programming
ãƒªãƒ³ã‚¯
EuroPython 2021ã«Speakerã¨ã—ã¦ç™»å£‡ã—ã¦ãã¾ã—ãŸ - Affettuoso
åˆã‚ã¦ã®è‹±èªž45åˆ†ãƒˆãƒ¼ã‚¯ã¨ã—ã¦ã€EuroPython 2021ã«ç™»å£‡ã—ã¦ããŸã®ã§æ„Ÿæƒ³ã‚’æ›¸ãã¾ã™ å‚åŠ è€…çš„ãªè©± ã‚¿ã‚¤ãƒ ã‚¾ãƒ¼ãƒ³(JSTã§16:00 - 24:00ãã‚‰ã„ã®æ™‚é–“å¸¯ã«ã‚»ãƒƒã‚·ãƒ§ãƒ³ãŒã‚ã‚‹ã‚ˆã†ãªæ„Ÿã˜)ã®å•é¡Œã¨ã€ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã ã¨ã„ã†ã“ã¨ã‹ã‚‰ã‹ã€ã—ã£ã‹ã‚Šæ™‚é–“ã‚’å–ã£ã¦é›†ä¸ã—ã¦ã‚»ãƒƒã‚·ãƒ§ãƒ³ã‚’èžã‘ãªã‹ã£ãŸã€‚ ä¾‹: ç§ãŒç™»å£‡ã—ãŸæ—¥ã®ã‚¿ã‚¤ãƒ ãƒ†ãƒ¼ãƒ–ãƒ«ã¯15:00-24:00ã ã£ãŸ Partyã‚„Social Event*1ã¯è‹±ä¼šè©±ã«è‡ªä¿¡ãŒãªã„ã‘ã‚Œã©ã€å‚åŠ ã—ãŸã‹ã£ãŸãŒã§ããªã‹ã£ãŸã€‚æ®‹å¿µ å‚åŠ è€…ç”¨ãƒãƒ£ãƒƒãƒˆã¨ã¯åˆ¥ã«ã€äº¤æµç”¨ã®Wonder(oViceã®ã‚ˆã†ãªã‚¹ãƒšãƒ¼ã‚¹)ãŒã‚ã£ãŸã‘ã©ã€é–‘æ•£ã¨ã—ã¦ã„ãŸã®ã§ãƒ„ãƒ¼ãƒ«åˆ†ã‘ã‚‹ã®ã¯ä½“é¨“ã¨ã—ã¦ã‚ˆããªã„ãªã€ã¨æ€ã†ã€‚ Speakerã¨ã—ã¦ ã‚»ãƒƒã‚·ãƒ§ãƒ³ãƒšãƒ¼ã‚¸: ep2021.europython.eu ç™ºè¡¨è³‡æ–™: speakerdeck.com æº–å‚™ã—ãŸã“ã¨ å‰æœˆã¾ã§: Open Sourc
t2y-1979 2021/08/06
pycon

event

type system
ãƒªãƒ³ã‚¯
Template literal types ã§åž‹ä¸Šã®ç°¡æ˜“ Lisp ãƒ‘ãƒ¼ã‚µãƒ¼ | La Verda Luno
t2y-1979 2021/03/17
typescript

type system

lisp
ãƒªãƒ³ã‚¯
(ãƒã‚¿) TypeScript åž‹ãƒ‘ã‚ºãƒ«ã§ä½œã‚‹mini interpreter
TypeScript 4.1ã« Template String Typesã¨ã„ã†æ©Ÿèƒ½ã‚’è¿½åŠ ã™ã‚‹PRãŒä¸ŠãŒã£ã¦ã„ã¦ã€æ–°ã—ã„ãŠã‚‚ã¡ã‚ƒã‚’ä¸Žãˆã‚‰ã‚ŒãŸçŠ¬ã¨ãªã£ã¦è‰²ã€…éŠã‚“ã§ã—ã¾ã£ãŸã€‚ Template String Types is ä½•Template String Typesã§ä½•ãŒã§ãã‚‹ã‹çš„ãªè©±ã«ã¤ã„ã¦ã¯ã€ã¾ãhttps://github.com/microsoft/TypeScript/pull/40336 ã‚’è¦‹ã‚‹ãªã‚Šã—ã¦ã‚‚ã‚‰ãˆã°ã„ã„ã‚“ã ã‘ã©ã€ç«¯çš„ã«ã„ã†ã¨JSã®Template stringã‚ˆã‚ã—ãLiteral Typeã‚’Templateã§åˆæˆã—ãŸçµæžœã‚’åž‹ã¨ã—ã¦æ‰±ãˆã‚‹ã‚ˆã†ã«ãªã‚‹æ©Ÿèƒ½ã€‚ type GetterName<T extends string> = `get${capitalize T}`; type T10 = GetterName<'foo'>; // 'getFoo;ã‚ã¨ã€åŒã˜PRã«
t2y-1979 2021/03/17
typescript

type system
ãƒªãƒ³ã‚¯
TypeScript 4.1 Adds Template Literal Types
t2y-1979 2021/03/17
typescript

type system
ãƒªãƒ³ã‚¯
GitHub - ghoullier/awesome-template-literal-types: Curated list of awesome Template Literal Types examples
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
t2y-1979 2021/03/17
typescript

type system
ãƒªãƒ³ã‚¯
TypeScript 4.1 ã® Template Literal Types ãŒã‚„ã°ã„ - Qiita
TS 4.1 ã® Template Literal Types ã‚’ä½¿ã†ã¨ã€æ–‡å—åˆ—ã‚’è§£é‡ˆã—ã¦åž‹å®šç¾©ãŒã§ãã‚‹ã€‚æ–‡å—åˆ—ã¯å¤‰æ•°åŒ–ã§ãã€ãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆãƒªãƒ†ãƒ©ãƒ«ã§åŸ‹ã‚è¾¼ã‚ã‚‹ã€‚ type Hello = 'Hello' type World = 'World' // Template Literal ã‚’åŸ‹ã‚è¾¼ã‚ã‚‹ type HelloWorld = `${Hello}, ${World}` // => type 'Hello, World' // å¼•æ•°ã«å–ã‚‹ã“ã¨ã‚‚ã§ãã‚‹ type Concat<T extends string, S extends string> = `${T}, ${S}` type HelloWorld = Concat<'Hello', 'World'> // => type 'Hello, World'
t2y-1979 2021/03/17
typescript

type system
ãƒªãƒ³ã‚¯
Documentation - Template Literal Types
Template literal types build on string literal types, and have the ability to expand into many strings via unions. They have the same syntax as template literal strings in JavaScript, but are used in type positions. When used with concrete literal types, a template literal produces a new string literal type by concatenating the contents.
t2y-1979 2021/02/27
typescript

type system
ãƒªãƒ³ã‚¯
TypeScriptã§ä¸–ç•Œä¸€åž‹å®‰å…¨ãªåž‹ãƒ¬ãƒ™ãƒ«SQL Interpreterã‚’ä½œã£ã¦ã„ã‚‹è©±
ã“ã‚“ã«ã¡ã¯ã€‚DevOpsèŠ¸äººã¨åŒ–ã—ã¦ä¹…ã—ã„Andyã§ã™ã€‚ 2020å¹´ã®ç§‹ã«TypeScript 4.1ã¸Template Literal TypesãŒå°Žå…¥ã•ã‚Œã€ãã®ã‚¤ãƒ³ãƒ‘ã‚¯ãƒˆã«ä¿„ã‹ã«ä¸€éƒ¨ã®ç•ŒéšˆãŒã‚¶ãƒ¯ã¤ã„ãŸã®ã¯è¨˜æ†¶ã«æ–°ã—ã„ã‹ã¨æ€ã„ã¾ã™ã€‚ ä»Šå›žã¯åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®å¯èƒ½æ€§ã‚’å¤§ã„ã«æŠ¼ã—åºƒã’ãŸTemplate Literal Typesã‚’ç”¨ã„ã¦SQLæ–‡ã‚’åž‹ãƒ¬ãƒ™ãƒ«ã§è§£æžã—ã€ãã®å®Ÿè¡Œçµæžœã‚’åž‹æƒ…å ±ã¨ã—ã¦å°Žå‡ºã™ã‚‹ãŸã‚ã®sqlptureã¨ã„ã†ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ä½œã£ãŸã®ã§ç´¹ä»‹ã—ã¾ã™ã€‚ Embedded content: https://github.com/andoshin11/sqlpture SQLã®å®Ÿè¡Œ/æ¤œè¨¼å¯¾è±¡ã¯PostgreSQL v13ã§ã™ã€‚ tl;dr SQLæ–‡ã‚’åž‹ãƒ¬ãƒ™ãƒ«ã§è§£æžãƒ»è©•ä¾¡ã—ã¦è¿”ã‚Šå€¤åž‹ã‚’å–å¾—ã§ãã‚‹mini interpreterã‚’ä½œã£ãŸã‚ˆ åž‹ãƒ¬ãƒ™ãƒ«ã®SQL validatorã‚‚ä½œã£ã¦ã‚‹ã‚ˆ å®Ÿéš›
t2y-1979 2021/02/27
sql

typescript

type system
ãƒªãƒ³ã‚¯
ã€ŒADT, ç›´å’Œãƒ»ç›´ç©, State Machineã€ - Qiita
(ã‚¿ã‚¤ãƒˆãƒ«å—ä½™ã‚Š) ã“ã®è¨˜äº‹ã¯ç†è€…ãŒç¤¾å†…å‹‰å¼·ä¼šã§ç™ºè¡¨ã—ãŸå†…å®¹ã‚’(å€‹äººçš„ã«å‡ºæ¥ãŒè‰¯ã„ã¨æ€ã£ãŸã®ã§)å¤–éƒ¨å‘ã‘ã«å†æ§‹æˆã—ãŸã‚‚ã®ã§ã™ã€‚(å¤§å¤‰é•·ããªã£ã¦ã—ã¾ã£ãŸ) çŠ¶æ³ãã®1 ã„ããªã‚Šä»¥ä¸‹ã®ã‚³ãƒ¼ãƒ‰ã‚’ã”è¦§ãã ã•ã„ã€‚ type Contact = { Name: PersonalName; Em ailContactInfo: Em ailContactInfo option; PostalContactInfo: PostalContactInfo option; } ãã—ã¦ä»¥ä¸‹ã®ä»•æ§˜ã‚’ã”ç¢ºèªãã ã•ã„ã€‚ Business Rule: â€œA contact must have an em ail or a postal addressâ€ å‡ºå…¸ã¨å‹•æ©Ÿã€èª²é¡Œ ä¸ŠæŽ²ã‚³ãƒ¼ãƒ‰åŠã³ä»•æ§˜ã¯Designing with types: Making illegal states unrepresentable | F# for
t2y-1979 2021/01/04
type system

programming
ãƒªãƒ³ã‚¯
Pythonã¨Type Hintsã§æ›¸ããƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ | ãƒ¡ãƒ«ã‚«ãƒªã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãƒªãƒ³ã‚°
ã“ã‚“ã«ã¡ã¯ã€AIãƒãƒ¼ãƒ æ‰€å±žã®@shidoã§ã™ã€‚CRE (Customer Reliability Engineering) é ˜åŸŸã§MLã‚’æ‰±ã£ã¦ã„ã¾ã™ã€‚ ã¿ãªã•ã‚“ã¯Pythonã§æœ¬ç•ªã‚³ãƒ¼ãƒ‰ã‚’æ›¸ãã“ã¨ã«ã¤ã„ã¦ã©ã†ãŠè€ƒãˆã§ã—ã‚‡ã†ã‹ã€‚ã€Œç ”ç©¶/åˆ†æžä»¥å¤–ã«ã¯ä½¿ã„ãŸããªã„ã€ã€Œé…ã„ã€ã€Œå‹•çš„åž‹ä»˜ã‘è¨€èªžã‚’æœ¬ç•ªç”¨ã«ä½¿ã„ãŸããªã„ã€ã¨ã„ã£ãŸå£°ãŒèžã“ãˆã¦ããã†ã§ã™ã€‚ ã—ã‹ã—ãªãŒã‚‰æ©Ÿæ¢°å¦ç¿’ã‚µãƒ¼ãƒ“ã‚¹(ã¾ãŸã¯æ©Ÿæ¢°å¦ç¿’ã‚µãƒ¼ãƒ“ã‚¹ã®ãŸã‚ã®ã‚µãƒ¼ãƒ“ã‚¹ãªã©)ã‚’ä½œã‚ŠãŸã„å ´åˆã€ã€Œå¦ç¿’ã«åˆ©ç”¨ã—ãŸPythonç”¨ã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ä½¿ç”¨ã—ãŸã„ã€ã€ŒPythonã§ã‚„ã£ã¦ã„ãŸåˆ†æžã¨åŒã˜ã“ã¨ã‚’æœ¬ç•ªç’°å¢ƒå†…ã§ã‚‚ã‚„ã‚ŠãŸã„ã€ãªã©ã€Pythonã§ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã‚’å®Ÿè£…ã—ãŸããªã‚‹ã“ã¨ãŒã‚ã‚‹ã¨æ€ã„ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯type hintsã‚’ä»˜ã‘ãªãŒã‚‰Pythonã‚’æ›¸ãã“ã¨ã§ã€Goã‚„Javaã®ã‚ˆã†ãªã‚µãƒ¼ãƒãƒ¼ã‚µã‚¤ãƒ‰ã§ã‚ˆãä½¿ã‚ã‚Œã‚‹è¨€èªžã¨å¯èªæ€§ã‚„ä¿å®ˆæ€§ã€å ´åˆã«ã‚ˆã£ã¦ã¯åž‹å®‰å…¨æ€§ã‚‚åŒã˜ãƒ¬ãƒ™
t2y-1979 2020/11/06
python3

type system

programming
ãƒªãƒ³ã‚¯
Python 3.9 æ™‚ä»£ã®åž‹å®‰å…¨ãª Pythonã®æ¥µã‚æ–¹ / Mastering Type Safety in Python 3.9 Era
PyCon JP 2020 ã®ã€ŒPython 3.9 æ™‚ä»£ã®åž‹å®‰å…¨ãª Python ã®æ¥µã‚æ–¹ã€ã®ç™ºè¡¨è³‡æ–™ã§ã™
t2y-1979 2020/08/28
python3

type system

mypy

pyconjp
ãƒªãƒ³ã‚¯
Visual Studio Codeã®æ–°ã—ã„Pythonè¨€èªžã‚µãƒ¼ãƒãƒ¼Pylance
Spring Bootã«ã‚ˆã‚‹APIãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰æ§‹ç¯‰å®Ÿè·µã‚¬ã‚¤ãƒ‰ ç¬¬2ç‰ˆ ä½•åƒäººã‚‚ã®é–‹ç™ºè€…ãŒã€InfoQã®ãƒŸãƒ‹ãƒ–ãƒƒã‚¯ã€ŒPractical Guide to Building an API Back End with Spring Bootã€ã‹ã‚‰ã€Spring Bootã‚’ä½¿ã£ãŸREST APIæ§‹ç¯‰ã®åŸºç¤Žã‚’å¦ã‚“ã ã€‚ã“ã®æœ¬ã§ã¯ã€å‡ºç‰ˆæ™‚ã«æ–°ã—ããƒªãƒªãƒ¼ã‚¹ã•ã‚ŒãŸãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§ã‚ã‚‹ Spring Boot 2 ã‚’ä½¿ç”¨ã—ã¦ã„ã‚‹ã€‚ã—ã‹ã—ã€Spring Boot3ãŒæœ€è¿‘ãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã€é‡è¦ãªå¤‰...
t2y-1979 2020/07/22
editor

vscode

type system

python3
ãƒªãƒ³ã‚¯
1 2 3 4 5 6 7 8 9 10 æ¬¡ã®ãƒšãƒ¼ã‚¸