Vladimir
тот самый скрытый
Vladimir
как это так получается
Vladimir
для конкретики - Есть Networking.Wreq, у него есть Options, который находится в Network.Wreq.Internal.Types
Vladimir
вот мне надо функцию, которая будет возвращать, к примеру, IO Options
Vladimir
без указания сигнатуры все норм, но ворнинг выдается, а указать я ее не могу потому. что модуль с Options не импортится(
Vladimir
ну мне понятн, почему так происходит, не очень понятно, что с этим делать
Vladimir
не использовать ничечго из скрытых модулей?
Vladimir
Извиняюсь за опечатки, стараюсь печатать как можно тише.
Мерль
Интересно, а тут есть ведущие "Бананов и линз"?
Alexander
Четверть
Quet
а то четко все было какое-то время, а потом все. забросили...
Alexander
Отпуск летний, может с осени начнем снова
Anatolii
Да, очень соскучился уже за вашим подкастом
Anatolii
Николаев
Anatolii
А ты из Одессы?
nvkv
Нет, но много друзей-знакомых оттуда
nvkv
Глаз зацепился за "скучаю за"
nvkv
:)
Мерль
Во фри бсдю добавили порт Хаскеля
Denis
То есть он теперь компилится шлангом?
Denis
Или там кривой порт через linux-compat?
Мерль
Программирование – новый международный язык будущего! Об этом нам рассказал автор учебника по программированию «Scratch для детей» и спикер форума #EdCrunch Дерек Брин. В общем, если вы хотите, чтобы ваш ребёнок был с миром на одной волне, без знаний программирования теперь как и без английского – никуда http://mel.fm/2016/08/05/derek_breen?ext=tel
adam
Denis
Кто-то перечитал киберпанка
melvin
Anonymous
>визуальные блоки
Очередное ненужно
Anonymous
Сколько таких поделок создают чтоб "весело учиться"...
nvkv
Оно не очередное
nvkv
Оно очень старое
nvkv
И, кстати, крутое
nvkv
Я племяша учил на этой штуке
Мерль
Я бы на черепашке учил
Denis
А я вовсе свою не хочу учить программированию.
Anonymous
Н-но зачем когда есть схеми ипи питхон?
Anonymous
схема*
Anonymous
Зачем знакомить детей с императивными извращениями когда можно сразу думать функционально :)
Мерль
[last news]
Learning Haskell
Anatolii
Товарищи, я тут в процессе обучения до fundeps добрался, это уже в каком-то смысле операции над типами получаются, или я не правильно понял?
Evgeniy
Ты по это?https://wiki.haskell.org/Functional_dependencies
Anatolii
Да
Evgeniy
Я так понимаю это контроль над многотипами както так - может кто в теме поправит
Evgeniy
У Москвина лекция была про это(ютуб- лекция 11 Трансформеры монад )
Alexander
это то, чем они и называются зависимость между типами
Alexander
| a -> b — тип a однозначно определяет тип b
Anatolii
Ну да
Anatolii
Круто
Anatolii
Просто нидавно писал и на го, столкнулся с проблемой, написал костыль, а на выходных читал rwh и прочитал про fundeps
Anatolii
И понял что они бы решили проблему
Evgeniy
А что за проблема без подробностей?
Alexander
в го есть типы?
Alexander
с выводом? я помню что у них чуть что все сводилось к Implements{}
Alexander
или как там оно
Alexander
ну-ну-ну
Alexander
что-то вроде явовых, это да
Evgeniy
В го утиная типизация
Evgeniy
Что крякает плавает ходит - утка
Evgeniy
А если больше чтото то это неважно
Anatolii
Я до компа доберусь
Anatolii
Напишу
Evgeniy
Например крякает ходит плавает говорит по человечьи - охотник, но если тебе нужно только что крякает плавает и ходит - для тебя это будет утка)
nvkv
в го типы, с примитивным выводом типов
nvkv
типизация статическая
nvkv
слухи про её утиность несколько преувеличены, но доля правды в этом есть
Anonymous
Почему не совсем?
nvkv
утиная типизация это термин из динамических систем типов
nvkv
в го просто не нужно прописывать у типа конформ к протоколу
nvkv
но он есть
Мерль
типизация статическая
Это не отменяет того, что она частично утиная
В смысле, там не надо явно указывать, что тип удалетворяет какому-то интерфейсу
nvkv
ээээ
nvkv
но у тебя код не соберется, если он не удовлетворяет
Мерль
но у тебя код не соберется, если он не удовлетворяет
И что?
Указывать интерфейс при декларации типа не надо