A minimalistic example of bidirectional type checking for system F
Main.hs 0-� �U p� �U {-# LANGUAGE StrictData, DerivingVia, OverloadedRecordDot #-} {- (compiled with GHC 9.4.2) -} {- HEADS UP this is an example implementation of a non-trivial type system using bidirectional type checking. it is... - naive: a real implementation would use more advanced techniques such as NbE, elaboration to core, debruijn representation, and various optimizations - minimal: the
ãã‚Œã€ãƒ¢ãƒŽã‚¤ãƒ‰(Monoid)ã§ã§ãるよ
ã“ã® Scrap ã«ã¤ã„㦠TODO å…¨ã¦ã®ã‚µãƒ³ãƒ—ルコードã«ã¯ä»¥ä¸‹ã® import ãŒå˜åœ¨ã—ã¦ã„ã‚‹å‰æã§ãŠèªã¿ãã ã•ã„。
多相関数を第一級ã§å–り扱ã†
今回ã¯ï¼ŒGHCæ‹¡å¼µã®ä¸€ã¤ RankNTypes ã®ç´¹ä»‹ã‚’ã—よã†ã¨æ€ã†ï¼Žã‚‚ã†ã¡ã‚‡ã£ã¨ã¡ã‚ƒã‚“ã¨ã¾ã¨ã‚ãŸã®ã‚’ã„ã¤ã‹ Haskell-jp ã‹ã©ã£ã‹ã«æŠ•ç¨¿ã—ãŸã„ã¨æ€ã£ã¦ã‚‹ã‚“ã ãŒï¼Œæ™‚間㌠(ã•ã£ã•ã¨æ›¸ã‘)． ã•ã¦ï¼Œ Haskell ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã„ã¦å¤šç›¸é–¢æ•°ã¯ã‹ãªã‚Šé‡è¦ãªå½¹å‰²ã‚’æŒã¤ï¼Žã—ã‹ã—ãªãŒã‚‰ï¼Œæ¨™æº–ã®ç¯„囲ã§ã¯å¤šç›¸é–¢æ•°è‡ªä½“を第一級ã®å€¤ã¨ã—ã¦æ‰±ã†ã“ã¨ã¯ã§ããªã„．ç§ãŸã¡ã«è¨±ã•ã‚Œã‚‹ã®ã¯ï¼Œå¤šç›¸é–¢æ•°ã‚’定義ã™ã‚‹ã“ã¨ã ã‘ã ．ã¾ã‚，ãã‚Œã ã‘ã§ã‚‚ã‹ãªã‚Šæœ‰ç”¨ãªã‚“ã ã‘ã©ï¼Œå¤šç›¸é–¢æ•°ã‚’第一級ã§æ‰±ãˆã‚‹ã¨ï¼Œè‰²ã€…プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®å¹…ãŒåºƒãŒã‚‹ï¼Žä»Šå›žã¯ï¼Œå¤šç›¸é–¢æ•°ã‚’第一級ã¨ã—ã¦æ‰±ã†ã¨ã„ã†ã®ã¯ã©ã†ã„ã†ã“ã¨ã‹ï¼Œãã—ã¦ãれをã™ã‚‹ã«ã¯ã©ã†ã™ã‚Œã°ã„ã„ã‹ï¼Œãã†ã™ã‚‹ã“ã¨ã§ä½•ãŒã†ã‚Œã—ã„ã®ã‹ã‚’ç°¡å˜ã«è§¦ã‚Œã‚‰ã‚ŒãŸã‚‰ã¨æ€ã£ã¦ã„る． 多相関数を第一級ã§æ‰±ã†ã¨ã¯ã©ã†ã„ã†ã“ã¨ã‹ (パラメトリック)多相関数 ((parametric) polymorphic fu
Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã¯ã€Œé«˜ã‚«ã‚¤ãƒ³ãƒ‰å¤šç›¸ã®ãªã„型クラスã€ã§ã‚ã‚‹ - ãªã‚“ã‹è€ƒãˆã¦ã‚‹ã“ã¨ã¨ã‹
Rustã®ãƒˆãƒ¬ã‚¤ãƒˆï¼ˆä»¥é™Rustトレイトã¨ã¤ãªã’ã¦å‘¼ã¶ã“ã¨ã«ã™ã‚‹ï¼‰ã¯ä¸€ä½“何ãªã®ã‹ã€æ§˜ã€…ãªä»–言語ã®æ¦‚念を通ã—ã¦èª¿ã¹ã¦ã„ãŸãŒã€ã‚„ã£ã¨ï¼ˆã€Œã‚„ã¯ã‚Šã€ã§ã‚‚ã‚ã‚‹ã®ã ãŒï¼‰çµè«–ãŒå‡ºãŸã®ã§æ›¸ã„ã¦ã„ã“ã†ã¨æ€ã†ã€‚ ã¾ãŸã€Rustトレイトã¯ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ãªã®ã‹ã€MixInãªã®ã‹ã€ã¯ãŸã¾ãŸãƒˆãƒ¬ã‚¤ãƒˆãªã®ã‹ã¨ã„ã†ã“ã¨ã«ã¤ã„ã¦æ›¸ãç›´ã—ãŸã‹ã£ãŸã®ã§ãれもã¤ã„ã§ã«æ›¸ã。 Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã«ãŠã‘ã‚‹å¦å®š å‰ç½®ã Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã¯ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã§ã¯ãªã„ Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã¯Javaã®ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã§ã¯ãªã„ Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã¯C#ã®ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã§ã¯ãªã„ Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã¯MixInã§ã¯ãªã„ Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã¯ãƒˆãƒ¬ã‚¤ãƒˆã§ã¯ãªã„ Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã¯ã€Œé«˜ã‚«ã‚¤ãƒ³ãƒ‰å¤šç›¸ã®ãªã„型クラスã€ã ã£ãŸ æ ¹æ‹ 1: 型クラスã¨ç”¨æ³•ãŒåŒã˜ã§ã‚ã‚‹ æ ¹æ‹ 2: é‡è¤‡ã™ã‚‹é–¢æ•°ãŒã‚ã£ãŸéš›ã®æŒ™å‹•ã‚‚åŒã˜ Rustã®ãƒˆãƒ¬ã‚¤ãƒˆã§ã¯é«˜ã‚«ã‚¤ãƒ³ãƒ‰å¤šç›¸ãŒã§ããª
Type Sets Proposal 勉強会 (2021/08/01 13:00〜)
ãŠçŸ¥ã‚‰ã› 2024å¹´9月1日よりã€connpassã§ã¯ã‚¹ã‚¯ãƒ¬ã‚¤ãƒ”ングをç¦æ¢ã—ã€åˆ©ç”¨è¦ç´„ã«æ˜Žè¨˜ã—ã¾ã—ãŸã€‚以é™ã®æƒ…å ±å–å¾—ã«ã¯connpass APIã‚’ã”利用ãã ã•ã„。APIã”利用ã«ã¤ã„ã¦ã¯ãƒ˜ãƒ«ãƒ—ページをã”確èªãã ã•ã„。 新機能 「QRコードèªã¿å–ã‚Šã«ã‚ˆã‚‹å‡ºå¸æ©Ÿèƒ½ã€ã‚’リリースã—ã¾ã—ãŸã€‚事å‰ã«å…¥å ´å—付ãŒå¿…è¦ãªå ´åˆã‚„ã€å—付時ã«å‚åŠ æž ãªã©ã«ã‚ˆã£ã¦å€‹åˆ¥ã®èª˜å°ŽãŒå¿…è¦ãªå ´åˆã«ã”利用ãã ã•ã„。詳ã—ã㯠ã“ã¡ã‚‰ ã‚’ã”覧ãã ã•ã„。 新機能 connpass APIã«æ–°ã—ãã€ãƒ¦ãƒ¼ã‚¶ãƒ¼ã®ãƒ—ãƒãƒ•ã‚£ãƒ¼ãƒ«ã‚’å–å¾—ã§ãるユーザーAPIã‚’è¿½åŠ ã—ã¾ã—ãŸã€‚APIリファレンス㯠ã“ã¡ã‚‰ ã‚’ã€ã¾ãŸAPI利用希望ã®æ–¹ã¯ ã“ã¡ã‚‰ ã‚’ã”覧ãã ã•ã„。
パターンマッãƒã®ç¶²ç¾…性検査
解決ç–１：パターンマッãƒã‚’コンパイルã™ã‚‹ã¨ãã€ã€Œã™ã¹ã¦ã®ãƒ‘ターンãŒå¤±æ•—ã—ãŸã‚‰exit 1ã™ã‚‹ã€ã‚³ãƒ¼ãƒ‰ã‚’パターンマッãƒã®æœ€å¾Œã«è¿½åŠ ã™ã‚‹ã€‚ 解決ç–２：コンパイル時ã«ãƒ‘ターンã®ç¶²ç¾…性を検査ã™ã‚‹ã€‚ 解決ç–ï¼’ã®ã»ã†ãŒæœ›ã¾ã—ãã†ãªã®ã§ã€è§£æ±ºç–２を目指ã™ã€‚ãã®ãŸã‚ã«ã¯ã€ãƒ‘ターンã®ç¶²ç¾…性を検査ã™ã‚‹å‡¦ç†ã‚’実装ã—ãªã‘ã‚Œã°ãªã‚‰ãªã„。ãã®ãŸã‚ã®æƒ…å ±åŽé›†ã‚’è¡Œã†ã€‚
Higher Kinded Types - herp-technote
例ãˆã°HKTã®ç„¡ã„OCamlã§ã¯ï½¤'a list ã¯åž‹ã§ã¯ãªã型コンストラクタã¨ã„ã†æ‰±ã„ã«ãªã£ã¦ã„ã‚‹ãŒï½¤HKTã®ã‚ã‚‹Haskell(List A ã¾ãŸã¯ [A])ã§ã¯ * → * ã¨ã„ㆠAåž‹ã‚’å—ã‘å–ã£ã¦[A]ã‚’è¿”ã™åž‹ã§ã‚る｡ å¼ã‚’å–ã£ã¦å¼ã‚’è¿”ã™ã¨ã„ã†é–¢æ•°ãŒå¼ã§ã‚ã‚‹ã¨ã•ã¾ã–ã¾ãªå®Ÿã‚ŠãŒã‚ã‚‹(c.f. ラムダ計算)よã†ã«ï½¤åž‹ã‚’å—ã‘å–ã£ã¦åž‹ã‚’è¿”ã™ã¨ã„ã†ä»•çµ„ã¿ã‚‚åž‹ã«å«ã¾ã‚Œã¦ã„ã‚‹ã¨ã•ã¾ã–ã¾ãªå¬‰ã—ã•ãŒã‚る｡
Go ã® "Type Sets" proposal ã‚’èªã‚€
Intro èªè€…ã®æƒ³å®šçŸ¥è˜ ã“ã®è¨˜äº‹ã§å‡ºã¦ãã‚‹Go言語仕様用語 サマリー Context Type Parameters Proposalã®è¦ç‚¹ Type listã®å¿…è¦æ€§ 暗黙的ãª"underlying type matching"ã®å•é¡Œ type listã‹ã‚‰sum type㸠underlying type matchingã¨ä»£å…¥å¯èƒ½æ€§ underlying type matchingã¨åž‹switchステイトメント underlying type matchingã®è¡¨ç¾åŠ›ã®é™ç•Œ Type Sets Proposal Type sets(型集åˆ) åž‹TãŒinterface ITを実装ã™ã‚‹ãŸã‚ã®æ¡ä»¶ è¦ç´ を埋ã‚込んã インタフェースã®type set interface elements(インタフェースè¦ç´ ) ä»»æ„ã®åž‹(インタフェース型ã«é™ã‚‰ãªã„) approximation elemen
Another Generic Dilemma
Another Generic Dilemma Feb 24, 2021 In “The Generic Dilemmaâ€, Russ Cox observes that you can have only two of separate compilation unboxed values parametric polymorphism (but see 1 and 2 for how you can achieve a middle ground with enough compiler wizardry) Now that Go is getting generics, I want to point out another dilemma: Any language has parametric polymorphism, eventually If you start with
Rustã®Higher-Kinded type Trait | κeenã®Happy Hacκing Blog
κeenã§ã™ã€‚å°‘ã—å‰ã®è©±ã«ãªã‚Šã¾ã™ãŒRustã®é–¢é€£åž‹ã‚’駆使ã—ã¦Higher Kinded type Trait（高階型トレイト）を実ç¾ã—ã¦ã—ã¾ã£ãŸã‚‚ã®ãŒå‡ºå›žã£ã¦ãŸã®ã§ãã‚Œã«ã¤ã„ã¦ã€‚ 本æ¥Rustã¯HKTをサãƒãƒ¼ãƒˆã—ã¦ã„ã¾ã›ã‚“ãŒä¸æ€è°ãªã“ã¨ã«å®Ÿè£…出æ¥ã¦ã—ã¾ã£ã¦ã„ã‚‹ã®ã§ã™ã€‚ HKTã«ã¤ã„ã¦å¾®å¡µã‚‚知らãªã„æ–¹ã«ã‚‚分ã‹ã‚‹ã‚ˆã†ã«è§£èª¬ã—ã¦ã„ãã¾ã™ã€‚ map å¯èƒ½ãªãƒˆãƒ¬ã‚¤ãƒˆ Optionã€Resultã€etc 色々ãªãƒˆãƒ¬ã‚¤ãƒˆãŒ map メソッドを実装ã—ã¦ã„ã¾ã™ã€‚ ãã‚Œãžã‚Œåž‹ã‚·ã‚°ãƒãƒãƒ£ã‚’抜ã出ã—ã¦ã¿ã¾ã—ょã†ã€‚ Option: map<U, F: FnOnce(T) -> U>(self, f: F) -> Option<U> Result: map<U, F: FnOnce(T) -> U>(self, op: F) -> Result<U, E> é©šã程似ã¦ã¾ã™ã。ã“れを抽象化ã—ã¦ã€ŒmapメソッドをæŒã¤ã€
Javaã«ã‚ˆã‚‹åž‹åˆ¶ç´„ã‚’æŒã£ãŸã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ãƒ¡ã‚½ãƒƒãƒ‰ã®æ¨¡å€£ - ãƒã‚¸ãƒ‹ã‚雑記
æ¦‚è¦ Javaã§ã¯ãƒ¬ã‚·ãƒ¼ãƒãƒ¼ãŒç‰¹å®šã®Parameterized Typeã§ã‚る時ã®ã¿å‘¼ã³å‡ºã™äº‹ãŒå‡ºæ¥ã‚‹ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ãƒ¡ã‚½ãƒƒãƒ‰ã‚’定義ã™ã‚‹ã¨ã„ã†è¨€èªžæ©Ÿèƒ½ã¯ã‚ã‚Šã¾ã›ã‚“。ã—ã‹ã—ã€Parameterized Typeを引数ã«å–る関数を外部ã§å®šç¾©ã—ã€ã‚¸ã‚§ãƒãƒªãƒƒã‚¯åž‹ã«ã¯å¤–部ã‹ã‚‰æ¸¡ã•ã‚ŒãŸé–¢æ•°ã‚’自身ã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã§è©•ä¾¡ã™ã‚‹ãƒ¡ã‚½ãƒƒãƒ‰ã‚’定義ã™ã‚‹äº‹ã«ã‚ˆã‚Šæ¨¡å€£ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ 型制約 インスタンスメソッドを呼ã³å‡ºã™äº‹ãŒå‡ºæ¥ã‚‹æ¡ä»¶ã¨ã—ã¦åž‹å¤‰æ•°ã®ç¶™æ‰¿é–¢ä¿‚ã‚’å–る事を本記事ã§ã¯åž‹åˆ¶ç´„ã¨å‘¼ã³ã¾ã™ã€‚ 型制約ã®ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ã‚’確èªã™ã‚‹ãŸã‚ã«æ¬¡ã®ã‚³ãƒ¼ãƒ‰ã‚’考ãˆã¾ã—ょã†ã€‚ public final class Holder<T> { private final T t; public Holder(T t) { this.t = t; } public T t() { return t; } // ãƒã‚¹ãƒˆã—ãŸHolderを「潰ã™ã€
kadai1
課題４ 線形型ã«é–¢ã™ã‚‹è«–文をèªã‚“ã§ãã‚Œã«åŸºã¥ã型推論プãƒã‚°ãƒ©ãƒ を書ã 線形型システムã¨ã¯ï¼Ÿ 線形型システムã¨ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ 実行ä¸ã«ä½œã‚‰ã‚ŒãŸå€¤ãŒä½•åº¦ä½¿ã‚ã‚Œã†ã‚‹ã‹ã«ã‚ˆã£ã¦ 型を区別ã™ã‚‹ã‚ˆã†ãªåž‹ã‚·ã‚¹ãƒ†ãƒ ã§ã™ã€‚例ãˆã°ã€æ•´æ•°ã®åž‹ã¯MLã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã§ã¯å˜ã«"int" ã§ã™ãŒã€ 線形型システムã§ã¯ã€é«˜ã€…一回ã—ã‹ä½¿ã‚ã‚Œãªã„æ•´æ•°ã®åž‹ã¯"int<１>", 何回ã§ã‚‚使ã‚ã‚Œã†ã‚‹ æ•´æ•°ã®åž‹ã¯"int<ω>" ã®ã‚ˆã†ã«åŒºåˆ¥ã•ã‚Œã¾ã™ã€‚ã“ã®ã‚ˆã†ã«åž‹ã®æ¦‚念を拡張ã—ã¦ã‚‚ MLã¨å…¨ãåŒã˜ã‚ˆã†ã«è‡ªå‹•çš„ã«åž‹æŽ¨è«–ãŒè¡Œãªãˆã‚‹ （ã“ã“ã§ã¯åž‹ã®æ¦‚念ãŒæ‹¡å¼µã•ã‚Œã¦ã„ã¾ã™ã‹ã‚‰ã€ å„データãŒä½•å›žä½¿ã‚れるã‹ã‚‚自動的ã«æŽ¨è«–ã•ã‚Œã‚‹ã“ã¨ã«ãªã‚Šã¾ã™ï¼‰ã“ã¨ãŒæœ€è¿‘ã«ãªã£ã¦çŸ¥ã‚‰ã‚Œã¦ãŠã‚Šã€ 例ãˆã°ã€fn x=>x+1 ã®åž‹ã¯ã€âˆ€ï½‰>=1, ｊ.(int<ｉ> -> int<ｊ>) ã®ã‚ˆã†ã«æŽ¨è«–ã§ãã¾ã™ã€‚ 線形型ã£ã¦ä½•ã®å½¹ã«ç«‹ã¤ã®ï¼Ÿ プãƒã‚°ãƒ©ãƒ 実行ä¸ã«é«˜ã€…一度ã—ã‹ä½¿
ã€Kotlin】try-catch ãŒã‚„ã‚Šã«ãã‘れ㰠runCatching を使ã£ã¦ã¿ã‚ˆã†ï¼ - Qiita
例外ãŒã‚¹ãƒãƒ¼ã•ã‚ŒãŸã‚‰ã‚れを実行ã—ãŸã„ãŒã€ スãƒãƒ¼ã•ã‚Œãªã‹ã£ãŸã‚‰ã“れを実行ã—ãŸã„。 ãã†ã„ã†ã¨ãã‚ã‚Šã¾ã™ã‚ˆã。 try-catch（-finally）ã§ã¯æ›¸ãã«ãã„ã¨ããŒã‚ã‚‹ try-catch（-finally）ã§ã¯ã€ 例外ãŒã‚¹ãƒãƒ¼ã•ã‚ŒãŸã¨ãã®å‡¦ç†ï¼ˆã¨ã‚¹ãƒãƒ¼ã•ã‚Œã¦ã‚‚ã•ã‚Œãªãã¦ã‚‚ã™ã‚‹å‡¦ç†ï¼‰ã¯æ›¸ã‘ã¦ã‚‚〠スãƒãƒ¼ã•ã‚Œãªã‹ã£ãŸã¨ãã®å‡¦ç†ã¯å˜ç´”ã«ã¯æ›¸ã‘ã¾ã›ã‚“。 例ã§è€ƒãˆã¦ã¿ã¾ã—ょã†ã€‚ ã¾ãšã€ä¾‹å¤–ãŒã‚¹ãƒãƒ¼ã•ã‚Œã‚‹ã“ã¨ã‚’考ãˆãªãã¦ã‚ˆã„å ´åˆã‚’考ãˆã¾ã™ã€‚ fun noException() { val myValue = getMyValue() // 値をå–å¾—ã™ã‚‹ã€‚ .also { onMySuccess(it) // ãã®å¾Œ onMySuccess を呼ã³å‡ºã™ã€‚ onMyFinally() // 最後㫠onMyFinally を呼ã³å‡ºã™ã€‚ } setMyValue(myValue) } ã“ã“㧠getM
Arrowã®ç´¹ä»‹ãã®ï¼‘
Picapp アドベントカレンダーåˆæ—¥ã§ã™ã€‚ å”çªã«ã¯ã˜ã¾ã‚Šã¾ã—ãŸãŒã€æ™®æ®µã¿ã‚“ãªãŒæ°—ã«ãªã£ã¦ã„る技術ã ã£ãŸã‚Šä»•äº‹ã§åˆ©ç”¨ã—ã¦ã„ã‚‹ã‚‚ã®ã ã£ãŸã‚Šã€ã‚¨ãƒ¢ã„話を書ããŸã„人ãŒæ›¸ãアドベントカレンダー（ã®ã¯ãšï¼‰ã§ã™ã€‚ ã¨ã‚Šã‚ãˆãšè¨€ã„出ã—ã£ãºã®ç§ãŒåˆæ—¥ã¨äºŒæ—¥ç›®ã‚’埋ã‚ã¾ã™ã®ã§ã€ã©ã†ãžã‚ˆã‚ã—ããŠããŒã„ã—ã¾ã™ã€‚ Λrrow（以下Arrow）ã¨ã„ã†Libraryã‚’ã”å˜çŸ¥ã§ã—ょã†ã‹? Λrrow is a library for Typed Functional Programming in Kotlin. ã¨ã‚るよã†ã«ã€é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãŸã‚ã®ãƒ©ã‚¤ãƒ–ラリã§ã™ã€‚ ã¨ã„ã†ã¨ãªã‚“ã ã‹æ€–ã„イメージãŒç”Ÿã¾ã‚Œã¦ã—ã¾ãã†ã§ã™ãŒã€ 今回ã¯ã“ã®Arrowã®ä¸ã®DataTypesã‹ã‚‰å¹¾ã¤ã‹ã¨ã£ã¤ãã‚„ã™ãã†ãªã‚‚ã®ã‚’紹介ã—ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚ ãªãŠåŸºæœ¬å§¿å‹¢ã§ã™ãŒâ€¦ 基本的ã«å…¬å¼Documentã¨å‹•ç”»ã€KotlinSlackã®#arr
F-ing Modules, yabaitech.tokyo vol.5
yabaitech.tokyo vol.5ã«ã¯gfn(@bd_gfngfn)ã•ã‚“ã«ã‚ˆã‚‹ã€ŒF-ing modules ã®åž‹æ¤œæŸ»ã¨ã‚³ãƒ³ãƒ‘イル手法ã€ã¨ã„ã†è¨˜äº‹ãŒã‚ã‚Šã€ãれをèªã‚“ã ã®ã§ã€æ°—ã«ãªã£ãŸç®‡æ‰€ã«ã¤ã„ã¦æ›¸ã„ãŸã‚Šã€ã¤ã„ã§ã«F-ing Modulesã«é–¢ã™ã‚‹è£œè¶³ãªã©ã‚’ã—ã¦ã„ãã¾ã™ã€‚ F-ing Modulesã¨ã¯åˆã‚ã«ã€F-ing Modules自体ã«ã¤ã„ã¦èª¬æ˜Žã—ã¦ãŠãã¾ã™ã€‚F-ing modulesã¨ã¯ã€Rossberg, Russo, Dreyerã®3人ã«ã‚ˆã‚‹ã€æ¬¡ã®2ã¤ã®è«–文を指ã—ã¾ã™ã€‚ F-ing Modules (TLDI, 2010)F-ing Modules (JFP, 2014)著者ã«ã‚ˆã‚‹ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã‚µã‚¤ãƒˆã‚‚ã‚ã‚Šã¾ã™ã€‚Russoã®åšå£«è«–æ–‡ã¨Dreyerã®åšå£«è«–æ–‡ã¯ã€MLã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚·ã‚¹ãƒ†ãƒ ã®è«–æ–‡ã®ä¸ã§ã‚‚特ã«æœ‰åãªè«–æ–‡ã§ã€ãã®2人ãŒé–¢ã‚ã£ã¦ã„ã‚‹ã ã‘ã‚ã£ã¦ã‚ˆã書ã‹ã‚Œã¦ã„ã¾ã™ã€‚ MLã®ãƒ¢
Rust ã® `!` (ビックリマークã€ã‚¨ã‚¯ã‚¹ã‚¯ãƒ©ãƒ¡ãƒ¼ã‚·ãƒ§ãƒ³ãƒžãƒ¼ã‚¯ã€æ„Ÿå˜†ç¬¦ã€never) åž‹ - Don't Repeat Yourself
タイトルã¯è¨˜å·ã®ã‚°ã‚°ãƒ©ãƒ“リティ確ä¿ã®ãŸã‚ã«ã‚ã–ã¨ã¤ã‘ã¦ã„ã¾ã™ï¼ˆç¬‘）。動作ã¯ã™ã¹ã¦ã€Rust 1.47.0 (stable) ã§ã™ã€‚nightly を使用ã—ãŸå ´åˆã¯ nightly ã¨æ–‡ä¸ã«è¨˜è¼‰ã—ã¾ã—ãŸã€‚ TL; DR Rust ã«ã¯ ! ã¨ã„ã†ã€Œä½•ã‚‚è¿”ã•ãªã„ã“ã¨ã‚’示ã™ãƒ¢ãƒŽã€ãŒå˜åœ¨ã™ã‚‹ã€‚ never åž‹ã¨å‘¼ã¶ã€‚ 値を何も返ã•ãªã„計算ã®è¡¨ç¾ã¨ã—ã¦ä½¿ç”¨ã•ã‚Œã‚‹ã€‚ 普段ã¯åž‹å¼·åˆ¶ã•ã‚Œã‚‹ï¼ˆã®ã§ã€ä½¿ã£ã¦ã„ã‚‹ã“ã¨ã«æ°—ã¥ã‹ãªã„ã‹ã‚‚）。 never åž‹ã¯å®‰å®šåŒ–ã•ã‚Œã¦ã„ãªã„。 TL; DR 基本 ! = never åž‹ never åž‹ã¯ã©ã“ã«å‡ºã¦ãã‚‹ã®ã‹ Coercing 発展 never åž‹ã¯ã¾ã 安定化ã•ã‚Œã¦ã„ãªã„ std::convert::Infallible ã§ã€ãªã‚“㧠Rust ã«ã¯ ! ãŒã„ã‚‹ã®ï¼Ÿ Rust ã§ã¯ãªãœã€é–¢æ•°ã®æˆ»ã‚Šå€¤ã ã‘ã«ã—ã‹ ! を使用ã§ããªãã—ã¦ã‚ã‚‹ã®ï¼Ÿ 今回も記事ãŒé•·ããªã£ã¦ã—ã¾ã„
Background: how we got the generics we have (Or, how I learned to stop worrying and love erasure)
原文ã¯ã“ã¡ã‚‰ã€‚ This article was written by Brian Goetz (Java Architect, Oracle). http://cr.openjdk.java.net/~briangoetz/valhalla/erasure.html ジェãƒãƒªã‚¯ã‚¹ã®æ–¹å‘性を語るå‰ã«ã€ã¾ãšã€ã‚¸ã‚§ãƒãƒªã‚¯ã‚¹ã®ç¾åœ¨ã®çŠ¶æ³ã¨ãã“ã¾ã§ã®çµŒç·¯ã‚’語る必è¦ãŒã‚ã‚Šã¾ã™ã€‚ã“ã®æ–‡æ›¸ã§ã¯ã€ç¾åœ¨ã®ã‚¸ã‚§ãƒãƒªã‚¯ã‚¹ãŒã€ã„ã¾ä½œã‚ã†ã¨ã—ã¦ã„る「より良ã„ã€ã‚¸ã‚§ãƒãƒªã‚¯ã‚¹ã¸ã©ã®ã‚ˆã†ã«å½±éŸ¿ã‚’与ãˆã‚‹ã‹ã®ç¤Žã¨ã—ã¦ã€ä¸»ã¨ã—ã¦ç¾åœ¨ã®ã‚¸ã‚§ãƒãƒªã‚¯ã‚¹ãŒã©ã®ã‚ˆã†ã«ã—ã¦ã§ãã‚ãŒã£ãŸã®ã‹ã€ãã—ã¦ãã®ç†ç”±ã«ã¤ã„ã¦ãƒ•ã‚©ãƒ¼ã‚«ã‚¹ã—ã¾ã™ã€‚ 特ã«ã€2004å¹´ã«Javaã«ã‚¸ã‚§ãƒãƒªã‚¯ã‚¹ã‚’è¿½åŠ ã™ã‚‹éš›ã«ã¯ã€å®Ÿéš›ã«ã¯erasure（消去ã€ã“ã“ã§ã¯type erasureã€ã¤ã¾ã‚Šåž‹æ¶ˆåŽ»ã‚’æ„図ã—ã¦ã„る）ãŒè³¢æ˜Žã§å®Ÿç”¨çš„ãªé¸æŠžã§ã‚ã£ãŸã“ã¨ã€ãã—ã¦ã€erasureã«ã‚ˆ
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Applicative勉強会
Swiftã§é«˜ã‚«ã‚¤ãƒ³ãƒ‰å¤šç›¸
Scalaã®Optionクラスã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’èªã‚“ã§ã¿ãŸ | メンãƒãƒ¼ã‚ºã‚¨ãƒƒã‚¸ã‚«ãƒ³ãƒ‘ニーブãƒã‚°
{{#tags}}- {{label}}
{{/tags}}