?

Log in

No account? Create an account
kouzdra [entries|archive|friends|userinfo]
kouzdra

[ website | www.kouzdra.org ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

PS: Ругань про дизайн ATS [Apr. 10th, 2016|10:11 am]
kouzdra
[Tags|, ]

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

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

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

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

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

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

Comments:
[User Picture]From: bacr
2016-04-10 06:41 pm (UTC)
Прям как про Лабвью все написано
(Reply) (Thread)
[User Picture]From: kouzdra
2016-04-10 06:49 pm (UTC)
Тут фишка в том что изделие находится "на пределе возможного в данное время"

PS: Практичная вещь on the edge - крайняя редкость.

Edited at 2016-04-10 07:07 pm (UTC)
(Reply) (Parent) (Thread)
[User Picture]From: bacr
2016-04-10 07:16 pm (UTC)
То что сейчас on edge в Лабвью боян, и boxing / unboxing + вставки в С в Лабвью лет 20 наверно уже есть. Причем рисуется как раз как коробочка. И таки это идет не от программирования, а от всяких buses на уровне железа и интегральных схем.

Лабвью очень старое, но при этом великолепно распараллеливается благодаря отсутствию переменных - человеку (и компилятору) сразу видно как писать чтобы не было dependancies тому мешающих.

PS что мешает написать легкую машину Лабвью под GNU, и на нижнем уровне счета вписывать или вызывать С сколько хочешь, а на верхнем отлаживать общую архитектуру, чтобы все наглядно было и быстро писать.

Edited at 2016-04-10 07:19 pm (UTC)
(Reply) (Parent) (Thread)
From: anonim_legion
2016-04-11 02:55 am (UTC)
>что мешает

Религия. В Вим-е с емаксам и стрелочки рисоваться не будут. И вообще, опенсорц не умеет делать гуй.
(Reply) (Parent) (Thread)
[User Picture]From: kouzdra
2016-04-11 06:24 am (UTC)
Тут про другое речь совершенно - так-то и С это все умеет. Тут речь о том, что язычок закрывает давний геп между языками "очень высокого уровня" и железом - и кажется успешно (хоть и коряво)
(Reply) (Parent) (Thread)