codingteam@conference.jabber.ru

codingteam

06.11.2016< ^ >

Тема: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust, Kotlin.
Backup channel: codingteam@conference.codingteam.org.ru
HQ: https://codingteam.org.ru
Код постить сюда: http://lpaste.net/
Логи: http://tinyurl.com/ctcjr-logs
Юным погромцам сюда: http://e-maxx.ru/algo/ , а ещё читать Кнутца, Корменца, Седжвикца и др.
Morning Tsoding (вт, чт, вс, збс): https://twitter.com/tsoding
Let's Dev (когда Капитан на мостике): http://www.youtube.com/playlist?list=PLK6mcZkmN4QTusFvp_0GVtscQbCiIg81Y
http://i.imgur.com/slnyI6a.jpg

[00:13:50] dzhon зашёл в конференцию
[00:26:16] <gsomix> Minoru, ну, кстати, я погорячился про мертвый SML. Например, Standard ML of New Jersey -- очень даже жив.
[00:26:26] <gsomix> Просто непопулярен. :)
[00:26:55] <Minoru> впервые слышу :)
[00:27:38] <gsomix> Угу.
[00:30:13] <gsomix> Minoru, я думаю, что ситуация тут такая же, как с коммон лиспом.
[00:30:27] <Minoru> а что с ним?
[00:30:32] <gsomix> Про него тоже ничего не слышно?
[00:30:40] <gsomix> Ну, если только от апологетов в интернетах.
[00:31:22] <Minoru> я уже не знаю, как это мерять. Я-то среди всех этих вещей тусуюсь, мне кажется, что лисп на каждом углу вообще
[00:31:46] <gsomix> Minoru, да?
[00:32:11] <gsomix> Пример бы.
[00:32:28] <gsomix> В моих интернетах про него вообще ничего и нигде. :)
[00:32:34] <Minoru> в Grammarly юзается в продакшене
[00:33:46] <Minoru> хм, может, это нужно уже в прошлом времени говорить. Человек, который это дело там толкал, ушёл из Grammarly ._.
[00:34:42] <gsomix> Ок.
[00:34:56] <gsomix> Значит, у CL ситуация даже лучше.
[00:39:13] portnov вышел из конференции
[00:43:26] <gsomix> Minoru, ну, хотя, SML может просто быть довольно скучным языком. :)
[00:43:35] <gsomix> По сравнению с окамлом и хаскелем.
[00:50:26] <Minoru> принято говорить не «скучным», а «практичным» :P
[00:51:21] <Minoru> вот Erlang — нескучный язык. Дописал в уже существующий код строчечку, сижу теперь выясняю, где мне какие запятые переставить и скобки закрыть, чтобы оно снова начало компилиться
[00:51:39] Kumba_yo вышел из конференции
[00:53:52] <gsomix> Minoru, не знаю, что может быть практичнее Эрланга. :)
[00:55:02] m4n71k0r вышел из конференции
[01:01:28] unclechu вышел из конференции
[01:06:06] <gsomix> Hадо бы добраться до хаскеля. .__.
[01:21:48] <Minoru> ух ты, я скоро попаду в клуб «у кого за тысячу контрибуций на гитхабе» ^_^ Мотивирует чего-нить полезненького за двадцать коммитов понапилить!
[01:46:54] Kumba_yo зашёл в конференцию
[01:54:18] Kerrigаn вышел из конференции
[02:00:10] Славный капитан вышел из конференции
[02:05:52] ckorzhik вышел из конференции
[02:08:56] grouzen зашёл в конференцию
[02:30:10] dzhon вышел из конференции
[02:31:30] Kerrigаn зашёл в конференцию
[02:35:02] Minoru вышел из конференции
[03:04:08] ckorzhik зашёл в конференцию
[04:09:12] ckorzhik вышел из конференции
[04:10:05] ckorzhik зашёл в конференцию
[05:28:56] O01eg вышел из конференции
[07:15:11] rexim зашёл в конференцию
[07:18:59] ckorzhik вышел из конференции
[07:34:37] kpecmuk вышел из конференции
[07:45:20] <horta hell> @tsoding твитит: RT @codechef: That's one way to stop them. #CodeChef
Via - https://t.co/QDRiwFAmch https://t.co/htHW3CLY7b
[08:00:59] Mr.Purple зашёл в конференцию
[08:02:33] <Mr.Purple> утра
[08:15:23] <ForNeVeR> NMAKE : fatal error U1077: '(' : return code '0x2'
[08:15:45] <ForNeVeR> Опять кто-то ерунды в мейкфайл понаписал, а мне разгребать :(
[08:34:44] ForNeVeR вышел из конференции
[08:34:57] horta hell вышел из конференции
[08:40:40] rexim вышел из конференции
[08:41:00] ForNeVeR зашёл в конференцию
[08:53:10] <gsomix> Утро.
[08:55:33] horta hell зашёл в конференцию
[09:35:44] <horta hell> @tsoding твитит: Today's stream is cancelled. I'm really sorry.
[09:36:31] <Mr.Purple> гм
[10:07:01] <gsomix> ForNeVeR, https://github.com/sergey-tihon/awesome-leaving-dotnet
[10:07:28] <ForNeVeR> .\ _ /.
[10:08:23] <ForNeVeR> gsomix: выбрал два рандомных поста:
> I have bought the very top model of MacBook Air with 8 Gb of RAM
> I do NOT love being unable to get the data visualization tools to work for me as a non-Windows, non-Visual Studio user.
[10:08:29] <ForNeVeR> Макоюзеры, нытики, неосиляторы.
[10:08:39] <ForNeVeR> Не думаю, что эти люди нам в сообществе были нужны.
[10:12:55] <ForNeVeR> Прочитал остальные:
> I’m returning to my Delphi roots, and switching to Ruby (and Rails)
> мужик жалуется на то, что микрософт забросил его под виндой
> мужик жалуется на то, что Mono плохо сделали
[10:13:44] <gsomix> ForNeVeR, ладно, там есть один удачный пост.
[10:14:09] <gsomix> Про рыцарей и распределенные системы. :)
[10:14:22] <ForNeVeR> Вот я в нём вообще сути не уловил.
[10:14:45] <Mr.Purple> ForNeVeR: слышь, рыцарь
[10:17:08] <gsomix> ForNeVeR, суть простая: смотрите сколько крутых штук про бигдейта, распределенные системы и ML написал в джава мире.
[10:17:14] <gsomix> *написали
[10:17:52] <ForNeVeR> Ладно, мне это всё не близко, и потому непонятно.
[10:18:41] <gsomix> Ну так.
[10:18:51] portnov зашёл в конференцию
[10:20:00] <gsomix> ForNeVeR, там просто была хорошая мысль, что MS должно больше усилий вкладывать в F#.
[10:20:23] <ForNeVeR> Это я прочитал. И не считаю, что кто-то что-то _должен_ делать.
[10:20:36] <ForNeVeR> Тем более бесперспективна затея убедить корпорацию что-то делать.
[10:20:56] <ForNeVeR> А я вот считаю, что Oracle должен больше усилий вкладывать во Frege. И куда меня пошлют с такими заявлениями? :)
[10:23:42] <gsomix> ForNeVeR, тут ситуация немного другая.
[10:24:12] <ForNeVeR> Ну смотри. Мелкософт тебе F# не продаёт.
[10:24:21] <ForNeVeR> Вообще непонятно, зачем мелкософту нужен F#.
[10:24:39] <ForNeVeR> Поэтому я не думаю, что можно его заставить что-то делать в принципе. Удивительно, что F# до сих пор спонсируется.
[10:24:52] <ForNeVeR> А вопросы по поддержке F# и т.п. следует адресовать в FSSF.
[10:25:03] <gsomix> ForNeVeR, ну, это просто такое нытье в стиле "в MS сделали технологию X, а потом забросили".
[10:25:10] <ForNeVeR> Эти ребята заинтересованы в продвижении F# и пытаются что-то делать!Ё
[10:25:17] <ForNeVeR> gsomix: это просто такое нытьё.
[10:27:12] <gsomix> ForNeVeR, оно задевает. :) Никому не хочется вкладывать силы в том, что будет ненужно. // Если честно, то из этих постов понятно, что силы вкладывать лень вообще во что-либо. %)
[10:32:05] <gsomix> ForNeVeR, я думаю просто, что люди не понимают, как появились всякие хадупы и кафки.
[10:32:40] portnov вышел из конференции
[10:33:42] <gsomix> Что это или проекты каких-то компаний, сделанные под их нужды, или работа энтузиастов.
[10:34:03] portnov зашёл в конференцию
[10:34:04] <gsomix> ForNeVeR, но хотят, чтобы MS взяли и все им сделали. Еще вчера.
[10:34:17] <gsomix> Даже если самим MS это не очень интересно.
[10:34:22] <gsomix> И обязательно опенсорц должен быть. :)
[10:35:10] <gsomix> ForNeVeR, хотя правильные ребята, типа тех же Nessos, просто берут и делают.
[10:36:13] <ForNeVeR> gsomix: там, где другие видят недостатки, я вижу поле для улучшений.
[10:36:33] <ForNeVeR> На F# нету хадупа? Замечательно, нам очень повезло. Это значит, что мы можем его запилить!
[10:40:25] <gsomix> ForNeVeR, даже не так. Люди в этих постах почему-то рассматривают дотнет как отдельный мир.
[10:40:40] <gsomix> Хотя почти ко всем технологиям обязательно кто-нибудь написал адаптер для дотнета.
[10:41:05] <gsomix> Но это только дополнительный плач для нытья "нам нужно учить что-то еще, кроме дотнета".
[10:42:51] <gsomix> ForNeVeR, http://fsharp.org/guides/cloud/
[10:42:57] <gsomix> Офигеть сколько всего.
[10:51:57] O01eg зашёл в конференцию
[11:12:47] <gsomix> ForNeVeR, ну, и еще мне понравился вчерашний ответ Сайма.
[11:12:59] <ForNeVeR> На что?
[11:13:15] <ForNeVeR> На нервный срыв того чувака?
[11:13:20] <gsomix> ForNeVeR, да.
[11:13:42] <ForNeVeR> (чуваку я сочувствую, да и Сайм нормально ему ответил)
[11:14:04] <ForNeVeR> Нормально, но уклончиво. Мол, заняты, фичи пока не хотим вводить.
[11:15:30] unclechu зашёл в конференцию
[11:16:37] <gsomix> ForNeVeR, ну, мне нравится его текущая ориентированность на инструменты и улучшения процесса разработки языка и компилятора.
[11:17:49] <gsomix> А там, глядишь, и до тайпклассов доживем. :)
[11:18:41] <gsomix> // мне они нужны, чтобы надо мной знакомые хаскеллиты не смеялись
[11:19:48] <Mr.Purple> почему бы просто не писать на хаскеле
[11:19:51] <Mr.Purple> ?
[11:20:25] <ForNeVeR> Мне его семантика не нравится.
[11:21:04] <gsomix> ForNeVeR, Mr.Purple, и еще платформа.
[11:21:23] <ForNeVeR> А, ну да, и ещё сишные либы.
[11:21:47] <ForNeVeR> Ненавижу завязку на сишную и плюсовую инфраструктуру в других языках программирования. Простите, ничего не могу с собой поделать.
[11:22:08] <ForNeVeR> Эта инфраструктура слишком сильно фрагментирована, чтоб оно достаточно надёжно работало.
[11:22:16] <ForNeVeR> (у меня)
[11:22:23] <unclechu> я тут всё писал на днях ffi к сишным либам, успел несколько раз почувствовать себя ущербным
[11:23:36] <unclechu> но уважаемые господа с #haskell на фриноде всегда выручают, когда я уже в отчаянии
[11:24:02] <Mr.Purple> отправляют бутылку рома?
[11:25:55] <unclechu> Mr.Purple, вежливо объясняют что я делаю это неправильно
[11:26:52] <unclechu> бутылку рома я и сам могу купить, но это слишком лёгкий и бесполезный путь
[11:27:05] <unclechu> никакого вызова в этом нет
[11:31:30] <ForNeVeR> gsomix: короче, мне нравится инфраструктура F#, и я постараюсь её развитию поспособствовать. Так-то.
[11:31:42] <gsomix> \o/
[11:31:55] <ForNeVeR> А ещё я вчера попробовал собрать личкрафты.
[11:32:08] <ForNeVeR> Компилятор молотил всю ночь, сожрал весь SSD-диск и умер.
[11:32:55] <ForNeVeR> Ну, я пытаюсь поставить зависимости личкрафтов через conan. Пока на этапе сборки Qt (с бустом уже сложилось)
[11:33:46] <Mr.Purple> -_-
[11:34:03] <Mr.Purple> чтобы собраьт личкрафты надо собрать Qt
[11:34:04] <Mr.Purple> норм
[11:34:14] <ForNeVeR> Необязательно собирать, коль есть бинарный пакет.
[11:34:24] <ForNeVeR> Но под мои версии тулчейна почему-то не было.
[11:34:48] <ForNeVeR> Но conan это хендлит не очень плохо.
[11:35:13] dzhon зашёл в конференцию
[11:35:35] sss|zombie вышел из конференции
[11:53:45] kpecmuk зашёл в конференцию
[11:56:34] kpecmuk вышел из конференции
[12:08:16] ɹǝɟılʍǝu зашёл в конференцию
[12:43:07] m4n71k0r зашёл в конференцию
[13:07:49] Mr.Purple вышел из конференции
[13:12:35] Graf зашёл в конференцию
[13:12:39] Graf вышел из конференции
[13:33:01] <ForNeVeR> send/Minoru/Из README: Linux is a clone of the operating system Unix/
[13:33:02] <horta hell> ForNeVeR: Сообщение помещено в очередь.
[13:36:46] <ɹǝɟılʍǝu> ForNeVeR, lolwut
[13:38:02] <ForNeVeR> Я буду теперь считать линукс операционной системой.
[13:47:36] <m4n71k0r> утро
[13:48:02] <m4n71k0r> я тоже считаю линукс осью
[13:48:11] <m4n71k0r> потому что много кто считал, что дос - ось
[13:48:42] <m4n71k0r> но про клон юникса это сильно
[13:50:39] <m4n71k0r> Linus Benedict Torvalds is a Finnish software engineer who is the creator and, for a long time, principal developer, of the Linux kernel; which became the kernel for operating systems such as the Linux operating system, Android and Chrome OS.
[13:51:07] <m4n71k0r> есть Линукс-ведро, а есть Линукс-ось... мне этого достаточно
[13:55:19] <m4n71k0r> https://www.youtube.com/watch?v=mkVwA__Fk9g
[14:09:40] ckorzhik зашёл в конференцию
[14:22:33] m4n71k0r вышел из конференции
[14:42:05] unclechu вышел из конференции
[14:47:20] Minoru зашёл в конференцию
[14:50:44] <Minoru> ForNeVeR: холиварная это тема. Ты правильно в прошлый раз сказал: нужно выработать позицию и больше не тратить на это времени.
[14:52:09] <ForNeVeR> Minoru: я это прислал просто как забавный факт, только и всего.
[14:52:27] <ForNeVeR> Ну то есть я не считаю, что надо обратно откатывать :)
[14:53:01] <ForNeVeR> Minoru: а у нас у Кетера лицензия усохла!
[14:53:14] <ForNeVeR> В смысле, оказалось, что её и нету :(
[14:56:43] <Minoru> ай-яй-яй, игры пиратите? Нехорошо-с, нехорошо-с!
[14:56:51] unclechu зашёл в конференцию
[14:57:15] <ForNeVeR> Мы их не пиратим, мы их пишем!
[14:57:49] <Minoru> но результат-то не лицензирован! Поэтому все, кто её потом читает, правит, распространяет, запускает — пират
[14:58:18] <ForNeVeR> А мне кажется, что нет. Каждому на это было дано персональное разрешение!
[14:58:42] <Minoru> да? Где? Лицензии-то нету!
[14:59:24] <ForNeVeR> Персонально!
[15:02:10] unclechu вышел из конференции
[15:18:49] iMacDV зашёл в конференцию
[15:21:34] ckorzhik вышел из конференции
[15:22:04] ckorzhik зашёл в конференцию
[15:24:07] Kerrigаn вышел из конференции
[15:25:44] <gsomix> Minoru, тебе надо быть юристом.
[15:30:56] <Minoru> gsomix: я тоже так иногда думаю. Но пока что ничего не делаю в этом направлении.
[15:31:41] RAMZAY зашёл в конференцию
[15:34:01] iMacDV вышел из конференции
[15:34:08] <gsomix> Minoru, если серьезно, то мне кажется, что для этого нужно образование.
[15:35:49] <Minoru> м-мне тоже так кажется. Я поэтому ничего и не делаю — это же придётся помимо интересных мне авторских прав изучать ещё кучу всего разного. Олсо в разных странах разные законы, и они постоянно меняются. Непонятно, как этим заниматься не фулл-тайм.
[15:36:14] <Minoru> с программированием, вобщем-то, та же проблема… Вчера гуглил, как на Erlang писать if, потому что уже не помню.
[15:36:39] <gsomix> Ну, это ерунда.
[15:36:46] <gsomix> Я про запоминание синтаксиса.
[15:36:49] <gsomix> Кому это нужно?
[15:37:20] <gsomix> А инженерные навыки, кажется, так просто не забываются.
[15:38:16] <gsomix> Равно как и навыки разбираться в юридических ситуациях.
[15:39:57] <Minoru> запоминание синтаксиса нужно *мне*, чтобы сесть и хуячить. Хотя, конечно, можно просто потратить 10 минут на пролистывание learnxinyminutes.com
[15:42:53] <gsomix> Я к тому, что время на вспоминание синтаксиса занимает лишь малую часть от написания проекта.
[15:43:13] <RAMZAY> Пришел в офис, а тут в конферец зале движуха, двери моего депортамента на распашку, на моём личном стуле чьята куртка, джинсы и обувь, а на кухне масса всяких вкусняшек. 0_о
[15:43:37] <ForNeVeR> А зачем было приходить в офис в воскресенье?
[15:43:46] <RAMZAY> F# учить хочу
[15:43:48] <RAMZAY> дома не могу
[15:43:54] <ForNeVeR> Гы!
[15:43:56] <RAMZAY> там 5 рыл бухают
[15:44:03] <RAMZAY> и в доту играют
[15:44:04] <ForNeVeR> XD
[15:44:05] <RAMZAY> меня это бесит
[15:44:10] <RAMZAY> а я хочу код писать
[15:44:28] <gsomix> А дома тебе кто мешает?
[15:44:32] <RAMZAY> 5 даунов
[15:44:55] <gsomix> Общежитие?
[15:44:58] <RAMZAY> с пацанчиком хотим в этом месяце снять на двоих хату
[15:45:09] <RAMZAY> ноуп, сычивальеня двухкомнатная.
[15:45:12] <ForNeVeR> И будете на двоих бухать.
[15:45:33] <gsomix> RAMZAY, надо лучше выбирать соседей!
[15:46:06] <RAMZAY> gsomix: да вот лохонулся, да.
[15:46:59] <RAMZAY> Минск на столько холоден, что в окно смотрю и вижу только whitesnow и между ними рамки, забавно.
[15:47:55] m4n71k0r зашёл в конференцию
[15:49:44] <gsomix> RAMZAY, ну, расчехляй свой F#. :) Что учить-то будешь?
[15:49:49] <RAMZAY> https://pp.vk.me/c637922/v637922560/155fc/uOvOyswY2q0.jpg
[15:50:10] <RAMZAY> gsomix: я остановился на 4х ключевых концепциях F#
[15:50:24] <m4n71k0r> ɹǝɟılʍǝu: жаль, что это на основе гнутого расширения( http://cpptruths.blogspot.ru/2016/11/dependently-typed-curried-printf.html
[15:50:32] <ForNeVeR> RAMZAY: Инкапсуляция, Наследование, Полиморфизм и Страдание?
[15:50:38] <m4n71k0r> собсно, я ужо вбрасывал в телеграм
[15:51:03] <gsomix> ForNeVeR, страдание? Нытье!
[15:51:19] <m4n71k0r> разве в F# есть ООП?
[15:51:30] <ForNeVeR> А куда оно денется?
[15:51:35] <RAMZAY> https://fsharpforfunandprofit.com/posts/key-concepts/
[15:51:40] <m4n71k0r> в тартарары
[15:51:58] <ForNeVeR> RAMZAY: не вижу на картинке страдания!
[15:52:00] <RAMZAY> я тоже чот думал, что ФП и ООП вещи не совместимые... ну ок
[15:52:23] <gsomix> m4n71k0r, платформа обязывает.
[15:56:29] <gsomix> m4n71k0r, Dependently-typed? Для красивого словца?
[15:57:05] <ForNeVeR> gsomix: нет, действительно dependently typed.
[15:57:24] <ForNeVeR> Ну, типы аргументов зависят от форматной строки. Самая что ни на есть зависимая типизация.
[15:58:18] <ForNeVeR> Мне нравится, что современные языки понемногу включают в себя такого рода механизмы.
[15:58:28] <ForNeVeR> (пусть в данном случае и с гнутым расширением)
[16:00:16] <gsomix> ForNeVeR, всегда думал, что зависимые типы -- это что-то посложнее, чем определение типа с помощью константного литерала.
[16:00:51] <ForNeVeR> gsomix: определение типа с помощью константного литерала — уже элемент зависимой типизации. Примитивный, но элемент.
[16:06:36] <gsomix> ForNeVeR, сложно понять, где проходит граница. :)
[16:09:24] m4n71k0r вышел из конференции
[16:09:28] m4n71k0r зашёл в конференцию
[16:14:11] <m4n71k0r> мне просто нравится
[16:14:28] <m4n71k0r> и насрать, зависимые типы это или нет
[16:17:05] <gsomix> Ок.
[16:17:22] <m4n71k0r> а из-за того, что не приняли в стандарт этот вариант UDL, мне приходится трахаться и вообще забить на компилтайм работу со строками
[16:18:15] <ForNeVeR> А чего они не захотели принять?
[16:18:46] <m4n71k0r> я не знаю всей истории, был вроде бы нормальный пропозал
[16:18:59] <ForNeVeR> :(
[16:24:41] Kerrigаn зашёл в конференцию
[16:27:16] Kerrigаn вышел из конференции
[16:28:09] Kerrigаn зашёл в конференцию
[16:30:47] <gsomix> ForNeVeR, окей, тогда кодирование натуральный чисел в типах -- это тоже элемент примитивных зависимых типов?
[16:31:16] <ForNeVeR> Пожалуй, что да.
[16:31:44] <gsomix> Интересно
[16:35:22] <Minoru> погодите, если просто кодировать, то это не зависимые типы. Зависимые — это когда у 0 тип Zero, а у 1 тип Succ Zero, и к ним можно применить функцию + и получить снова 1 с типом Succ Zero. Разве не так?
[16:35:34] <Minoru> т.е. в зависимых типах есть связь между уровнем данных и уровнем типов. В этом же суть
[16:38:20] <gsomix> Minoru, и как описывается связь между данными и типами?
[16:38:46] <gsomix> Мне кажется, что соответствие между 0 и Zero -- это просто сахар для удобного успользования.
[16:40:21] <Minoru> gsomix: так же, как и для любых других элементов языка — что-то ты явно можешь указать, а остальное пусть компилятор выводит
[16:40:55] <Minoru> в данном случае ты можешь, например, записать несколько литералов с явными типами, а дальше использовать арифметику для получения любых нужных тебе чисел (а типы их пусть выводит компилятор)
[16:41:01] <Minoru> ну, я себе это так представляю
[16:41:05] <portnov> вывод типов для зависимых типов — алгоритмически неразрешимая задача
[16:41:06] <portnov> :/
[16:41:27] <ForNeVeR> portnov: тогда и выполнение соответствующей императивной программы тоже.
[16:41:29] <Minoru> да? Вот блин :(
[16:41:33] <ForNeVeR> Но до сих пор как-то справлялись?
[16:41:48] <portnov> ForNeVeR: да, и это называется проблема останова.
[16:41:59] <ForNeVeR> Ну, в смысле, в общем случае да, неразрешимая. Но для полезных программ скорее всего вполне себе разрешимая.
[16:42:01] <portnov> собственно, вывод типов для зависимых типов как раз к проблеме останова сводится.
[16:42:17] <portnov> существующие реализации умеют выводить типы для тривиальных случаев.
[16:42:20] <ForNeVeR> Я на это и намекаю.
[16:42:31] <portnov> во всех остальных надо типы явно выписывать.
[17:01:23] <Minoru> ого, какие вводные ролики для MOOC-ов делают: https://www.youtube.com/watch?v=TIYDi4WxQpU
[17:01:34] <Minoru> это для http://mooc.fi/courses/2016/cybersecurity/ (via schneier.com)
[17:05:52] <Minoru> никто не хочет попроходить? ↑ Говорят, 2–10 часов в неделю. Погромминг, чтение, тесты — в общем, жара. В конце даже capture the flag будет!
[17:06:25] <Minoru> первый дедлайн 13-го числа
[17:08:06] <ForNeVeR> А я рифму придумал!
[17:08:11] <ForNeVeR> Покемон — синхрофазатрон!
[17:09:37] <RAMZAY> а можно как-то string*string*string вывести через printfn ?
[17:10:01] <RAMZAY> я тут учусь в типы, и вот для теста придумал
type Person = {id: int;fio:string*string*string;}
[17:10:16] <RAMZAY> но задался вопросом, как потом отобразить fio
[17:10:24] <ForNeVeR> RAMZAY: но ты уже спрашивал! И я тебе уже говорил: %A
[17:10:38] <RAMZAY> а, тьфу ты, я чот призабыл
[17:10:50] <ForNeVeR> %A выводит что угодно.
[17:11:12] <ForNeVeR> (ну, он просто ToString() там вызывает)
[17:11:35] <RAMZAY> а, вот как
[17:11:38] <RAMZAY> а %O ?
[17:11:47] <ForNeVeR> А такое есть?
[17:11:50] <RAMZAY> tcnm
[17:11:51] <RAMZAY> есть
[17:11:57] <RAMZAY> в доках нашел
[17:12:20] <RAMZAY> оно выводит объект
[17:12:49] <ForNeVeR> j_J
[17:12:56] <RAMZAY> let p = {id=1;fio=("Victorovich","Victor","Victorov")}
printfn "(%O)" p.fio
((Victorovich, Victor, Victorov))
[17:13:30] <ForNeVeR> Ок, это %O зовёт ToString, а %A что-то ещё более хитрое делает
[17:13:40] <RAMZAY> %A выводит то же самое
[17:15:43] <ForNeVeR> sprintf "%O" [1..1000] отличается от sprintf "%A" [1..1000].
[17:15:52] <ForNeVeR> Причём ни один из них всю тыщу значений не печатает %)
[17:16:29] IPcorp зашёл в конференцию
[17:16:42] IPcorp вышел из конференции
[17:19:31] IPcorp зашёл в конференцию
[17:19:42] IPcorp вышел из конференции
[17:20:29] IPcorp зашёл в конференцию
[17:22:03] IPcorp вышел из конференции
[17:25:37] dzhon вышел из конференции
[17:46:48] ckorzhik вышел из конференции
[17:55:37] m4n71k0r вышел из конференции
[18:12:53] <Minoru> send/IPcorp/Привет! Оставайся, мы не кусаемся ;) Если покажешь какой-то написанный тобой код, даже мембера дадим, чтобы капчу вводить не нужно было./
[18:12:54] <horta hell> Minoru: Сообщение помещено в очередь.
[18:14:37] gsomix вышел из конференции
[18:17:17] <ForNeVeR> Minoru: раньше он боялся только что его мемберы покусают, а теперь ты ещё и робота на него напустил!
[18:20:50] portnov вышел из конференции
[18:20:53] portnov зашёл в конференцию
[18:22:41] <Minoru> а что делать, когда мемберы все из мяса и попросту не успевают начать диалог :(
[18:24:20] dzhon зашёл в конференцию
[18:29:29] <Minoru> блин, в курсе по теории игр от ВШЭ при пересдачах знатно ловят на мелких деталях задания. Смотришь на задачу, думаешь «о, я такое уже решал!», быстренько воспроизводишь решение — а они, оказывается, где-то одну циферку поменяли, или словечко, и от этого задача совсем изменилась. Эх!
[18:31:02] <Minoru> гг, пока я ныл, Курсера прислала письмо с темой «Don’t give up!», в котором объясняет, что штрафов за пересдачи нет и вообще пересдавать полезно, т.к. появляется повод получше повторить материал
[18:50:59] * ForNeVeR нахуячил https://github.com/codingteam/Keter/pull/66
[18:56:05] <Minoru> > .NET API design that optimizes for Programmer Joy
[18:56:13] <Minoru> ( http://www.hanselminutes.com/260/net-api-design-that-optimizes-for-programmer-joy-with-jonathan-carter )
[18:56:21] <Minoru> не слушал, но название забавное
[19:09:19] horta hell вышел из конференции
[19:09:20] ForNeVeR вышел из конференции
[19:09:20] ForNeVeR зашёл в конференцию
[19:09:22] horta hell зашёл в конференцию
[19:10:43] portnov вышел из конференции
[19:16:05] <ForNeVeR> А миксера-то сегодня вообще не было?
[19:17:17] m4n71k0r зашёл в конференцию
[19:17:48] * Minoru не видел
[19:17:50] <Minoru> .seen rexim
[19:17:51] <DeadBot> Minoru: rexim был тут 7 лет 2 месяца 17 дней 1 час 23 минуты 9 секунд назад
[19:17:55] <Minoru> гм
[19:18:00] <Minoru> эта фича вообще работает?
[19:18:29] Kerrigаn вышел из конференции
[19:18:38] <ForNeVeR> Я думаю, что нет :)
[19:19:18] <m4n71k0r> она работает, но херово
[19:20:00] <m4n71k0r> .seen Minoru
[19:20:00] <DeadBot> m4n71k0r: Minoru и ныне тут
[19:20:04] <m4n71k0r> так работает
[19:20:19] <m4n71k0r> .seen rexim
[19:20:19] <DeadBot> m4n71k0r: rexim был тут 7 лет 2 месяца 17 дней 1 час 25 минут 38 секунд назад
[19:20:39] <m4n71k0r> а так вроде бы работает, потому что секунды отщёлкивает
[19:21:49] <m4n71k0r> но в целом работает херово
[19:28:02] <Minoru> может, оно считает время с первого появления человека в чатике?
[19:28:09] <Minoru> .last rexim
[19:28:13] <Minoru> .last_seen rexim
[19:29:21] rexim зашёл в конференцию
[19:29:51] gsomix зашёл в конференцию
[19:29:57] <gsomix> .ping
[19:29:57] <DeadBot> gsomix: понг от тебя 0.54 секунды
[19:30:01] <rexim> Блядь, посоны, заебался гуглить. Подскажите как в лиспах вот такая функция обычно называется? "(defun default (x d) (if x x d))"
[19:30:22] <rexim> По-любому же должна быть такая в стандартных библиотеках
[19:31:06] <gsomix> Minoru, кажется, я понял, что ты хотел сказать. С типами можно работать как с данными, да?
[19:31:52] <gsomix> rexim, миксер-лиспер!
[19:31:57] <gsomix> Не рифмуется. :(
[19:32:38] <rexim> Я сантехник-скриптовик
[19:32:44] <rexim> В пайпах с говном копаюсь.
[19:33:48] <rexim> Ладно, я вот тоже не знаю про такую функцию. Придется эту одну строчу переизобрести.
[19:34:29] <rexim> Заверну ее в пакет, выложу на мелпы, подожду пока все завяжутся на нее и удалю.
[19:35:18] <Minoru> gsomix: нет, я хотел сказать, что для зависимых типов нужна связь между значениями и типами. Если ты просто на уровне типов там что-то вытворяешь (числа Пеано те же), то это просто type-level programming, а не зависимые типы
[19:35:38] <Minoru> но ты вот лучше Портнова слушай. Я в этой теме не разбираюсь, но что-то всё время рвусь высказаться ._.
[19:37:00] kuzy000 зашёл в конференцию
[19:37:53] <rexim> Minoru, https://s-media-cache-ak0.pinimg.com/originals/f0/a4/d1/f0a4d125717ef24de54e9c620d98e2b9.jpg
[19:40:09] <Minoru> rexim: из этого эффекта нельзя делать вывод, что если я неуверен, то я обладаю знаниями
[19:41:22] <rexim> Хорошо, что никто пока никаких выводов не сделал!
[19:41:26] <rexim> Забавно, кстати.
[19:41:48] <rexim> У меня в гзореде тимлид PhD по ML защитил.
[19:42:00] <rexim> За два года ни разу не слышал, чтобы он про мл говорил что-то. :)
[19:45:16] <Minoru> потому что http://matt.might.net/articles/phd-school-in-pictures/images/PhDKnowledge.010.jpg А во всём остальном он едва разбирается
[19:45:59] <rexim> PhD прыщик!
[19:50:07] <gsomix> Minoru, ну, этого я не понимаю. :(
[19:50:44] <gsomix> Minoru, как язык должен определить, что знак '3' -- это Succ(Succ(Succ(Zero)))?
[19:52:41] rexim вышел из конференции
[19:53:07] <Minoru> gsomix: как я уже говорил, ты для чего-то пишешь типы сам, а для остального компилятор сам уж вывести может
[19:53:58] <gsomix> Minoru, тогда у компилятора должна быть какая-то дополнительная информация о том, что есть какие-то знаки 0, 1, 2, 3, которые друг за дружкой идут.
[19:54:02] <gsomix> .__.
[19:54:16] <Minoru> ну вот я до Идриса какого-нибудь доберусь — тогда поговорим. А то я ж ведь правда ничего не знаю
[19:54:26] <gsomix> Н-но.
[19:54:28] <gsomix> :(
[19:54:38] <Minoru> что?
[19:54:52] <gsomix> Но ты уже начал что-то говорить.
[19:54:57] <gsomix> =__=
[19:55:30] <Minoru> ну дык то, что я говорю, плохо продумано и не клеится не то что с остальной реальностью, но даже с самим собой
[19:55:52] <Minoru> поэтому нужно замолчать, пойти подучиться и уже тогда рассуждать
[19:58:16] unclechu зашёл в конференцию
[19:58:30] <gsomix> Minoru, а я, может быть, когда-нибудь до F* доберусь
[20:00:35] <gsomix> Хотя, конечно, Idris даже получше будет, ибо позиционирует себя как язык общего назначения.
[20:01:54] <kuzy000> gsomix, в coq-е это вхардкожено, насколько я помню.
[20:04:17] <gsomix> Minoru, > Dependent types allow types to “depend” on values — in other words, types are a first class language construct and can be manipulated like any other value.
[20:04:25] <gsomix> Вот что я имел в виду под тем, что ты имел в виду.
[20:04:41] unclechu вышел из конференции
[20:05:40] <Minoru> учиться, учиться и учиться! А потом поговорим :)
[20:06:02] <gsomix> Minoru, а я уже читаю туториал.
[20:14:10] <m4n71k0r> когда буду реинкарнироваться, то попрошусь в миксеры
[20:14:16] <m4n71k0r> они крутые
[20:14:21] <m4n71k0r> хуярят на лиспах
[20:18:30] <gsomix> Minoru, > When displaying an element of Nat such as (S (S (S (S Z)))), Idris displays it as 4.
[20:19:18] <Minoru> где-то я это видел!
[20:21:27] <gsomix> > In Idris, types are a first class language construct, meaning that they can be computed and manipulated (and passed to functions) just like any other language construct.
[20:21:30] <gsomix> Это круто.
[20:24:15] portnov зашёл в конференцию
[20:25:05] <gsomix> Вот это основная фишка, кажется. Потому что натуральные числа и вектора со статической длиной я могу и в F# закодить.
[20:32:53] Mr.Purple зашёл в конференцию
[20:50:29] ckorzhik зашёл в конференцию
[20:58:08] IPcorp зашёл в конференцию
[21:01:46] Hippan зашёл в конференцию
[21:02:32] IPcorp вышел из конференции
[21:09:43] <m4n71k0r> kuzy000: ты ж был в плюсоконфе?
[21:13:23] <Minoru> не удаётся завлечь IPcorp к нам :(
[21:21:04] <m4n71k0r> зазываешь на великие дела?)
[21:22:04] <Minoru> ну, у нас тут весьма неплохо, почему бы и не остаться…
[21:29:19] uggur вышел из конференции
[21:29:24] uggur зашёл в конференцию
[21:29:53] <Mr.Purple> Minoru: а хто это?
[21:30:33] <Minoru> Mr.Purple: не знаю. Просто он/она заходит на пару минут и уходит, ничего не сказав
[21:34:14] <uggur> ForNeVeR: привет (:
[21:34:23] <uggur> А что там с Кетером-то на данный момент?
[21:39:45] unclechu зашёл в конференцию
[21:48:28] grouzen вышел из конференции
[21:52:51] IPcorp зашёл в конференцию
[21:54:50] <Minoru> IPcorp: поймал!
[21:54:53] <Minoru> привет :)
[21:55:54] <gsomix> Minoru, чем он тебя так заинтересовал? // меня никто так не ловит :(
[21:56:08] <IPcorp> Дароф :) Борюсь с капчей на gajime
[21:56:20] <Minoru> gsomix: свежая кровь — это всегда интересно!
[21:56:33] <Minoru> IPcorp: а вот ты покажи какой-нибудь код — и капчи больше не будет
[21:56:58] <Minoru> gsomix: тебя ловить не нужно, ты дисциплинирован и сам приходишь ^_^
[21:57:25] <Minoru> IPcorp: я сомневаюсь, что это ты https://github.com/IPcorp У тебя есть профиль на GitHub?
[21:58:00] <IPcorp> профиль есть, ток там ниче нет...пока
[21:58:26] <Minoru> :(
[21:58:36] <Minoru> а на чём ты вообще пишешь? Чем интересуешься?
[21:59:03] <Minoru> нам самим, как можно понять по топику, интересно почти всё
[21:59:15] <IPcorp> а хотя не, есть один скрипт, приватный...рекламу резал на сизонваре...ток ужо не валидный
[21:59:38] <IPcorp> интересуюсь всем по немногу
[22:00:08] <Minoru> скрипт? Ты, наверное, про пользовательский стиль для Stylish?
[22:00:35] <Minoru> ну, можешь последнее заинтересовавшее назвать, а там куда-нибудь вырулим
[22:00:42] <gsomix> IPcorp, линейной алгеброй интересуешься?
[22:01:24] <Minoru> у нас просто есть организация на GitHub — https://github.com/codingteam — и там куча всяких проектов, которые мы совместно (но очень медленно) пилим. Может, тебе что-то приглянётся
[22:05:41] <IPcorp> отвлекли...спс, у мну времени пока в обрез, может позжей...есть такой двиг, Urho3D, только начал с ним разбираться, cmake пытаясь осилить параллельно
[22:08:51] <Minoru> хм, игрушек в 3D у нас нет. Зато у нас есть Keter: https://github.com/codingteam/Keter
[22:17:20] Kerrigаn зашёл в конференцию
[22:17:38] unclechu вышел из конференции
[22:19:22] <portnov> Minoru: а вот если бы у рыб была шерсть, ...
[22:22:41] <Minoru> portnov: я эти твои проверки «свой-чужой» без помощи Интернета в жизни бы не прошёл. А анекдот хороший, да
[22:23:05] <Minoru> Форневерик же хочет увеличивать visibility и подымать publicity — вот, пытаюсь помочь, направив новичка к нашим проектам
[22:23:09] Kerrigаn вышел из конференции
[22:24:13] <Minoru> олсо пока гуглил, открыл Ответы@Mail.Ru… У меня теперь рак троеточий…
[22:28:46] grouzen зашёл в конференцию
[22:31:09] <Minoru> m4n71k0r: кстати, блогопост про printf, на который ты ссылался, начинается с цитаты abstract с ICFP'2106. Tomorrow's technology today!
[22:32:23] <kuzy000> m4n71k0r, давно
[22:33:22] kuzy000 вышел из конференции
[22:36:27] kuzy000 зашёл в конференцию
[22:39:15] IPcorp вышел из конференции
[22:42:23] Minoru вышел из конференции
[22:42:38] <m4n71k0r> юыуут кучшь
[22:43:09] <m4n71k0r> не дружит пунтосвичер с личами)
[22:50:35] portnov вышел из конференции
[22:55:27] uggur вышел из конференции
[22:55:35] uggur зашёл в конференцию
[23:01:27] RAMZAY вышел из конференции
[23:12:12] Mr.Purple вышел из конференции
[23:21:06] <m4n71k0r> ɹǝɟılʍǝu: https://github.com/RamblingMadMan/dbpp
[23:21:34] <ɹǝɟılʍǝu> m4n71k0r, выглядит вкусно.
[23:21:35] <m4n71k0r> на основе энтого https://github.com/irrequietus/typestring
[23:21:47] <m4n71k0r> я хз зачем оно)
[23:21:53] <m4n71k0r> видимо как зарядка для ума)
[23:22:33] <m4n71k0r> хотя... база в компилтайме?
[23:22:41] <ɹǝɟılʍǝu> m4n71k0r, обличная идея!
[23:25:27] <m4n71k0r> блин, минорычу надо показать https://github.com/nlohmann/json/releases/tag/v2.0.7
[23:25:39] <m4n71k0r> чувак прочитал http://seriot.ch/parsing_json.html
[23:26:05] <m4n71k0r> считаю, что https://github.com/nlohmann/json почти идеален
[23:29:51] Kerrigаn зашёл в конференцию
[23:30:53] Kerrigаn вышел из конференции
[23:30:58] Kerrigаn зашёл в конференцию
[23:31:31] Kerrigаn вышел из конференции
[23:35:01] <m4n71k0r> $send Minoru чувак\ прочитал\ http://seriot.ch/parsing_json.html\ и\ теперь\ у\ нас\ есть\ почти\ идеальная\ либка\ для\ жсона\ https://github.com/nlohmann/json/releases/tag/v2.0.7
[23:35:02] <horta hell> m4n71k0r: Сообщение помещено в очередь.
[23:35:19] <m4n71k0r> пзц как неудобно
[23:54:02] Constverum зашёл в конференцию
[23:56:47] ckorzhik вышел из конференции
[23:59:24] <gsomix> m4n71k0r, годно.