kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Category:

PS: Ругань про дизайн ATS

следует рассматривать в контексте использования его "в рамках его сверхзадачи".

Ядро языка представляет из себя ML с улучшеными в смысле перфоманса фичами (boxed-unboxed values etc) и поддержкой "прямой" (вплоть до языковых вставок) интеграции с С.

Ну и возможностями опционально дописывать довольно нетривиальные статически провеняемые семантики довольно малой кровью.

Так что на практике он может быть и неплох, если использовать его просто как улучшенный гибрид ML и C.

Тем более что возможности локально прибегнуть "там где очень надо" к наворотам это никак не запрещает.

В общем в отличие от Idris и Haskell впечатления чисто академического поделия не производит - собственно ужасность его дизайна не в последнюю очередь вызывана именно желанием покрыть практически нужные случаи.
Tags: ats, Компутерщина
Subscribe
  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 5 comments