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

静的型付けプログラミング言語Shiika

yhara
October 09, 2020

 静的型付けプログラミング言語Shiika

yhara

October 09, 2020
Tweet

More Decks by yhara

Other Decks in Programming

Transcript

  1. @yhara • ౡࠜݝࡏॅ • ωοτϫʔΫԠ༻௨৴ݚڀॴ • झຯɿݴޠॲཧܥͷ։ൃ • BiwaScheme (R7RS

    Scheme in JS) • ॻ੶ʰRubyͰͭ͘Δحົͳϓϩάϥϛϯάݴޠʱ ࠷ۙͷڵຯɿΫϥϑτ Ϗʔϧࣗ࡞ΩʔϘʔ υ0DVMVT2VFTU $MBTI3PZBMF4PVM PG&EFO$PPLJF $MJDLFS
  2. ໨ඪ • ࣮༻ݴޠΛ໨ࢦ͢ • Χόʔൣғ͸Rubyͱ͍͍ͩͨಉ͡ 4IJJLB 3VCZ 8FCΞϓϦ ˕ ˕

    εΫϦϓςΟϯά ˓ ˕ ήʔϜ ˕ ˓ ਺஋ܭࢉ ˓ ˚ ϫϯϥΠφɺίʔυΰϧϑ ˓
  3. ΫϥεͱϝλΫϥε "abc" "abc".class #=> String String #=> String String.name #=>

    "String" String.class #=> Meta:String Array<Int> #=> Array<Int> Array<Int>.name #=> "Array<Int>" Array<Int>.new #=> [] Array<Int>.class #=> Meta:Array<Int>
  4. ༨ஊɿΫϥεͱܕͷؔ܎ • Ϋϥε != ܕ • ྫɿfoo(x: Float) • x͸FloatͷଞʹIntͰ΋Α͍

    • ܕʹ஋ͷू߹(ͲͷΑ͏ͳΫϥεͷΠϯελϯ εΛڐ͔͢) ͜͜͸ΫϥεͰ͸ͳ͘ɺ ܕΛॻ͘ཝ