И умею программировать (более менее)

Но всё равно

ну там явно не математик писал тоже:)

"курс по дискретке в инсте" /= математик

странная демагогия идет

дидактика обычная

Проф. программеры на Haskell, вот подскажите, как вы живете без "умного автодополнения"? К примеру, пишите вы код, в одном месте которого появляется некое Maybe a, и вы помните, что есть какая-то функция, которая возвращает вложенное значение или дефолтовое при отсутствии первого, к примеру, fmap ??? envLookup "REDIS_HOST". Как вы находите функцию Data.Maybe.maybe? В ООП языках просто: у вас всегда есть контекст (объект), от которого "пляшет" автодополнение. К примеру, в скале вы пишите sys.env.get("REDIS_HOST"), затем жмете точку и получаете список методов объекта Option. А как в хаскеле, неужели каждый раз лезете в справочник или хугл?

Проф. программеры на Haskell, вот подскажите, как вы живете без "умного автодополнения"? К примеру, пишите вы код, в одном месте которого появляется некое Maybe a, и вы помните, что есть какая-то функция, которая возвращает вложенное значение или дефолтовое при отсутствии первого, к примеру, fmap ??? envLookup "REDIS_HOST". Как вы находите функцию Data.Maybe.maybe? В ООП языках просто: у вас всегда есть контекст (объект), от которого "пляшет" автодополнение. К примеру, в скале вы пишите sys.env.get("REDIS_HOST"), затем жмете точку и получаете список методов объекта Option. А как в хаскеле, неужели каждый раз лезете в справочник или хугл?

find, awk, grep

Ну я серьезно. Просто обратил внимание, что постоянно отвлекаюсь на поиск функций в справочнике, и задумался, а как у других воркфлоу выглядит.

хугл друг

Ну я когда писал на сабже, то держал локальный хугл в консоле

Все-равно не быстро получается, в сравнении с той же скалой. Постоянно отвлекаться от кода и редактора и лезть в браузер или консоль.. а с автокомплишном в хаскельных редакторах пока все плохо?

новый гхц чуть заранее вышел, наверное, к выпуску HCAR, чтобы успеть поведать про это

там на след неделе дедлайн

У человека математический бекграунд, он это сразу сказал

не, вообще учился я на говнокодера, просто я не равнодушен к математике, хотя на данный момент там отношения скорее "всё сложно" =)

Проф. программеры на Haskell, вот подскажите, как вы живете без "умного автодополнения"? К примеру, пишите вы код, в одном месте которого появляется некое Maybe a, и вы помните, что есть какая-то функция, которая возвращает вложенное значение или дефолтовое при отсутствии первого, к примеру, fmap ??? envLookup "REDIS_HOST". Как вы находите функцию Data.Maybe.maybe? В ООП языках просто: у вас всегда есть контекст (объект), от которого "пляшет" автодополнение. К примеру, в скале вы пишите sys.env.get("REDIS_HOST"), затем жмете точку и получаете список методов объекта Option. А как в хаскеле, неужели каждый раз лезете в справочник или хугл?

а таких кейсов обычно не возникает по моему

кейсов когда аргументы отправил, а в какую функцию не знаешь. Но если возникает, то хугл, да (который можно открыть из спотлайт-аналога каким хоткеем), что не очень быстро, но из-за крайней редкости таких ситуаций довольно приемлемо

имхо лучше наоборот идти, от хаскеля к категорийному определению монады, если у человека возникают проблемы всё это представить

не лучше, будут неверные интуиции

8.6, кстати, будет подсказывать варианты для дырки (если фича пройдет, не зарежут из-за тормознутости)

но не факт, что какие-то ленгвиджсервисы для хаскеля поддержать это в виде автокомплита

привет всем, помогите пожалуйста разобраться. Такой вопрос: я в инсте достаточно внимательно слушал дискретку, по этому я знаю что такое моноид и гомоморфизм. Увы, теории категорий у нас не было, по этому с эндофункторами сложнее, но я вроде почитал, как я понял стрелка=гомоморфизм=функтор, т.е. просто отображение одного в другое. Эндофунктор - отображение в себя. Но что есть категория эндофункторов и как там найти моноид - тут я не могу допетрить. Можете на пальцах примерчик подсказать? Не обязательно связанный с программированием и желательно без использования хаскеля, с ним у меня туго...

функтор - отображение между ВСЕМИ объектами одной категории в объекты другой, а так же отображение всех морфизмов в морфизмы другой категории с сохранением доменов и кодоменов (после применения функтора к объектам домена и кодомена) эндофунктор - когда результатирующая категория та же самая можем ввести единичный эндофунктор, который переводит каждый объект в тот же объект, (следовательно и каждый морфизм в тот же морфизм) а так же можем ввести композицию эндофункторов (эндофунктор G.F отображает объект сначала с помощью эндофунктора F, а потом с помощью G) категория эндофункторов - такая категория, где объекты - эндофункторы, какие там морфизмы сейчас не так важно. Множество объектов, единичный эндофунктор и композиция эндофункторов - вот тебе и моноид (моноидальная категория, где . - бифунктор, единичный эндофунктор - нейтральный элемент)

8.6, кстати, будет подсказывать варианты для дырки (если фича пройдет, не зарежут из-за тормознутости)

вот это прикольно главное чтобы в репле видели варианты

https://phabricator.haskell.org/D4444

т.е. я правильно понимаю, что прям ф-ции будет подсказывать? > It also allows us to find suggestions such as maximum for holes of type Ord a => a -> [a] , and max when looking for a match for the hole in g = foldl1 _, where g :: Ord a => [a] -> a (я все не читал)

