Upgrade to Pro — share decks privately, control downloads, hide ads and more …

型推論ハンズオン

omochimetaru
September 28, 2019

 型推論ハンズオン

omochimetaru

September 28, 2019
Tweet

More Decks by omochimetaru

Other Decks in Programming

Transcript

  1. ύοέʔδ - SwiftcBasic: ϢʔςΟϦςΟ - SwiftcType: ܕ - SwiftcAST: ύʔαʔͱAST

    - SwiftcSema: ܕਪ࿦ɺ஬৯͍͸͚ͩ͜͜ɻ - SwiftcTest: ςετ༻ͷϢʔςΟϦςΟ 8
  2. Semaৄࡉ - Constraint: ੍໿ - Conversion: ม׵ - ConstraintSystem: ੍໿Λղ͘Ϟδϡʔϧ

    - CSApply: ܕਪ࿦݁ՌʹΑΔASTͷม׵ - CSBinding: ܕม਺ͷׂ౰Ծઆͷੜ੒ - CSGen: ੍໿ͷੜ੒ - CSMatch: ܕͷϚον - CSSimplify: ੍໿ͷ؆໿ - CSSolve: ୳ࡧ - CSStep: ୳ࡧͷεςοϓ - TypeChecker: ιʔεશମΛܕνΣοΫ͢Δɻ 9
  3. σόοΨΛ࢖͏ • schemeͷઃఆ: Debug Process As: root, Launch: Wait for

    executable to be launched • Ϗϧυͨ͠swiftʹύεΛ௨͢ • XcodeΛRun͔ͯ͠ΒλʔϛφϧͰ࣮ߦ 17