Hlavní navigace

Názor k článku Reason: programovací jazyk od Facebooku nejen pro webové aplikace od andy - Protože pokud jste někdy viděl jazyk se skutečným...

  • Článek je starý, nové názory již nelze přidávat.
  • 17. 1. 2018 0:07

    andy (neregistrovaný)

    Protože pokud jste někdy viděl jazyk se skutečným typovým systémem, tak, jak už tu někdo psal, dojdete k tomu, že python (a spol.) jsou jazyky s jedním tagovaným typem. Prostě když v tom reasonu napíšu (neumim ocaml, takže plus minus):

    type tenJedenTyp =
    | Cislo(int)
    | Retezec(string)
    | Bool(bool)
    | Desetinne(double)
    | Trida(string, tenJedenTyp, tenJedenTyp String.Map.t }

    Tak mám +/- hotový celý typový systém pythonu. Dokonce i v té "strong" variantě...

    Ale on typový systém s jedním typem... no je lepší než žádný typový systém, ale fakt toho moc neumí. Jako třeba staticky něco garantovat. A to vypadá, že reason umí, už třeba proto, že těch typů má trochu víc než jeden.