а в Аде?..

нет

а в Аде?..

правильно говорить в Аду

полезное утверждение, означает что еще работать и работать надо

Как будто без этого утверждения кто-то мешает работать

Это троллинг?

Простите, да 😔

Как будто без этого утверждения кто-то мешает работать

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

В Go импорты лучше чем в Haskell, kwkwkw

отвратительны они там

https://github.com/tc39/proposal-flatMap/pull/56

ВЖУХ is the new bind

А вот скажите пожалуйста, я могу полагаться на то, что тут всегда будет 42, а не 13? Или это деталь текущей реализации? Документация, вроде, помалкивает на этот счет. GHCi> unionBy (\(x,_)(y,_)->x==y) [(1,42),(2,12)] [(1,13),(8,506)] [(1,42),(2,12),(8,506)] GHCi> intersectBy (\(x,_)(y,_)->x==y) [(1,42),(2,12)] [(1,13),(8,506)] [(1,42)]

Duplicates, and elements of the first list, are removed from the the second list, but if the first list contains duplicates, so will the result. It is a special case of unionBy, which allows the programmer to supply their own equality test.

?

http://hackage.haskell.org/package/base-4.10.1.0/docs/Data-List.html#v:union

Т.е. должно быть 42

Duplicates, and elements of the first list, are removed from the the second list, but if the first list contains duplicates, so will the result. It is a special case of unionBy, which allows the programmer to supply their own equality test.

О, спасибо, не смотрел туда, а зря. Хотя стоило бы в более общей функции прописать те же слова.

Кстати, пользуясь случаем, хочу поблагодарить за курс. Было круто :) А не планируете третью часть или что-нибудь ещё? Часто вижу вопросы от новичков о связи теории категорий и Haskell, вот бы такой курс получить!

@deni_ok ^

Кстати, пользуясь случаем, хочу поблагодарить за курс. Было круто :) А не планируете третью часть или что-нибудь ещё? Часто вижу вопросы от новичков о связи теории категорий и Haskell, вот бы такой курс получить!

Видел где-то спасший меня гайд по скале, очень простой и вводный, щас закину в это сообщение UPD: вотЪ (https://aappddeevv.gitbooks.io/test_private_book/content/)

@deni_ok ^

Всегда приятно слышать отзывы, особенно положительные. Я боюсь, что в формате MOOC сложно что-то еще сделать. Уже вторая часть не дотягивает по востребованности до разумной с моей точки зрения планки. Но тут я заказчиков заранее предупреждал, что даже на волне успеха первой части набрать достаточно много слушателей на вторую будет сложно.

Да, чем сложнее тема, тем сильнее тянет с учебниками разбираться, а не видео смотреть.

Для обзора темы MOOC хороши

Для глубокого бурения -- уже нет.

я вообще не уверен как глубоко бурить без реального рабочего погружения

По идее, это ж задачами решается.

Я Haskell начинал изучать с решением задачек с Project Euler

В смысле, что задачников-то в инете хватает. Берёшь и погружаешься.

В Go импорты лучше чем в Haskell, kwkwkw

Ммм, обожаю запах импортов с сайд-эффектами по утрам

@deni_ok а можно слайды (если есть) и задачи с курса по типам будет опубликовать в каком-то виде?

@deni_ok а можно слайды (если есть) и задачи с курса по типам будет опубликовать в каком-то виде?

Там пока все довольно бардачно и непричесано. Мой внутренний перфекционист пока сдерживает меня от открытой публикации.

:(

а можно полуоткрытую или по приглашениям, бета-тест, трайал-период ?

А что за курс по типам?

а можно полуоткрытую или по приглашениям, бета-тест, трайал-период ?

+

а можно полуоткрытую или по приглашениям, бета-тест, трайал-период ?

Я подумаю.

Я подумаю.

спасибо

@deni_ok а можно слайды (если есть) и задачи с курса по типам будет опубликовать в каком-то виде?

А что за курс-то?

https://twitter.com/_bravit/status/971472210002108417 начиная отсюда

алсо теперь это чатик для обсуждения тветиттера брагилевского

алсо теперь это чатик для обсуждения тветиттера брагилевского

Это плохо?

Кибербуллинг любой плохо.

😂

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

https://twitter.com/FunctorFact/status/971560275907436544

с чего это вдруг?

категористы, растолкуйте

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

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

А можете подсказать внятное введение в линзы?

ага, спасибо, я разобрался

https://stackoverflow.com/questions/32223859/whats-the-difference-between-a-lens-and-a-partial-lens

вот тут более развёрнуто

Гонзалеса читал, но он больше о том, как линзы использовать, чем как они устроены

А можете подсказать внятное введение в линзы?

линзы over tea - https://artyom.me/#lens-over-tea ну или решить кату на кодваре, самому пытаясь по типам разобраться (с призмами жесть, но за сутки с нулевыми знаниями справился) - https://www.codewars.com/kata/lensmaker/haskell

ну и я еще писал разбор работы - https://t.me/kanaflow/23

Благодарю

что делать если хочется много разных стейтов и не хочется делать рекорд? (и лишнего бойлерплейта)

и чтобы нужный стейт для бинда/лифта сам выводился

у меня одного идея тормозит в хаскеле?

а в Аде?..

Замечательно там с модулями. Вплоть до обобщённых

нет

нет

а что вообще хотелось бы от системы модулей? ну например — как можно сделать лучше чем в OCaml?

в аде намного хуже чем в окамле

ну я просто видел выше что "нигде не хорошо, а в OCaml они хотя бы есть" (неточная цитата)

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

ясно, спасибо. Миксины это MixML?

да

еще конечно 1ML интересная штука — унификация core language и module language

https://people.mpi-sws.org/~rossberg/1ml/

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

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

1ml нормально генеративные функторы описывает, вот с аппликативными не все так радужно уже

Ага, 8.4 зарелизили в один день с llvm 6, но с официальной поддержкой предыдущей версии, естественно

https://twitter.com/bgamari/status/971798817048850432

первый релиз гхц без фич лет за 20 (но это не точно)

https://twitter.com/bgamari/status/971798817048850432

Высокая эффективность комитета по фичам. http://www.stihi-rus.ru/1/Mayakovskiy/65.htm

вот имею в стейте Maybe Int как мне так извернуться чтобы »= отдавал только если в стейте Just? то есть чтобы put $ Just 10 x <- get x :: Int ?

Just x <- get | ... что-то же такое было?

Никак

Или сделай StateT Maybe Int

первый релиз гхц без фич лет за 20 (но это не точно)

Зато винду вашу улучшают

@bravit111 на курсах про идрис я спрашивал, про то можно ли с уникальными типами сортировку больее-менее доказанную запилить. Тогда в идрисе я не осилил, а в haskell более-менее норм https://www.tweag.io/posts/2018-03-08-linear-sort.html