Dmitry
@qnikst а в хаскельбуке есть что-то интересное, если вроде как уже пишешь на хаскеле?
Alexander
нет
Dmitry
чем закончилось, кстати, с чуваком с майндмапами?
Dmitry
я как-то то ли спать лег то ли на тренировку уехал и упустил дальнейшее
Alexander
я вот тоже
Alexander
проспал все происходящее
Ilya
На русском языке есть довольно свежая книжка ru-haskell-book. Я бы не сказал, что она лёгкая, скорее наоборот. Там нету ничего в духе "понимаем монады за 10 минут" и "shut up and write code"
Однако мне, как человеку тоже с высшим математическим, её чтение доставило (и доставляет) большое удовольствие. А упражнения в конце каждой главы сформулированы зачастую настолько расплывчато, что оставляют большой простор для творчества.
Однако у меня сомнения в том, что через Haskell можно "вкатиться в IT".
Vladislav
прикладная математика считается за высшее математическое, интересно?
Anonymous
У нас курсы не сильно отличались. Там, где они (математики) учили разный дифгем, мы учили методы оптимизации и теорию игр.
Нурлан
Anonymous
тут большинство людей "вкатились в ит" лет 5 или 10 (а то и 15) назад.
глупо их спрашивать о том как.
Dmitry
я даже не очень сам термин понимаю
Dmitry
я вот начинал с того, что при помощи Lotus-1-2-3 помогал прятать выручку конторы по продаже парфюма от бандитов. бандиты тогда уважали IT и считали, что если учет на компе. то комп врать не будет
Dmitry
сверление дырок под RG-50 тоже входило в IT
Dmitry
так что предлагаю начать со сверления дырок для витой пары. я плохого не посоветую
Влод
Думаю работа тестировщиком это IT
Mikhail
Ну если ты не разбираешься в коде и алгоритмах совсем, то ты такой себе тестер
Anonymous
Ну если ты не разбираешься в коде и алгоритмах совсем, то ты такой себе тестер
в каких алгоритмах?
Влод
Да ну. У нас тестировщики работают и я считаю их крутыми за то что они знают хтмл эскейпинг, могут залезть в бд поменять поля, могут в свн откатиться, могут на питоне скрипт написать
Влод
Это наверное даже много для тестировщика
Влод
Но вот про красно черные деревья с ними на кухне не поговоришь. Жаль, не так ли?
Mikhail
В любых, в самом понятии
Mikhail
в каких алгоритмах?
Dmitry
интересно, о чем в принципе можно поговорить про красночерные деревья
Max
про их цвет
Влод
Ну да на самом деле это скучно)
Max
предрассудки с ним связанные
Dmitry
про Кинчева, в конце концов
Влод
Просто выбрал как самое загадочное название
Vladislav
интересно, о чем в принципе можно поговорить про красночерные деревья
например, про преимущества и недостатки их модификации AA tree)
Dmitry
про это по моему прямо в википедии написано
Anonymous
В любых, в самом понятии
ну если так, то на самом деле любой человек это понимает от природы
Anonymous
ничего в этом особенного нет
Anonymous
это даже не ит
Anonymous
а так
Dmitry
про aa деревья... пилишь такой пару лет библиотеку структур данных с функциональным интерфейсом, что бы на си было программить не так мучительно больно, а тут хоп - и раст под твою платформу кросскомпилируется
Dmitry
вот и все твои aa-деревья
Dmitry
закончились.
Max
ггг
Max
как там раст, кстати?
Max
корутины уже есть?
Max
рабочие, в смысле
Dmitry
ну говорят он уже продакшон, мне достаточно. какой бы ни был, всё лучше, чем на си писать
Dmitry
если щас под наш билдрут смогу собрать - то всё, смерть всему живому
Dmitry
а корутины это они там вот эти вот потоки кооперативные что ли называют?
Dmitry
процессы, whatevr. ну короче которое у всех уже есть везде
Dmitry
libmill / libdill
Dmitry
горутины
Dmitry
эрланговые процессы
Dmitry
forkIO
Dmitry
это оно?
Max
типа того
Max
уже можно в продакшен сувать?
Dmitry
не знаю и не знаю даже как решать, можно или нельзя. т.е у себя-то я сам решаю, но вот этот эмбеддед и масс-продакшн добавляют особенностей
Dmitry
с другой стороны любая программа на си - это одна сплошная дыра, и никого это не смущает
Ilya
Смущает создателей раста
Alexander
интересно, о чем в принципе можно поговорить про красночерные деревья
про удаление в них в чистых языках?
Ilya
про удаление в них в чистых языках?
А какие проблемы с этим, можно просветить? ST-монада же чистая
Alexander
да никаких, но окасаки в своем диссере не осилил, не помню включено ли было в книгу уже
Ilya
Зачем нужен Void?
Ilya
newtype Void = Void Void
Влод
чтобы была ложь в типах
Влод
абсурд там
Ilya
Зачем лгать в типах?🤔
Alexander
чтобы был ненаселёный тип
Alexander
есть 2 причины почему так нужно: во всяких типах данных сделать чтобы не вернуть ничего было, например в кондуитах у producer тип входа Voi
Alexander
Void
Alexander
что говорит, что входа нет
Alexander
плюс так отрицание строится
Влод
ну например чтобы not был
Alexander
через a -> Void
Alexander
ну я ж говорю 2 причины
Влод
ну я до сих пор не уверен есть ли норм пруверы на хаскельных типах
Влод
мне там кидали ссылку, мб она отвечает на этот вопрос
Влод
аесли пруверов нет, то не уверен имеет ли смысл лгать в типах.
Alexander
есть две причины
Alexander
вторая остаётся валидной
Alexander
https://hackage.haskell.org/package/singletons-2.2/docs/Data-Singletons-Decide.html#t:Refuted
Alexander
в синглетонах в Decision используется как ложь