å›ã®ä¸¦è¡Œå‡¦ç†ã¯å®Ÿè¡Œã™ã‚‹ã¾ã§ã‚‚ãªãé–“é•ã£ã¦ã„ã‚‹ #golangtokyo / golang.tokyo 20th
golang.tokyo #20 ã§ä½¿ç”¨ã—ãŸè«–文紹介スライドã§ã™ã€‚ Go ã®ãƒãƒ£ãƒãƒ«ã«ã‚ˆã‚‹ä¸¦è¡Œå‡¦ç†ã¯å¼·åŠ›ã§é…力的ãªæ©Ÿèƒ½ã§ã™ãŒã€åŒæ™‚ã«ãƒã‚°ãŒç™ºç”Ÿã—ã‚„ã™ãã‹ã¤ç™ºè¦‹ã—ã¥ã‚‰ã„部分ã§ã‚‚ã‚ã‚Šã¾ã™ã€‚ã“ã®è«–æ–‡ã§ã¯ã€Go プãƒã‚°ãƒ©ãƒ ã‹ã‚‰ãã®æŒ™å‹•ã‚’å½¢å¼çš„ã«è¨˜è¿°ã—ãŸæŒ¯èˆžã„åž‹ (behavioural types) を抽…
「型ã€ã®å®šç¾©ã«æŒ‘ã‚€ | POSTD
科å¦ã¯ãã®æ–¹æ³•è«–上ã®ã‚¤ãƒ¡ãƒ¼ã‚¸ã‚ˆã‚Šã‚‚ã¯ã‚‹ã‹ã«â€ãžã‚“ã–ã„â€ã‹ã¤â€éžåˆç†çš„â€ãªã‚‚ã®ã§ã‚る。 Paul Feyerabend著『Against Method（方法ã¸ã®æŒ‘戦）ã€ï¼ˆ1975年） プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¯é…力的ãªåˆ†é‡Žã§ã™ã€‚ãã‚Œã¯ã€è¨ˆç®—機科å¦ï¼ˆã¨è«–ç†ï¼‰ã‚’ 社会å¦ã‚„人間ã¨ã‚³ãƒ³ãƒ”ュータã®ç›¸äº’作用 ã€ç§‘å¦çš„ã«å®šé‡åŒ–ã§ããªã„直感や嗜好ã€ãã—ã¦ï¼ˆè‰¯ãも悪ãも）政治ãªã©ã‚’å«ã‚€åˆ†é‡Žã¨çµã³ä»˜ã‘ã¦ãれるã‹ã‚‰ã§ã™ã€‚ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’話題ã«ã™ã‚‹å ´åˆã€ãŸã„ã¦ã„何らã‹ã®å®¢è¦³çš„ãªçœŸå®Ÿã‚’追求ã™ã‚‹ç§‘å¦çš„è°è«–ã«ãªã£ã¦ã—ã¾ã„ã¾ã™ã€‚科å¦ã¯å®Œç’§ã®ã‚ªãƒ¼ãƒ©ã«åŒ…ã¾ã‚Œã¦ã„ã‚‹ãŸã‚ã€ç§‘å¦çš„本質ã®æ ¸å¿ƒéƒ¨ã ã‘ã«é›†ä¸ã—ã€ä»–ã®éƒ¨åˆ†ã‚’無視ã™ã‚‹ã®ãŒæ£ã—ã„プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®è€ƒãˆæ–¹ã ã¨å˜ç´”ã«æ€ã£ã¦ã—ã¾ã†ã®ã‚‚ç„¡ç†ã‚ã‚Šã¾ã›ã‚“。 ã—ã‹ã—ã€ã“ã‚Œã§ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’é¢ç™½ãã—ã¦ã„る多ãã®ã‚‚ã®ãŒé™¤å¤–ã•ã‚Œã¦ã—ã¾ã„ã¾ã™ã€‚ã“ã®éš™é–“を埋ã‚ã‚‹1ã¤ã®æ–¹æ³•ã¯ã€ç§‘å¦ã®å“²å¦ã«ç›®ã‚’å‘
“型â€ã‚’語る際ã®7ã¤ã®é‡å¤§ãªèª¤ã‚Š | POSTD
ç§ã®å°è«– “In Search of Types†ã§ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ä½¿ã‚れる“型â€ã¨ã„ã†è¨€è‘‰ã®æ¦‚念や目的ã€è€ƒãˆæ–¹ã«ã¤ã„ã¦ã€å…¬å¹³ãªæ‰¹è©•ã‚’心ãŒã‘ã¾ã—ãŸã€‚所々ã§ã€ç§ã®çœŸå‰£ã•ã‚’æ„Ÿã˜å–ã£ã¦ã„ãŸã ã‘ã‚‹ã¯ãšã§ã™ã€‚ã“ã®ãƒ–ãƒã‚°è¨˜äº‹ã§ã¯é€†ã«ã€æ€ã„切ã£ã¦å ‚々ã¨æ‰¹è©•ã—ã¦ã„ãã¾ã™ã€‚ã„ãã¤ã‹ã®æ„見や考ãˆæ–¹ã«ã€ç§ã¯è‹›ç«‹ã¡ã‚’éš ã›ã¾ã›ã‚“。先日å‚åŠ ã—ãŸStrange Loopã§ã‚‚ã€ã“ã®ã‚ˆã†ãªçŠ¶æ³ã«é™¥ã‚Šã¾ã—ãŸï¼ˆè£œè¶³ã—ã¾ã™ãŒã€ã™ã°ã‚‰ã—ã„コンファレンスã§ã—ãŸï¼‰ã€‚ã“ã®æ©Ÿä¼šã«ã€â€œåž‹â€ã«ã¤ã„ã¦å¤šãã®äººãŒï¼ˆèª¤ã£ã¦ï¼‰èªžã£ãŸâ€œé‡å¤§ãªèª¤ã‚Šâ€ã‚’リストアップã—ã¦ã„ãã¾ã™ã€‚ ã“ã“ã§è©±ã™å†…容ã¯ã€èª¬å¾—力ã®ã‚ã‚‹ã‚‚ã®ã§ã™ã€‚ç§ãŒè‹›ç«‹ã¡ã‚’覚ãˆã‚‹ã®ã¯ã€äººã€…ãŒæ£å½“ã‹ã¤é€æ˜Žæ€§ã®ã‚ã‚‹è°è«–ã‚’è¡Œã£ã¦ã„ãªã„ã“ã¨ã«å¯¾ã—ã¦ã§ã™ã€‚çµè«–ã«èª¤ã‚ŠãŒã‚ã£ã¦ã¯ã„ã‘ã¾ã›ã‚“。ç§ã¯ã€OCamlã§ã‚る程度ã®æ•°ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’è¡Œã£ã¦ãŠã‚Šã€ãã‚Œã¯åž‹ãƒã‚§ãƒƒã‚¯ã‹ã‚‰å¤šãã®ä¾¡å€¤ã‚’å¾—ã‚‹ã“ã¨ãŒã§ãるシンプル
漸進的型付ã‘言語ã®æ™‚代ã«å¿…è¦ãªã‚‚ã® - mizchi's blog
最近ã§ã¯ã€Gradual Typingã€æ¼¸é€²çš„型付ã‘ã¨å‘¼ã°ã‚Œã‚‹åž‹ã‚·ã‚¹ãƒ†ãƒ ã‚’å‚™ãˆãŸè¨€èªž(æ‹¡å¼µ)ãŒå¢—ãˆã¦ãã¦ã„ã¾ã™ã€‚ 次ã®ã‚ˆã†ãªã‚‚ã® JavaScript: TypeScript / Flowtype Python: mypy / pyre-checker PHP: hack / php-storm flow/pyre-checker/hack 㨠facebook 製ãŒå¤šã„ã§ã™ã。 ã“ã®è¨˜äº‹ã¯ã€ãれらを使ã†å‹•æ©Ÿã¨é‹ç”¨ã«ã¤ã„ã¦æ›¸ãã¾ã™ã€‚ã“ã®è¨˜äº‹ã®å‡ºç™ºç‚¹ã¨ã—ã¦ã€ ãŠãらã TypeScript/Flow ã§ç™ºç”Ÿã—ãŸå•é¡ŒãŒå¾Œç™ºã®è¨€èªžã§ç™ºç”Ÿã™ã‚‹ã¨æ€ã£ã¦ãŠã‚Šã€ãれらを使ã†æ–¹ã‚„ã€è¨è¨ˆã™ã‚‹äººã¸ã®æ言ã§ã‚‚ã‚ã‚Šã¾ã™ã€‚ 自分ã¯æ˜” https://github.com/mizchi/TypedCoffeeScript ã¨ã„ã†AltJS作ã‚ã†ã¨ã—ã¦ã€å®Ÿè£…ã®ãƒ„ラミã¯ãªã‚“ã¨ãªã知ã£ã¦ã‚‹ã¤ã‚‚ã‚Šã§ã™ã€‚ホビーレベルã§ä½œã‚‹ã‚‚ã®
ç§ã¨åž‹ã‚·ã‚¹ãƒ†ãƒ ã¨ãƒã‚¨ãƒ
最近巷ã§ã¯ä¿„ã«åž‹ã‚·ã‚¹ãƒ†ãƒ ã«ã¤ã„ã¦ã®è¨€åŠãŒå¢—ãˆã€åž‹ã‚·ã‚¹ãƒ†ãƒ ãƒã‚¨ãƒžãƒ¼ãŒå¢—ãˆã¦ã‚‹æ°—ãŒã™ã‚‹ã®ã§è‡ªåˆ†ã‚‚ãã®æ™‚æµã«ä¹—ã‚ŠãŸã„。 完全ã«ãƒã‚¨ãƒ ã ã‘ã©ãªã‚“ã‹ã‚ã£ãŸã‚‰éšæ™‚指摘ãã ã•ã„。直ã—ã¾ã™ã€‚ TL;DR 言ã„ãŸã„ã“ã¨ã¯ã¾ã¨ã‚ã‚‹ã¨æ¬¡ 型システムã¯ç¨‹åº¦å•é¡Œãªã®ã§ã¡ã‚‡ã†ã©ã„ã„ã¨ã“ã‚を探ã™ã¹ã åž‹ã¯ä¸‡èƒ½ã§ã‚‚å¼·ã•ãŒæ£ç¾©ã§ã‚‚ãªã„(ã ã‹ã‚‰æœªã ã«ç ”究ã•ã‚Œã¦ã‚‹) よã知りもã—ãªã„ãã›ã«è¨ˆç®—機科å¦ã‚’侮辱ã™ã‚‹ã®ã¯ã‚„ã‚゠予防線 ã‚ãã¾ã§ãƒã‚¨ãƒ ã§ã™ã®ã§ä¸èº«ã¯ãªã„ã§ã™ ç§ã¯åž‹ç†è«–å°‚æ”»ã§å¦ä½ã¯ã¨ã£ãŸã‚‚ã®ã®ç ”究者ã§ã¯ãªã„ã®ã§ã‚ã¾ã‚Šä¿¡ç”¨ã—ã™ãŽãªã„よã†ã« 型システムã®éŽåŽ» 型システムã¯å¤§ã¾ã‹ã«æ¬¡ã®ã‚ˆã†ãªåˆ©ç‚¹ãŒã‚ã‚‹ã¨ã•ã‚Œã¦ããŸ(個人的主観) 「異常ã€ãªãƒ—ãƒã‚°ãƒ©ãƒ を検出ã™ã‚‹ä»•çµ„ã¿ é™çš„解æžã«ã‚ˆã‚‹åˆ†ã‹ã‚Šã‚„ã™ã„エラーメッセージ åž‹ãã®ã‚‚ã®ã®ãƒ‰ã‚ュメント性 IDEã§ã®completionã«è²¢çŒ® 最é©åŒ–ã«è²¢çŒ® (æ•°å¦ã«æ£ã—ãè£æ‰“ã¡ã•ã‚ŒãŸsemanti
型付ã ⊄ åž‹ãªã— - soutaroブãƒã‚°
最近ã€TypeScriptã«ã¤ã„ã¦è€ƒãˆã‚‹ã“ã¨ãŒå¤šã„。SideCIã§Webフãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã®é–‹ç™ºã«ä½¿ã„ã¯ã˜ã‚ãŸã“ã¨ã‚‚ã‚ã‚‹ã—ã€Steepã®é–‹ç™ºã‚’ã—ã¦ã„ã¦ã€ŒTypeScriptã ã¨ã©ã†ãªã‚‹ã‚“ã ã£ã‘？？ã€ãªã©ã¨è¨€ã„ãªãŒã‚‰è©¦ã—ã¦ã¿ã‚‹ã“ã¨ã‚‚ã‚る。 TypeScriptã¯åž‹ä»˜ãã®JavaScriptã§ã‚る。構文ã¯ã»ã¨ã‚“ã©åŒã˜ã§ã€ä½¿ãˆã‚‹ãƒ©ã‚¤ãƒ–ラリもã‹ãªã‚Šè¿‘ã„。JavaScriptã¸ã®å¤‰æ›ã¯ã‹ãªã‚Šè‡ªæ˜Žã§ã€ãƒ©ãƒ³ã‚¿ã‚¤ãƒ ã¯å…¨ãåŒã˜ã€‚性能ã®å·®ã¯ãªã„。Webpackã‚„npmã‚’åˆã‚ã¨ã™ã‚‹ãƒ„ール群もã‹ãªã‚Šå…±é€šã—ã¦ã„ã‚‹ã—ã€ã‚¢ãƒ—リケーションも似ãŸã‚ˆã†ãªã‚‚ん。書ã„ã¦ã„る気分ã«ã¯ã€ã»ã¨ã‚“ã©å·®ãŒãªã„。ã¤ã¾ã‚Šã€TypeScriptã¨JavaScriptã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã—ã¦ã„ã‚‹ã¨ãã«ã€ãªã«ã‹é•ã„ã‚’æ„Ÿã˜ã‚‹ã¨ã™ã‚Œã°ã€ãã‚Œã¯ï¼ˆã»ã¨ã‚“ã©ï¼‰åž‹ä»˜ãã®è¨€èªžã¨åž‹ãªã—ã®è¨€èªžã®å·®ã¨è€ƒãˆã¦è‰¯ã„。 Rubyã¨Javaを比較ã™ã‚‹ã®ã¨ã¯ã€å…¨ç„¶è©±ãŒé•ã†ã€‚構文もæ„味も
ocaml-zippy-tutorial-in-japanese/duck.rst at master · camlspotter/ocaml-zippy-tutorial-in-japanese
é™çš„型システムã€é™çš„型検査ã€é™çš„型推論ã€ã¨ã«ã‹ãé™çš„型ナンタラã¨ã„ã†ã‚‚ã®ã¯åž‹ã‚’使ã£ãŸ é™çš„ãªãƒ—ãƒã‚°ãƒ©ãƒ 検証技術ã§ã‚る。 é™çš„ãªãƒ—ãƒã‚°ãƒ©ãƒ 検証ã€ã¨ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ を実際ã«å‹•ã‹ã•ãšã«ãƒ—ãƒã‚°ãƒ©ãƒ ã«ä½•ã‹è‰¯ã„性質ãŒã‚ã‚‹ã‹ ã©ã†ã‹æ¤œæŸ»ã™ã‚‹ã“ã¨ã 。何ã‹è‰¯ã„性質ã€ã¨ã¯ã€ã“ã‚Œã¯å ´åˆã«ã‚ˆã£ã¦ã„ã‚ã„ã‚ã 。プãƒã‚°ãƒ©ãƒ を実行ã—ã¦ã‚‚ Segmentation fault ãŒçµ¶å¯¾èµ·ã“らãªã„ã¨ã‹ã€ä¸€èˆ¬ä¿è·ä¾‹å¤–ãŒçµ¶å¯¾èµ·ã“らãªã„ã¨ã‹ã€ãƒ‡ãƒƒãƒ‰ãƒãƒƒã‚¯ãŒèµ·ã“らãªã„ã¨ã‹ã€ å¿…ãšé‡‘ãŒå„²ã‹ã‚‹ã¨ã‹ã€æ»å¾Œè£ãã«éã‚ãªã„ã§æ¸ˆã‚€ã¨ã‹ã€ãã†ã„ã†è©±ã§ã‚る。å›ãŒè‰¯ã„ã¨æ€ã†æ€§è³ªã‚’ é™çš„ã«æ¤œè¨¼ã§ãã‚Œã°ã„ã„ã§ã™ã。 é™çš„ãªæ¤œè¨¼ã¨è¨€ã£ã¦ã‚‚ã€ã˜ã£ã¨ãƒ—ãƒã‚°ãƒ©ãƒ ã®ãƒ—リントアウトを見å°ã«ç½®ã„ã¦åº§ã™ã“ã¨æ•°æ™‚間〠クワッï¼ã€Œè¦‹ãˆãŸã‚¡ã‚ã‚ã‚ã€ã“ã‚Œã¯å®‰å…¨ï¼ã€ã‚¿ãƒ„ジンï¼ï¼ã¨ã‹ãã†ã„ã†äº‹ã§ã¯ãªã„。 実際ã®ãƒ—ãƒã‚°ãƒ©ãƒ を何ã‹ã—ら大幅ã«ç°¡ç•¥åŒ–ã—ãŸã‚‚ã®ã‚’ã‚ã‚‹æ„味動ã‹ã—ã¦ã¿ã¦ãã‚ŒãŒä¸Šæ‰‹ãã„
月é…列ã¨ã¯ コンピュータã®äººæ°—・最新記事を集ã‚ã¾ã—㟠- ã¯ã¦ãª
「月é…列ã€ã¯ã€Œæ–°JISã‹ãªã€é…列(JIS X6004)ã«ãŠã‘るシフトã‚ーをã€ã€ŒèŠ±é…列ã€ã¨åŒã˜ä¸æŒ‡ãƒ›ãƒ¼ãƒ 段文å—ã‚ーã«å†å‰²ã‚Šå½“ã¦ã—ã€ä¸€é€£ã®å¾®èª¿æ•´ã‚’è¡Œã£ãŸã‚‚ã®ã§ã‚る。 特定ã®å›£ä½“ãŒä½œæˆã—ãŸã‚‚ã®ã§ã¯ãªãã€ã‚ãã¾ã§ã‚‚個人ベースã§ã®é–‹ç™ºãŒé€²ã‚“ã§ã„る。ãã®ãŸã‚固定ã•ã‚ŒãŸã‚«ãƒŠé…列ã¯å˜åœ¨ã—ã¦ã„ãªã„。 月é…列ã®ãƒ—ãƒãƒˆã‚¿ã‚¤ãƒ—版ã¯2002å¹´11月6日生ã¾ã‚Œã§ã‚ã‚Šã€ãã“ã‹ã‚‰ã€Œè©•ä¾¡æ‰“éµã€ã€Œã‚·ãƒ•ãƒˆã‚ãƒ¼æ•°å¢—åŠ ã€ã€Œæ‹—音拡張ã€ã€ŒGene Analysisã®æŽ¡ç”¨ã€ã€Œæ¸…æ¿åˆ†ç½®ã€ãªã©ã®æ§˜ã€…ãªæŠ€æ³•ãŒå–り入れられã¦ããŸã€‚ 月é…列系ã®é…列åã¯ã€Œæœˆé…列ã€ï¼‹ã€Œåˆå…¬é–‹ã‚¹ãƒ¬ãƒƒãƒ‰ç•ªå·ã€ï¼‹ã€Œãƒ¼åˆå…¬é–‹ãƒ¬ã‚¹ç•ªå·ã€ã®çµ„ã¿åˆã‚ã›æ–‡å—ã§è‡ªå‹•çš„ã«å‘¼ã°ã‚Œã‚‹ã‚ˆã†ã«ãªã‚‹ã‹ã€ã‚ã‚‹ã„ã¯ã€Œæœˆé…列ã€ï¼‹ã€Œé–‹ç™ºè€…åã®ãƒ—レフィクス英å—ã€ï¼‹ã€Œé€šã—ãƒãƒ¼ã‚¸ãƒ§ãƒ³ç•ªå·ã€ã¨æ˜Žç¤ºçš„ã«å‘½åã•ã‚Œã‚‹å ´åˆãŒå¤šã„。 1スレッドã”ã¨ã«å°‘ãªãã¨ã‚‚一ã¤ä»¥ä¸Šã®é…列ãŒæ案ã•ã‚Œã‚‹ã†ãˆã«ã€å„é…列åŒå£«ã®é…å—指é‡ã¯è£½ä½œè€…
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}