[18:16:16] <vlad3> Продвигать новый язык и не выпустить сборку с ним для windows?) Забавный троллинг. “Пацаны идут к успеху“ (c)
[18:16:50] <vlad3> Если n неизвестно на этапе компиляции, то как они его собрались проверять на этапе компиляции?
[18:17:33] <valexey> vlad3: не известно на этапе компиляции, но известно что они одинаковые
[18:17:45] <valexey> там как раз проверяется
[18:17:47] <valexey> в шарпе
[18:17:52] <valexey> а в плюсах проверить не удается
[18:19:16] <valexey> ну а смысла в сборке хрома с поддержкой дарта под винды сейчас действительно нет
[18:19:31] <valexey> нужно вначале отладить все в нормальных системах, а уже потом в альтернативных
[18:19:38] <valexey> это разработка а не продвижение
[18:19:48] <valexey> продвижение будет потом, если удастся разработка
[18:45:27] <vlad3> Хоршо, как выглядит ошибка, если оно не одинаковое?
[18:45:55] <valexey> ошибка этапа компиляции - типы не совпадают
[18:46:00] <valexey> то есть хотим такой тип, а тут вот эдакий
[18:47:05] <vlad3> Как типы не совпадают, если n неизвестно?
[18:47:35] <valexey> а вот так :-) хотим A<m> а нам суют A<n> грубо говоря
[18:47:51] <valexey> ты попробуй шарповую версию собрать
[18:47:59] <valexey> я не верю что у тебя нет шарпового компилера под рукой
[18:48:04] <valexey> (даже я в линухе нашел)
[18:52:24] <vlad3> Да блин. Чувак переписал один в один код с хаскеля. В шарпе заработало, в плюсах нет. Отсюда делаются далеко идущие выводы. Никакой ценности не имеющие. Исходная задача (проверка размеронсти) на плюсах решается.
[18:52:59] <vlad3> Как только n появляется в рантайме - ошибка тоже будет в рантайме.
[18:53:00] <valexey> гм. как проверить на равенство размерности неизвестной на этапе компиляции?
[18:53:15] <valexey> тут проверяется на равенство на этапе компиляции
[18:53:20] <valexey> в рантайме никаких ошибок не будет
[18:54:00] <vlad3> Ничего там не проверяется. Нет там ввода двух размерностей.
[18:54:17] <vlad3> Вводится одна размерность.
[18:54:22] <valexey> есть :-)
[18:54:27] <vlad3> Где? :)
[18:54:27] <valexey> внутри самой этой функции глянь
[18:54:59] <valexey> return _main(n, 0, new Nil(), new Nil());
[18:55:05] <valexey> тут два вектора задается
[18:55:19] <valexey> попробуй заменить один из Nil() на что-то другое
[18:55:24] <vlad3> Внутри функции - неинтересно. Интересно IO. То, что компилятор там понаразорчаивал и сделал выводы - неинтиересно.
[18:55:32] <valexey> на какой-нибудь из Cons'ов
[18:55:58] <valexey> то есть тут вся фенечка в том, что мы не можем ошибиться внутри самой этой функции
[18:56:04] <valexey> (в плане размерностей)
[18:56:13] <valexey> просто потому, что у нас такая вот типизация
[18:56:42] <vlad3> Все равно, практической ценности - 0 :)
[18:56:44] <valexey> (что конечно не отменяет факта, что мы можем ошибиться в самой типизации :-) )
[18:57:07] <valexey> ну и что код становится не слишком поддерживаем - тоже факт :-)
[18:57:52] <valexey> vlad3: ну я про то и говорил изначально - иногда хаскелисты увлекаются непрактичной фигней, делают на ней акцент, примерно также как некоторые оберонщики акцентируются и зацикливаются на кошерных циклах
[18:58:06] <valexey> практической ценности - около нуля. зато щекочет ЧСВ
[18:59:32] <vlad3> Типа мета доказательство корректности кода - будет или не будет рабоать при любом n.
[19:00:15] <valexey> угу. я затрудняюсь сказать где такое может быть оправданно
[19:18:56] <kemiisto> .
[19:19:02] <kemiisto> http://habrahabr.ru/blogs/programming/138577/
[19:19:07] <kemiisto> не смотрел никто?
[19:19:35] <valexey> неа
[19:19:36] <kemiisto> dynamic
[19:19:42] <kemiisto> закопайте!
[19:19:45] <valexey> зато вот это вот Новость: http://www.opennet.ru/opennews/art.shtml?num=33130
[19:19:51] <valexey> надо будет защупать
[19:19:58] <valexey> ибо мне весьма злободневно
[19:21:13] <kemiisto> оно на LLVM, однако
[19:21:19] <valexey> kemiisto: "Мы продвинутые пользователи Matlab. Некоторые из нас хакеры Lisp. Некоторые питонисты, другие рубисты, есть ещё Perl-хакеры." — ты чего-то иного от этой компании ожидал? это ж все языки с динамической типизацией.
[19:21:32] <kemiisto> :D
[19:22:50] <kemiisto> да не понятно
[19:23:03] <kemiisto> возможно таки статическая с выводом типов
[19:23:35] <kemiisto> нет
[19:23:36] <kemiisto> Julia’s type system is dynamic
[19:23:59] <kemiisto> but gains some of the advantages of static type systems by making it possible to indicate that certain values are of specific types.
[19:24:10] <kemiisto> аннотации, видимо, как в пистоне
[19:24:14] <kemiisto> опциональные
[19:24:19] <valexey> угу-угу. или как в жабаскрипте
[19:24:39] <valexey> короле, это люди которые считают, что статическая типизация нужна только для повышения производительности кода
[19:24:43] <kemiisto> The default behavior in Julia when types are omitted is to allow values to be of any type. Thus, one can write many useful Julia programs without ever explicitly using types.
[19:24:53] <kemiisto> я плачу кровавыми слезами!
[19:24:54] <kemiisto> :D
[19:25:09] <kemiisto> угу
[19:25:13] <kemiisto> When additional expressiveness is needed, however, it is easy to gradually introduce explicit type annotations into previously “untyped” code. Doing so will typically increase both the performance and robustness of these systems, and perhaps somewhat counterintuitively, often significantly simplify them.
[19:25:34] <valexey> дык. я знаю этот тип людей
[19:25:50] <valexey> которые считают что типизация (даже в том виде что есть в сях) - это ОЧЕНЬ сложно
[19:26:09] <valexey> видимо какой-то отдел мозга не развит, который отвечает за типы
[19:26:55] <kemiisto> _valexey_: инфо21, перелогиньтесь! :D
[19:27:42] <info21> так лучше?
[19:27:58] <kemiisto> :-O
[19:28:01] <kemiisto> ЧОРД!
[19:28:04] <kemiisto> Я ЗНАЛ!
[19:28:07] <kemiisto> :D
[19:33:10] <info21> так вот. некоторые даже пишут монографии о типах, на вроде вот такого вот: http://www.ozon.ru/context/detail/id/7410082/?partner=info21 что лишь укрепляет в мозгах приматического большенства мысль, что типы это реально сложно, что это что-то не применимое на практике. А то, что Вирт уже более 20ти лет нашел оптимум в использовании типов в ЯП для практических задач мейнстримом игнорируется с упорством достойным лучшего применения.
[19:34:57] <info21> ну а писаки подобных "трудов" зарабатывают на своей писанине неплохо - 1400 рублей за книжку о ТИПАХ, это ж нонсенс!
[20:19:57] <vlad3> Хе-хе :)
[20:20:12] <vlad3> Зачет :)
[21:42:33] <vlad3> http://www.vesti.ru/doc.html?id=721443
[21:50:32] <vlad3> Покажите мне хотя бы одного программера, который посто так согласится отдеть управление программе? :)
[21:50:57] <vlad3> Надо топик замутить. С голосованием :) Форум такое может?
[22:21:27] <vlad3> Вбросил :)