Всем привет. Не уверен, смогу ли сегодня слушать live версию, но Света однажды просила напомнить вопрос про отличие CTO от инженера-нерда. Маякните об этом, если сегодня будет 2 часть рассказа про лондонские путешествия, ладно? :)
А что, сегодня Светы не будет?
Это который Королёв?
Скандалы! Интриги! Расследования! В подкасте devzen отлавливают котят в прямом эфире! Шок!
ха, а и правда нет удобного числа в чате. вроде был раньше...
Опять эхо
пропало
Потом будут жаловаться, что 15% CPU съедает этот ваш DevZen Desktop
надо их найти
ну или плюсы, да
А нельзя бота написать, который сам записывать будет? Смотрели в это направление?
особенно весело туда бросать линзы
Канала для закрытия не хватает? : )
Релиз scala-native http://www.scala-native.org
А в чем смысл Scala Native? Только скорость компиляции и отказ от JIT в пользу AOT?
Компиляция-то медленная
в 7+ при старте AOT частичный, а потом ещё на ходу под-JIT-ивают
если работаешь на пределе объемов памяти, то Java вообще не вариант
я так понимаю если работаешь на пределах и с большим молодым поколением
так а сборка же осталась в скаланейтиве? Т.е. проблема "работы на пределе памяти" там как раз сталась
если у тебя маленькое молодое поколение, то у тебя программа ничего не делает
например инмемори дб с нагрузкой в 99% чтений
stringy types и boolean blindness :)
Переход к более самодокументированному коду через крутую типизацию :+1:
(не про boolean blindness)
Нужно ж откуда-то начинать; как начинать проект на новой технологии, если ты никогда с ней не работал?
но нормальный опыт можно только на проде получить, да
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 - ресурсменеджер здорового человека
или ещё что-то такое
я думал это аналог джавы на фронте
Слышал, что в TypeScript есть проблемы с написанием работающего кода, и типы не спасают. но нужен эксперт :-\
Егора
ничего не знаю, у меня тайпскрипт получается готовить с первого раза
Вкратце - эффекты эти в 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{}
зато понятно каждому
ну вот диалайзер в эрланге/эликсире оно часто можёт в хорошее
100% test coverage не означает правильность работы
Говорят в пайтоне тоже типов-сумм нету
ты можешь сделать массив из объектов класса Банан и класса Линза — оно тип-сумма с этой т.з.
сделать можно но продакшеонисты будут плеваться поскольку грязно нахакать нельзя
"в компиляторах баги" - и не говори, на GHC 8 смотреть больно
В принципе можно и в Go возвращать отовсюду
interface{} и ручками проверять ошибка там вернулась или значение.
@wiz Ну на типы мы же пишем типы (кайнды т.е., и дальше по юниверсам). Логично тесты на тесты
имеется ввиду что ты типы можешь написать не те что нужны
universe levels, Set_0, Set_1, Set_2, etc (в Agda-терминах)
это не спеки на спеки
тесты на тесты кстати существуют: раннер меняет тестируемый код и проверяет, что тесты не прошли, не помню как называется правда
@nponeccop Простой пример -
Int Maybe это невалидный тип, а Maybe Int валидный, чем не типизация для типов?
Если у типов есть типизация, значит у тестов должно быть покрытие тестами
Про спеки понятно, что это отдельный разговор
ой, не надо про 5 питон, у нас до сих пор не могут основной проект на 3 перенести :(
Почему для этих DSL-ей нужны free-монады то? Если не нужна интроспекция самого кода, то можно MTL-style классами обойтись
ну что значит "нужны". Можно и экспрешен проблему не решать. В каждом индивидуальном случа инженер решает что юзать.
Free-монада для этого не нужна, она только performance issues тащит
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???
"ну во-первых это красиво"
(point-free)
J. DeGoes писал, что если у вас человечные имена переменных, то вы недостаточно влезли на лестницу абстракции
а есть поинтлесс стиль :)
А хороший стиль - это когда каждый аргумент функции свой тип имеет отдельный, иначе
newtype надо.
Потому что можно местми перепутать и страдать.
как насчет функции, принимающей 2 инта? keyword arguments отлично заходят против этого, но не везде есть
чтобы не перепутать где какой
@nlyubchich keyword arguments хороших в Haskell не хватает, да
а то будет
init :: Text -> Bool -> IO (Either Int Float) и что туда совать..
в хаскеле часто этот гуляш в именах полей рекордов
data SomeType { stThis :: (), stThat :: () }
а ведь
m for Maybe
венгерщина
@sirikid Конечно от множественного числа, но по факту множественно число = список
или что-то ему изоморфное
Темы слушателей
http://devzen.ru/themes-0135/
http://devzen.ru/themes-0135/
8.х
Про асинхронный питон и гошечку расскажите, весь выпуск го пинают же
используется зукипер
это про кликхаус
он append only
добавление через зукипер идет, батчами
есть сравнение с вертикой, на сайте
я сейчас попробую найти ссылку
неважно, что программа говно. главное - результат
web ui на хаскеле, потому что все могут
и вообще используются биндинги на С, и от питона только запуск
да?
libuv - асинхронная работа с сетью
ввод вывод, да
пора переходить с питона 2 на го, да
зависит от дистрибутива, на арче 3 по дефолту, на новой убунте вроде тоже
и вообще
make
на самом деле, в деве все равно пишешь в виртуальном окружении, поэтому python все равно запускает нужную версию
Ребят, нубский вопрос конечно, но подскажите годноту для внедрения в ФП с монадками, функторами и прочими моноидами?
Внедрения в смысле изучить? с императивным бэкграундом LYAH хорошо заходит.
Там функторы, монады, моноиды - все на месте.
я уже пол выпуска её ищу...
Ну я на Dvorak печатаю, а коллега недавно эту тему исследовал и вообще советовал Workman
Большой ход клавиш? Там же ножничный тип?
Правда картинки там поумирали почему-то в блог-посте
я вот про такую клаву, если что 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, ножничный тип на ноутах используется, очень малый ход
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
Вань, попробуй эту клаву, на ней никто кроме владельца писать не может
Вань, попробуй эту клаву, на ней никто кроме владельца писать не может
затем и искали так мучительно