?

Log in

November 2016   01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
cartoon

TypeScript: Static or Dynamic?

Posted on 2016.06.15 at 21:49

Comments:


Gaperton
gaperton at 2016-06-16 14:56 (UTC) (Link)
> И возник вопрос, soft type system - это свойство типизации некоего языка, или таки оно имеет смысл только при наличии какого-то другого языка с динамической типизацией, поверх которой сделан этот soft type system?

Обычно, под этим понималась нашлепка над базовым динамическим языком. Да. О TypeScript так можно сказать - это Soft Type System для JavaScript. Хотя можно и сразу такой язык придумать, который dynamic by default.

Вот первая статья, откуда пошел термин. В ней автор делает soft type system для статического ML, например.
http://courses.cs.ut.ee/2006/types/uploads/Main/cartwright91soft.pdf

Edited at 2016-06-16 02:58 pm (UTC)
Previous Entry  Next Entry