[07:36:25] <geniepro> _valexey_: в F# есть "Единицы измерения (units of measure)", "Активные шаблоны (active patterns)", "Средства для параллельного программирования", дотнетные либы всякие...
[07:39:43] <geniepro> _valexey_: и кстати, с чего ты решил, что в F# нет модулей? о_О F# же просто расширение окамля
[07:39:52] <geniepro> http://www.tutorialspoint.com/fsharp/fsharp_modules.htm
[07:42:57] <geniepro> NEW> а что там было?
да какой-то даунито, мнящий себя либералом, борцуном за правду, воинствующим атеистом, а на деле просто очередной агент госдепа, даже если он сам об этом и не знает ещё, решил устроить провокацию, что бы заставить власти отменить закон о разжигании религиозной розни, а его закрыли.
вот только я не понял -- правда то, что его, обдолбанного наркотой, сняли с несовершеннолетки, так же обдолюанной наркотой. вначале эту тему подняли, а сейчас не вспоминают, почему-то
ещё он экстремистский журнальчик печатает типа чарли хебдо...
[07:44:21] <geniepro> vlad2> geniepro: я чего-то такое уже видел - мототележка с крышей, на крыше солнечные батареи.
это же конкурент масковских тесл! вот только сможет ли это конкурировать с китайскими аналогами -- хороший вопрос...
[07:44:57] <geniepro> _valexey_: http://fprog.ru/2010/issue5/maxim-moiseev-et-al-fsharp-intro/
[07:48:49] <geniepro> _valexey_: https://en.wikibooks.org/wiki/F_Sharp_Programming/Modules_and_Namespaces
[07:52:00] <geniepro> насколько я помню, модули F# не могут быть параметрическими, но если я не ошибаюсь, параметрические модули ML-языков -- это просто параметризованные структуры, а не модули в смысле модульных языков типа того же оберона или ады (generic package)
[07:53:31] <geniepro> _valexey_> есть .net зависимость.
а какая платформа тебе нужны? F# вроде и под Mono есть
[07:54:21] <geniepro> https://habrahabr.ru/post/114541/ "Выпущено Mono 2.10 – F# в комплекте"
[07:55:43] <geniepro> http://fsharp.org/use/linux/
[07:57:06] <geniepro> http://benchmarksgame.alioth.debian.org/u64q/fsharp.html
[08:19:24] <geniepro> http://img.ifcdn.com/images/c91092d5e47d4466b4f9b56489bb48f2edb0b14c71d85f10ffac59bb4854b44d_1.gif
[09:51:24] <_valexey_> Мне нужен нативный бинарь :-)
[09:52:23] <_valexey_> В камле структуры но это модули :-)
[09:53:33] <geniepro> если нужна нативность -- забудь нафиг про ML, юзай хаскель -- это перспективнее
[09:54:00] <geniepro> от окамля ты плеваться будешь куда сильнее, чем от хаскеля
[09:54:24] <geniepro> и да, а чо там с Го? ты же им увлекался вроде
[09:55:08] <_valexey_> Я им никогда не увлекался, я его просто использую по работе
[09:55:11] <_valexey_> ТАКИМ увлечься сложно
[09:55:48] <_valexey_> Хаскель слишком сдвинут на чистоте ленивости и иммутабельности
[09:56:24] <_valexey_> Хаскель не выглядит практичным
[09:56:54] <geniepro> ну, чистота и иммутабельность -- это одно и то же, а ленивость можно там не использовать, если не хочешь -- просто придётся почаще ставить аннотации строгости
[09:56:55] <_valexey_> А почему с камла плеваться буду?
[09:57:40] <geniepro> _valexey_: http://vshabanov-ru.blogspot.ru/2007/04/ocaml-haskell.html
[09:58:04] <geniepro> не та статья (
[09:58:49] <_valexey_> Попробую камло для околочислодробильных задачек :-)
[09:59:01] <geniepro> короче, этот Шабанов делали игрушки на Окамле, потом попробовал хаскелл и сказал что зря терял раньше время
[09:59:45] <_valexey_> Шабанов тем не менее сейчас ваяет языкина базе stdml
[10:00:19] <geniepro> числодробилки всё же лучше на сях, наверное
[10:00:44] <geniepro> впрочем, прога на хаскелле может содержать в себе сишные файлы, так что можно совмещать
[10:00:54] <geniepro> будет один экзешник
[10:01:30] <geniepro> _valexey_> Шабанов тем не менее сейчас ваяет языкина базе stdml
что за язык?
[10:02:29] <_valexey_> Доберусь до компа - кину ссыль
[10:02:45] <_valexey_> Частков через 8 ;-)
[10:03:06] <geniepro> ну хоть ключевые слова для поиска какие?
[10:04:24] <_valexey_> Он для веба его делает
[13:07:44] <geniepro> http://varlamov.ru/1931090.html "Почему американцы ненавидят русских?"
"Постоянная пропаганда антироссийских настроений перешла и на бытовой уровень. Простые американцы винят во всех своих бедах русских. Нет работы? Путин виноват. "Почему?" – спрашиваю я... Как почему?! Он втянул Америку в войну с ИГИЛ, и теперь все деньги налогоплательщиков уходят на внешнеполитические игры Обамы, а простым американцам живется всё хуже.
Дошло до того, что люди уже боятся говорить, что они из России. Обычно говорят "из Восточной Европы" или "из Украины". Иначе можно получить по лицу."
[13:39:52] <geniepro> _valexey_: http://maxim.livejournal.com/393605.html "Полиморфизм параметров в OCaml"
"Вывод
Я попробовал написать простую функцию show на OCaml и понял наконец всю мощь классов типов языка Хаскель. До этого было впечатление, что круто, но не так понятно на сколько :-) По ходу решения задачи нашел неплохую библиотеку deriving которая позволяет создавать типы поддерживающие несколько модульных сигнатур и эмулирующая Хаскелевский deriving."
[14:14:01] <valexey> geniepro: http://www.impredicative.com/ur/
[14:14:37] <geniepro> Ur/Web что ли? это же не его проект, он его просто использует в своей веб-читалке
[14:19:08] <valexey> он туда комиттит периодически
[14:19:35] <valexey> а читалка разве не на хаскиле?
[14:20:35] <geniepro> серверная часть на хаскеле, веб-интерфейс на Ur/Web
[14:20:45] <geniepro> вроде так
[14:22:13] <geniepro> ну ур-веб всё-таки специфический язык для генерации вебсайтов, так что всё-таки это сравнивать с окамлем или хаскеллем не стоит
[14:23:11] <geniepro> вот кстати, ты же лет 5 назад грозился свой форумный движок написать -- вот на урвебе написал бы ))
[14:23:35] <valexey> ну, у камла тоже есть херня для веба
[14:23:50] <valexey> надо вот урвеб посчупать тоже будет
[14:24:05] <valexey> он вроде и для серверсайда и для всего остального
[14:24:34] <valexey> Вот камловое: http://ocsigen.org/
[14:25:29] <geniepro> таких оксигенов для хаскеля вагон и маленькая тележка, и всё какое-то малоюзабельное ))
[14:25:45] <geniepro> хотя сделали же вебсреду для разработки программ на хаскелле
[14:26:20] <valexey> дык и для камла есть вроде
[14:26:31] <valexey> короче, надо счупать
[14:27:06] <valexey> конечно во всех этих язычках напрягает полное отсутствие RAII
[14:27:16] <valexey> как манаджить сторонние ресурсы - хз.
[14:32:14] <valexey> числа в камле конечно через какую-то странную жопу хранятся.
[14:33:25] <geniepro> математика на окамле тебя напрягать будет -- там операции для целых чисел и вещественных вроде разные
[14:33:51] <geniepro> типа 1 + 2 и 1.5 +. 2.0
[14:42:40] <valexey> ну это понятно, и это кое-как лечится
[14:42:51] <valexey> та же проблема с операциями для матриц например
[14:43:01] <valexey> и вообще с "перегрузкой операторов"
[14:43:12] <valexey> следствие отсутствия type classes like in Haskell
[14:43:34] <geniepro> будешь делать аналог классов типов для окамля? )))
[14:44:02] <geniepro> все начинабщие камлеры это делают, и ты тоже должен ))
[14:44:04] <valexey> не, там есть другое решение :-)
[14:44:16] <valexey> более дубовое, более напрягающее, но простое
[14:45:49] <geniepro> твои страхи перед хаскеллем надуманные -- у меня уже несколько лет крутятся пара прог на хаскелле (простенькие, конечно, но всё-таки) круглосуточно, одна из них месяцами не перезапускается -- всё норм, никаких проблем
[14:48:28] <valexey> если бы я не пробовал хаскель, так можно было бы сказать :-)
[14:48:56] <geniepro> ну а что ты на хаскелле делал-то хоть?
[14:49:46] <valexey> однако я пробовал на нем писать - это не эффективно. почти все алгоритмы которые мне нужны - требуют мутабельных массивов и много чего еще такого "грязного"
[14:50:04] <valexey> поэтому хаскель это хорошо, но идет пока нафиг :-) по крайней мере пока я не обламаюсь с камлом.
[14:50:11] <geniepro> юзай яистые функциональные алгоритмы )))
[14:50:46] <geniepro> на хаскелле вообще стоит делать главную бизнеслогику, а всякие там специфические расчёты уж тогда на сях
[14:52:01] <valexey> функциональные алгоритмы менее эффективны и более ограниченны
[14:52:05] <valexey> поэтому идут нафиг :-)
[14:52:58] <geniepro> нифига ты не понимаешь! у них амортизированная сложность как у императивных ))) так что в среднем будет не хуже ))
[14:53:22] <geniepro> самое галвное на хаскелле труднее сделать неправильный алгоритм
[14:53:26] <geniepro> главное*
[14:54:32] <geniepro> и вообще, у тебя что, zx-spectrum что ли, что бы об эффективности думать? фя позволяют делать более совершенные алгоритмы, которые рвут все эти эффективные, но дурные алгоритмы на ия
[14:54:37] <valexey> согласен. на хаскеле труднее сделать любой алгоритм, в том числе и неправильный :-)
[14:54:50] <geniepro> правильный -- легче )
[14:55:10] <valexey> дык, этта.. об эффективности нужно думать всегда :-)
[14:55:19] <valexey> разница даже в два раза - это очень большая разница.
[14:55:29] <geniepro> ... в последнюю очередь!
[14:55:32] <valexey> 30 fps и 15 fps - легко заметная разница :-)
[14:55:48] <valexey> если алгоритм медленен (медленнее в два раза, ога), то он не корректен.
[14:56:07] <geniepro> ну так сделай другой алгоритм, который будет быстрее!
[14:56:33] <valexey> на хаскеле не выйдет - это сволочь слишком чиста и ленива
[14:56:46] <geniepro> так ты и не пробовал просто ))
[14:57:04] <valexey> /me вспоминает быструю сортировку на хаскеле
[14:57:18] <geniepro> ну и в конце концов если ты уверен что твой сишный алгоритм верен -- просто подключи его к хаскельному проекту! даже не надо dll никаких
[14:58:25] <valexey> на сях пусть оберонщики пишут.
[14:58:33] <valexey> я лучше на плюсах - это быстрее и безопасней :-)
[14:59:10] <geniepro> плюсы вроде тоже можно подключить к хаскельной проге -- архиватор фриарк был написан на хаскелле и с++
[14:59:38] <geniepro> правда там пришлось к gcc который в ghc добавить экзешники g++
[15:00:12] <valexey> бгг
[15:00:25] <geniepro> ну заработало же!
[15:00:36] <valexey> не, нафиг-нафиг. хочу энергичного императивного ФП!
[15:01:02] <geniepro> ну если дотнет невариант, то тогда эрланг остаётся )))
[15:02:52] <valexey> на еарланге я ваще по работе писал. :-) он ну совсеем про бузинесслогику :-) и он совсееем не нативный. да еще и динамиццки типизированный. так что нахрен его.
[15:12:33] <valexey> geniepro: а что ты имеешь против камла что аж ерланг советуешь? :-)
[15:13:34] <geniepro> окамль ацтой! даже эфшарп оказался ацтоем, а ведь эфшарм -- это окамль++
[15:15:44] <valexey> фшарп аццтой просто потому. что мелкософт аццтой всегда и везде
[15:15:48] <valexey> так что не показатель :-)
[15:16:10] <geniepro> да нет, эфшарп реально круче окамля
[15:17:59] <valexey> чем?
[15:18:43] <geniepro> ваще всем )))
[15:19:10] <geniepro> реально я на окамле не работал, так что подробно не отвечу, но окамль ацтой )))
[15:19:37] <valexey> рабинович напел? :-)
[15:20:07] <geniepro> не только -- многие )))
[15:20:34] <geniepro> да как можно работать на языке, в котором нет классов типов и куча арифметических поераций для разных типов чисел? ))
[15:20:57] <valexey> а в фшарпе типо это всё есть?
[15:21:38] <geniepro> ну, классов типов нет, да, потому эфшарп хоть и ацтой менее, чем окамль, но тоде ацтой ))
[15:21:42] <geniepro> тоже*
[15:22:59] <geniepro> самый главный недостаток для меня у таких языков как эфшарп или окамль -- это то что программа там идёт сверху вниз, связанная всякими and-ами, бесит!!! если бы ещё номаре строк требовали -- ваще бейсик 60-х годов был бы
[15:23:15] <geniepro> потому я от эфшарпа ушёл на сишарп там где нужен дотнет
[15:23:23] <geniepro> на сишарпе и то такой фигни нет
[15:23:37] <geniepro> но на сишарпе нет алгтд ((( тоже ацтой
[15:23:53] <geniepro> всё ацтой!!!!
[15:27:44] <valexey> погодь, а разве в фшарпе не пофиксили это?
[15:27:59] <valexey> или там просто избавили от двойных ;; в конце каждой строчки?
[15:28:39] <geniepro> там многое улучшили по сравнению с окамлем, но при этом совместимость с окамлем зачем-то тоже оставили -- типа как будто на окамле горы полезного кода есть о_О
[15:28:42] <geniepro> https://www.facebook.com/photo.php?fbid=1047145142005974&set=a.726307730756385.1073741867.100001314936250&type=3
[15:29:20] <geniepro> но вот эта фигня -- тот самый главный недостаток -- это принципиальная фишка ML-языков
[15:30:26] <valexey> это ты про сверху-вниз, или про операторы?
[15:30:43] <geniepro> про сверху вниз
[15:30:55] <geniepro> а операторы в эфшарпе нормлальные
[15:31:09] <valexey> в камле меня больше напрягает, что оно молча переопределяет переменную или функцию. вначале у тебя Foo было числом, а потом бац, и уже функция или там строка
[15:31:11] <valexey> и всё ок
[15:31:31] <valexey> хренов repl придет даже когда не просишь :-)
[15:31:41] <geniepro> это как так? о_О
[15:32:51] <valexey> да вот так
[15:32:59] <valexey> дважды с одним и тем же именем можно определить
[15:33:06] <valexey> действует то, что позже :-)
[15:33:14] <geniepro> о_О вот же ацтой )))
[15:33:28] <valexey> вот это - реально бесит.
[15:33:43] <geniepro> ну, типа такого есть в хаскелле в блоках do
[15:34:01] <valexey> более того, когда ты говоришь open something; (аля импорт, ога) несколько штук, то оно там друг на друга также накладывается :-)
[15:34:06] <geniepro> но там это во вложенные лямбды превращается
[15:36:53] <valexey> ну, одно дело do-блок, другое дело global scope :-)
[15:41:18] <geniepro> долбанная студия 2015 -- постоянно какие-то баги
[15:43:39] <valexey> нинужна!
[15:43:53] <valexey> как и всё, что мелкософт создал!
[15:48:12] <geniepro> а как же винда и IE? о_О нужно же ))
[15:49:34] <valexey> IE не  нужно, про это даже мелкософт говорит :-)
[15:49:42] <valexey> ну а винда - это ж маздай по определению :-)
[16:02:33] <TRUE> "яистые функциональные алгоритмы" - вся суть программирования на ФП.
[16:51:22] <valexey> ФП нужно, но нужно чтобы ЯП позволял императивные алгоритмы легко писать императивно, ибо императивно в данном случае будет декларативно
[19:08:22] <valexey> > в F# есть "Единицы измерения (units of measure)"
[19:08:29] <valexey> они бесполезны для физиков и физ. рассчетов
[19:08:45] <valexey> > "Активные шаблоны (active patterns)"
шо за хрень?
[19:09:00] <valexey> а средства параллельного программирование и в окамле есть :-)
[22:15:52] <valexey> "Будь я менеджером, я б лично по пальцам бил кувалдой тем кто хочет интенсивно использовать haskell в проекте (кроме как для упомянутых прототипов и утилиток).
Потому что если моего замечательного программиста-хаскеловеда переедет каток или он захочет найти другую работу -- найти ему замену будет или просто нереально или нереально дорого. "
[23:07:42] <valexey> новый iPhone! Все уже заказали?
[23:51:07] <valexey> информативность ошибок у компилятора камла потрясающая
[23:51:09] <valexey> File "hello.ml", line 9, characters 0-12:
Error: Syntax error
[23:51:17] <valexey> мне это что-то напоминает :-)