kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Category:

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

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

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

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

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

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

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

  • На тему ужастного вируса и "просто гриппа":

    УМЕР ДМИТРИЙ ТОЛМАЦКИЙ 26:11:2009 г. В ночь на 25 ноября в Саратове, в возрасте 39 лет, умер Дмитрий Толмацкий, один из первых саратовских…

  • Конные всадники

    Забавно что в СПб есть два выдающихся конных монумента (невыдающихся есть еще кстати) - Комод-Бегемот и Медный Всадник. И оба всегда были крайне…

  • На тему памятника на Лубянке:

    На площади комод, На комоде – бегемот, На бегемоте – обормот, На обормоте – шапка, На шапке – крест, Кто угадает – того под арест.А вот почему бы…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    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