@haskellru - страница 1600 - Telegram web archive

Cheese

так типы полиморфные же

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

A64m

ну и у макбрайда же еще куча синтаксиса для pure *> <* join

кана

когда-нибудь lens установится

Leonid 🦇

или нет

eahqzsr

Какие вообще практические применения у applicative?

Ilya

Любая монада -- аппликатив

Ilya

Какие вообще практические применения у applicative?

Списки зипать

Ilya

Так что практические применения такие же, плюс ещё

eahqzsr

Я конечно имел в виду аппликативы не являющиеся монадами

Ilya

Я конечно имел в виду аппликативы не являющиеся монадами

Списки зипать

Ilya

Validation http://hackage.haskell.org/package/validation

Ilya

Const

Ilya

ZipList уже упомянутый

Ilya

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

Ilya

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

Для вектора есть bind с семантикой зипа? Или что имеется в виду

Ilya

Есть эффективная реализация парсерных комбинаторов, которые аппликатив, но не монада

Зигохистоморфный

Есть эффективная реализация парсерных комбинаторов, которые аппликатив, но не монада

которые моноид даже

Ilya

Там грамматика, правда, по моему LL(1)

Зигохистоморфный

моноидальные парсера

Ilya

Моноидальные -- это по моему несколько другое

Ilya

Есть эффективная реализация парсерных комбинаторов, которые аппликатив, но не монада

А ссылку можно кстати?

Ilya

Там были именно аппликативные

Ilya

Но почему-то на хаккадже я не нашёл

Ilya

Для вектора есть bind с семантикой зипа? Или что имеется в виду

bind, такой что ap это zip

Ilya

bind, такой что ap это zip

А почему для списка так нельзя сделать?

Ilya

Чем вектор так отличается

Ilya

А ссылку можно кстати?

https://github.com/aistrate/Articles/blob/master/Haskell/Deterministic,%20Error-Correcting%20Combinator%20Parsers%20(Swierstra,%20Duponcheel).pdf

A64m

Я конечно имел в виду аппликативы не являющиеся монадами

практическая ценность в том, что Applicative менее строгий констрейнт, так что дает возможности, вроде линз или параллельного вычисления

Ilya

Чем вектор так отличается

нет гарантированной длины, bind для вектора вычисляет f на каждом элементе и берет диагональ.

Ilya

с листом f может пустой список вернуть

Зигохистоморфный

@ilya_yanok это? http://hackage.haskell.org/package/applicative-parsec

Ilya

нет гарантированной длины, bind для вектора вычисляет f на каждом элементе и берет диагональ.

А, ты имеешь в виду тип = вектор фиксированной длины? Не Data.Vector

Ilya

да, сорри что не уточнил

Ilya

Теперь понятно, спасибо

Ilya

@ilya_yanok это? http://hackage.haskell.org/package/applicative-parsec

сложно сказать. Реализация выглядит другой. А определить сходу эквивалентная или нет я не могу

Cheese

https://hackage.haskell.org/package/regex-applicative

Ilya

практическая ценность в том, что Applicative менее строгий констрейнт, так что дает возможности, вроде линз или параллельного вычисления

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

eahqzsr

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

Скорости чего?

Ilya

Как чего, программ

Евгений

Написания продукта

Евгений

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

Ilya

Быстрое написание быстрых программ

Евгений

Быстрое написание быстрых программ

Звучит как раст

eahqzsr

Звучит как раст

Наверное нужно добавить "и чтоб кровь из глаз не шла"

Евгений

Когда уже к расту нормальный синтаксис прикрутят :(

Leonid 🦇

Can't burrow immutably, mutable borrow at this point huita.rs::1488:42

Leonid 🦇

Быстрое написание быстрых программ

которые лучше работают чем программы на других промышленных языках

A64m

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

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

Евгений

После ML'я-то, конечно, хаскель удобный

Yura

Друзья, есть необходимость ограничить параллелизм. Например, мы слушаем на tcp сокете в accept, на каждый connect делаем forkIO, но хочется ограничить возможность спавнить нити. Причём лучше без каналов.