Всем привет. Не уверен, смогу ли сегодня слушать live версию, но Света однажды просила напомнить вопрос про отличие CTO от инженера-нерда. Маякните об этом, если сегодня будет 2 часть рассказа про лондонские путешествия, ладно? :)
@fomkin :wave:
О, привет, я таки здесь буду.
А что, сегодня Светы не будет?
нет скорее всгео
Только сейчас подсоединился
а кто в гостях?
А Саша, Ваня - будут?
Саши тоже не будет, Ваня вот пришёл
Эхо
Это который Королёв?
не знаю, скрывают
Кстати, а нету возможности слушателям посмотреть темы?
4.2
Скандалы! Интриги! Расследования! В подкасте devzen отлавливают котят в прямом эфире! Шок!
Превет )
можно
Можно провести опрос
ха, а и правда нет удобного числа в чате. вроде был раньше...
Эхо от гостя
Опять эхо
пропало
Спалили, что такое devzen desktop :)
нет :D
подстартеры про кастап
обновление во время эфира - что может пойти не так? :)
А оно на Python будет написано, с каким-нибудь QT, да? :)
на Electron
тогда эфира может и не быть
Потом будут жаловаться, что 15% CPU съедает этот ваш DevZen Desktop
только на маках
15 это по-божески :)
алсо, там курсор через CSS анимацию был сделан
лол
нынче конечно вим питоновский открывается N секунд
Ребята как раз на маках сидят, как я понимаю
скала точно есть
надо их найти
что за питоновский вим? саблайм что ли?
он на плюсах же
сайблайм на сях написан, на питоне только плагины
ну или плюсы, да
А нельзя бота написать, который сам записывать будет? Смотрели в это направление?
Сменить wi-fi channel ...
губкабоб-консенсус
Ways to do things с Go-митапа
https://github.com/peterbourgon/ways-to-do-things
https://github.com/peterbourgon/ways-to-do-things
Видео не было?
и в Elm
особенно весело туда бросать линзы
Как тогда найти его?
Канала для закрытия не хватает? : )
Yaay!
Митап - Школа CTO в Минске
https://www.facebook.com/events/316740532062482/
https://www.facebook.com/events/316740532062482/
Релиз scala-native http://www.scala-native.org
МимимиZen
помогло)
скорее минус...
А в чем смысл Scala Native? Только скорость компиляции и отказ от JIT в пользу AOT?
"только"?
писать под мобилки?
Скорость как раз не компиляции, а исполнения
Компиляция-то медленная
Ну прогретый JVM не самый медленный AFAIK
сейчас уже обратно JIT впиливают
в 7+ при старте AOT частичный, а потом ещё на ходу под-JIT-ивают
если работаешь на пределе объемов памяти, то Java вообще не вариант
и по сравнению с Kotlin...
я так понимаю если работаешь на пределах и с большим молодым поколением
jvm нормально стартует, если Spring не использовать )
так а сборка же осталась в скаланейтиве? Т.е. проблема "работы на пределе памяти" там как раз сталась
если у тебя маленькое молодое поколение, то у тебя программа ничего не делает
может быть основная часть данных ридонли
например инмемори дб с нагрузкой в 99% чтений
stringy types и boolean blindness :)
что такое boolean blindness?
Переход к более самодокументированному коду через крутую типизацию :+1:
(не про boolean blindness)
Запахло Idris
и с диким временем старта
@gliush boolean blindness — это писать if вместо match
метко!
...и тут ты берешь котлин
в новый проект нельзя тащить больше одного нового клубочка
оценка 2
@wiz :thumbsup:
дома не считается. обычно там нет такого скейла, как в проде
Нужно ж откуда-то начинать; как начинать проект на новой технологии, если ты никогда с ней не работал?
но нормальный опыт можно только на проде получить, да
угу. и выучиться на database removal engineer
PG Logical Replication from the Java client
https://jdbc.postgresql.org/documentation/head/replication.html
https://jdbc.postgresql.org/documentation/head/replication.html
shit happens, нужно учитывать риски :shrug: но опыт на продакшне ты не получишь без возможности продать технологию менеджменту , а продать ты не сможешь её не трогая дома
собирал монадки
собирал монадки, я правильно услышал?
монадки!
хаскелисты триггернули?
если бы
в скале тоже есть
Functional Programming considered harmful или Паралич Функционального Программиста
https://medium.com/@rulexec/functional-programming-considered-harmful-21485826ad4#.xinmp2vu6
https://medium.com/@rulexec/functional-programming-considered-harmful-21485826ad4#.xinmp2vu6
с финализатором в смысле
https://hackage.haskell.org/package/resourcet-1.1.9/docs/src/Control-Monad-Trans-Resource.html - ресурсменеджер здорового человека
+1 PureScript
он мог взять ramda
или ещё что-то такое
Type script функцинальный?
я думал это аналог джавы на фронте
Слышал, что в TypeScript есть проблемы с написанием работающего кода, и типы не спасают. но нужен эксперт :-\
так а как его проект называется ?
Егора
ничего не знаю, у меня тайпскрипт получается готовить с первого раза
eo-lang
почти в стиле х-я "типы сошлись - отладка не нужна"
проектом назвато сложно
http://www.eff-lang.org - язык с эффектами на уровне first-class citizen
Это баян (извините)
...как idris, purescript
Вкратце - эффекты эти в eff-lang могут осилить ContT, который не алгебраический эффект?
А то на сайте у них там ссылка на Algebraic Effects and Handlers.
нормальный звук
более-менее
3 months of Go from Haskeller's perspective
https://www.barrucadu.co.uk/posts/etc/2016-08-25-three-months-of-go.html
https://www.barrucadu.co.uk/posts/etc/2016-08-25-three-months-of-go.html
ни единого разрыва
Свободные монады : Монады
Списки : Моноиды
Списки сохраняют моноидальную структуру, а потом можно сделать mconcat
Свободные монады сохраняют монадическую структуру (дерево bind-ов), а потом их можно retract
у меня не разрывы но явное проседание битрейта периодически было.. ща нету
Го глазами растамана... я понимаю о ком это, но звучит все равно очень забавно.
"конец немного предсказуем"
Только гостя.
у меня всех нормально слышно
Строгие языки = некомпозируемые функции
И нельзя свои short-circuiting операции писать (только через всякие
() -> a)
ахаха
вам не нужна система типов, если у вас нет типов
И генериков нету...
И ещё раз нету...
ну для кодогенерации нужны минимальные типы чтобы рантайм-представление выбирать
это не совсем то что подразумевается под типами и стат. гарантиями
Вообще Go весёлый язык, надо возвращать тип-произведение когда мы хотим вернуть тим-сумму, лол
ну зависимые произведения вполне эмулируют суммы хехе
сложное что-то тут рассказываешь
Ты что, это элегантное решение, вот в ваших Haskell есть sum-типы и product-типы, а в Go можно только product-типы изучить и уже язык знаешь
и
interface{}
удобно
зато понятно каждому
Changes I would make to Go
http://sitr.us/2017/02/21/changes-i-would-make-to-go.html
http://sitr.us/2017/02/21/changes-i-would-make-to-go.html
будут any везде
ну вот диалайзер в эрланге/эликсире оно часто можёт в хорошее
Говорят в пайтоне тоже типов-сумм нету
тесты это exists, а не forall
100% test coverage не означает правильность работы
Говорят в пайтоне тоже типов-сумм нету
ты можешь сделать массив из объектов класса Банан и класса Линза — оно тип-сумма с этой т.з.
100% в хаскеле нет
сделать можно но продакшеонисты будут плеваться поскольку грязно нахакать нельзя
-Wall в хаскеле очень выручает
"в компиляторах баги" - и не говори, на GHC 8 смотреть больно
В принципе можно и в Go возвращать отовсюду
interface{} и ручками проверять ошибка там вернулась или значение.
и на сами тесты написали тесты
@sirikid там свитч на тип есть, может сработать
ну спеки на спеки и в завтипах писать надо, шах и мат!
@wiz Ну на типы мы же пишем типы (кайнды т.е., и дальше по юниверсам). Логично тесты на тесты
юниверсы это не то
имеется ввиду что ты типы можешь написать не те что нужны
universe levels, Set_0, Set_1, Set_2, etc (в Agda-терминах)
и энфорсить не тот инвариант
это не спеки на спеки
я еще слышал: "Генерики - это оверинжениринг"
и пхп
ну сишники с
void* да, против генериков
это я от гофера слышал
тесты на тесты кстати существуют: раннер меняет тестируемый код и проверяет, что тесты не прошли, не помню как называется правда
@nponeccop Простой пример -
Int Maybe это невалидный тип, а Maybe Int валидный, чем не типизация для типов?
Если у типов есть типизация, значит у тестов должно быть покрытие тестами
Про спеки понятно, что это отдельный разговор
Обобщенный вектор на си: https://habrahabr.ru/post/324210/
и питон 5
ой, не надо про 5 питон, у нас до сих пор не могут основной проект на 3 перенести :(
по-моему начали ходить кругами
Почему для этих DSL-ей нужны free-монады то? Если не нужна интроспекция самого кода, то можно MTL-style классами обойтись
dependency injection, если вы фронтендер
ну что значит "нужны". Можно и экспрешен проблему не решать. В каждом индивидуальном случа инженер решает что юзать.
Free-монада для этого не нужна, она только performance issues тащит
Это freer ака коденсити
У нее константные факторы так себе
ой ну это совсем уже педант моде он, и мы отвлеклись
how do you guys get anything done? — переписать кодобазу с Хаскелла на Го. или не переписать
https://www.reddit.com/r/haskell/comments/5wb5qw/how_do_you_guys_get_anything_done/
https://www.reddit.com/r/haskell/comments/5wb5qw/how_do_you_guys_get_anything_done/
А Света сегодня выйдет? :)
On the bright side #haskell is very welcoming and helpful. Thank god for that.
This codebase I've inherited does I/O during compile time. How is that even possible???
"ну во-первых это красиво"
читабельность? если там название менее 20 символов
односимвольные то ещё ничего... а вот нольсимвольные...
(point-free)
ну там есть композиционный стиль
J. DeGoes писал, что если у вас человечные имена переменных, то вы недостаточно влезли на лестницу абстракции
когда ты типа лепишь колбасу из "глаголов"
а есть поинтлесс стиль :)
А хороший стиль - это когда каждый аргумент функции свой тип имеет отдельный, иначе
newtype надо.
Потому что можно местми перепутать и страдать.
да даже разные "слепые" типы тоже лучше обернуть
как насчет функции, принимающей 2 инта? keyword arguments отлично заходят против этого, но не везде есть
Ну да, типичный паттерн
newtype IsFoo = IsFoo Bool
ну в HOOPL есть функция принимающая OldFact и NewFact
чтобы не перепутать где какой
@nlyubchich keyword arguments хороших в Haskell не хватает, да
а то будет
init :: Text -> Bool -> IO (Either Int Float) и что туда совать..
и
go
Нет, но встречал.
hwndMainWindow
в хаскеле часто этот гуляш в именах полей рекордов
data SomeType { stThis :: (), stThat :: () }
в С++ иногда виндопрограммисты юзали 10 лет назад
на Haskell если честно полезна иногда венгерская нотация
+1 про имена полей и префиксы в целом
А ещё есть Ruby и Perl, в них от префиксов много зависит
например
case mFoo of
Nothing -> ...
Just foo -> ...
префиксы как способ решить проблему неймспейсов
чтобы имена
mFoo и foo не конфликтовали
а ведь
m for Maybe
венгерщина
митап ruHaskell
https://events.kaspersky.com/event/ruhaskell2
https://events.kaspersky.com/event/ruhaskell2
Или вот
x xs тоже сорт венгерской нотации, s означает []
skobki?
list
Я думал это от способа образования множественного числа
это скорее h:t
@sirikid Конечно от множественного числа, но по факту множественно число = список
или что-то ему изоморфное
ну список это абстракция множественного числа, да :)
а запись будет?
CodeFest 2017
https://2017.codefest.ru
https://2017.codefest.ru
Темы слушателей
http://devzen.ru/themes-0135/
http://devzen.ru/themes-0135/
Писали, что только под маком, нет?
накатить линукс поможет, потому что бага только на маке
накатить виндовс
Фокус на окно VS Code должен быть для репродьюса бага
следующий андроид же
8.х
Про асинхронный питон и гошечку расскажите, весь выпуск го пинают же
чтобы ещё и от питона пинок засчитали?
оставьте го в покое)
он распределенный из коробки
используется зукипер
это про кликхаус
он append only
добавление через зукипер идет, батчами
есть сравнение с вертикой, на сайте
я сейчас попробую найти ссылку
питон догнал го! вот это достижение!!!
неважно, что программа говно. главное - результат
web ui на хаскеле, потому что все могут
и вообще используются биндинги на С, и от питона только запуск
да?
libuv - асинхронная работа с сетью
ввод вывод, да
пора переходить с питона 2 на го, да
зависит от дистрибутива, на арче 3 по дефолту, на новой убунте вроде тоже
На Gentoo дефолтный python3
симлинк поменять на третий питон только
@emakashov_twitter ага и сломать дистрибутив
ой, не надо симлинки менять...
в убунте по дефолту 3
в Ubuntu LTS пока что 2
не хочется писать два лишних "+", когда пишешь на сях
@wiz там одинаково, gcc vs g++
и вообще
make
на самом деле, в деве все равно пишешь в виртуальном окружении, поэтому python все равно запускает нужную версию
Ребят, нубский вопрос конечно, но подскажите годноту для внедрения в ФП с монадками, функторами и прочими моноидами?
Внедрения в смысле изучить? с императивным бэкграундом LYAH хорошо заходит.
Там функторы, монады, моноиды - все на месте.
cat-a-pult
postal еще есть :)
хаскалатор нужно с гофером
я уже пол выпуска её ищу...
А в чем практический смысл перехода?
Упомянутую MS Ergonomic использовать?
Ну я на Dvorak печатаю, а коллега недавно эту тему исследовал и вообще советовал Workman
Валера уже прожимает :)
?
Выпуск ещё идет? 0_0
попробуй жать более плавно, а не бить по клавиатуре
@sirikid afterparty какое-то
Я про набор Microsoft Ergonomic Keyboard+mouse
strong typing вызывает RSI!
А что такое RSI?
Большой ход клавиш? Там же ножничный тип?
repetitive stress injury
Когда в имаксе пишешь?
Правда картинки там поумирали почему-то в блог-посте
я вот про такую клаву, если что https://www.amazon.com/Microsoft-Ergonomic-Keyboard-Business-5KV-00001/dp/B00CYX26BC%3FSubscriptionId%3DAKIAILSHYYTFIVPWUY6Q%26tag%3Dduckduckgo-d-20%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB00CYX26BC, ножничный тип на ноутах используется, очень малый ход
до урона
нашёл хаскалатор
Проблемы ANSI vs ISO раскладки (про Светину раскладку)?
@sumerman см генерал
https://www.amazon.com/Kinesis-Advantage2-Ergonomic-Keyboard-KB600/dp/B01KR1C5PY%3FSubscriptionId%3DAKIAILSHYYTFIVPWUY6Q%26tag%3Dduckduckgo-d-20%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB01KR1C5PY
Вань, попробуй эту клаву, на ней никто кроме владельца писать не может
Вань, попробуй эту клаву, на ней никто кроме владельца писать не может
скиньте сюда
попадёт на кдпв в любом случае
затем и искали так мучительно