да, и функции с новыми дырками

дырявые функции

When the flag `-frefinement-level-substitutions=n` where `n > 0` is passed, we also look for valid refinement substitutions, i.e. substitutions that are valid, but adds more holes. Consider the following: f :: [Integer] -> Integer f = _ Here the valid substitutions suggested will be (with the `-funclutter-valid-substitutions` flag set): Valid substitutions include f :: [Integer] -> Integer product :: forall (t :: * -> *). Foldable t => forall a. Num a => t a -> a sum :: forall (t :: * -> *). Foldable t => forall a. Num a => t a -> a maximum :: forall (t :: * -> *). Foldable t => forall a. Ord a => t a -> a minimum :: forall (t :: * -> *). Foldable t => forall a. Ord a => t a -> a head :: forall a. [a] -> a (Some substitutions suppressed; use -fmax-valid-substitutions=N or -fno-max-valid-substitutions) When the `-frefinement-level-substitutions=1` flag is given, we additionally compute and report valid refinement substitutions: Valid refinement substitutions include foldl1 _ :: forall (t :: * -> *). Foldable t => forall a. (a -> a -> a) -> t a -> a foldr1 _ :: forall (t :: * -> *). Foldable t => forall a. (a -> a -> a) -> t a -> a head _ :: forall a. [a] -> a last _ :: forall a. [a] -> a error _ :: forall (a :: TYPE r). GHC.Stack.Types.HasCallStack => [Char] -> a errorWithoutStackTrace _ :: forall (a :: TYPE r). [Char] -> a (Some refinement substitutions suppressed; use -fmax-refinement-substitutions=N or -fno-max-refinement-substitutions) Which are substitutions with holes in them. This allows e.g. beginners to discover the fold functions and similar.

это оч круто, не тепрится попробовать можно вообще ничего не помнить и не хуглить – все само будет подсказываться :)

только импортированное же

хотя да, там что-то было про bindings не все, хотя все и не возможно, даже, наверное, среди зависимостей

но новый хугл все рано нормально не ищет, так что можно не хуглить уже сейчас

но новый хугл все рано нормально не ищет, так что можно не хуглить уже сейчас

а что юзать?

ничего

А что за новый хугл и чем он отличается от старого?

ну, он, конечно, уже давно не новый.

отличается он тем, что может загружать базы заметных размеров, так что стало возможным искать по стекеджевому срезу и все такое

мм, а можно ссылку на "новый" хугл? это не https://www.haskell.org/hoogle/ же? и не hayoo?

это старый вроде еще

это старый вроде еще

я юзал в основном http://hayoo.fh-wedel.de/

а вот вроде новый типа https://hoogle.haskell.org/

хм, забавно, спасибо, первый раз вижу :) похоже скоро hayoo будет не нужен, если я правильно все понял

а новый это `https://www.stackage.org/lts-11.5/hoogle?q=` например

а новый это `https://www.stackage.org/lts-11.5/hoogle?q=` например

это же стакедж обычный)

там не очень понятно какая версия хугла в нем используется

это же стакедж обычный)

нет, это запрос для поиска, можно прямо дальше писать что искать надо

нет, это запрос для поиска, можно прямо дальше писать что искать надо

та я в основном на стакедже и ищу

но есть пакеты, которых нет на стакедже

там не очень понятно какая версия хугла в нем используется

да если попробовать поискать по типу - сразу понятно, у нового там выдается адище

Посоветуйте, пожалуйста, что почитать/посмотреть для ознакомления с Free монадой?

Роскомнадзор заблочил stackage.org ?

Такой подлянки я даже не ждал

Короче третий полный метр смешариков можно не смотреть. Так себе, как обычно.

Роскомнадзор заблочил stackage.org ?

они по очереди блочат все репозитории билд-тулов потихоньку, во всех чатах жалуются

жизнь через vpn

Роскомнадзор заблочил stackage.org ?

угу, вчера еще недоступен был

Может мы напишем террористам отдельный мессенджер, ркн его заблочит радостно и ркн отстанет от телеги?

интересы террористов не учтены. вангую проблемы с успешностью этого решения.

эх, а погружаться в предметную область чтот не хочется

придётся жить через впн

придётся жить через впн

хостинги впн тоже потихоньку лочат.. DO, scaleway

Свой подниму на малоизвестном vps провайдере

ну или эммигрирую к чертям

у чертей не банят телегу?

Может мы напишем террористам отдельный мессенджер, ркн его заблочит радостно и ркн отстанет от телеги?

в твиторе был вариант названия "втеракте" )

у чертей - нет

Ходят слухи, у них ещё средняя зп выше

Роскомнадзор заблочил stackage.org ?

у меня работает

у меня работает

Чтобы было честно, будь в рф и выключи впн

я в рф, провайдер ДОМ.ру

Во, записываем провайдеров, которые саботажники

У меня провайдер тоже сботирует

https://www.seven-sky.net/

а какой IP у этого сайта? можно проверить по реестру

раньше я узнавал IP через ping или 2ip.ru, но что-то со stackage.org оба этих способа не работают

перестаю понимать современные интернеты :(

$ host stackage.org 8.8.8.8 stackage.org has address 52.71.209.192 stackage.org has address 52.72.159.235

$ host stackage.org 8.8.8.8 stackage.org has address 52.71.209.192 stackage.org has address 52.72.159.235

ага, эти я тоже видел

а если перейти по ним, там просто

так что не всё так просто