Эх. Вот тут ссылаются на старую статью Гонзалеса про тайпклассы. Пример плохого эффекта от радикалистских статеек. "Преимущества Elm... нет тайпклассов" со ссылкой на подробную статью от хаскелиста о том, что тайпклассы, это плохо, на кого-то точно подействует...

ребят, поясните про безтиповое лямбда исчесление )

Так, чего-то я торможу, а как нацчить стек собирать хеддоки не там где он это делает обычно, а в папке doc, которая у меня лежит рядом с src?

по идее нужно это прописать в папке пакедж.ямл

но вот что конкретно там должн быть?

haske yn

я правильно понимаю, что любой интерепретаток λ легко заставить работать в бесконечном цикле?

я правильно понимаю, что любой интерепретаток λ легко заставить работать в бесконечном цикле?

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

Nml Maria

ykk

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

Но ведь лямбда исчисление эквивалентно машине Тьюринга по полноте. Так что вопрос является ли это расширением или нет

Но ведь лямбда исчисление эквивалентно машине Тьюринга по полноте. Так что вопрос является ли это расширением или нет

Это является расширением, ведь изначальный тезис говорил ТОЛЬКО о лямбдоисчислении, а я обощил его до КЛАССА к которому оно принадлежит.

Так что на счёт хеддоков? А то я роюсь по доккументации, и наверняка, как всегда, что-то да пропустил :(

По идее нужно вписать что-то связанное с —odir=dir, ведь так?

Ответ на мой вопрос, нужно было в стек ямл вписать

build: haddock-arguments: haddock-args: - "--odir=./docs"

Тогда при выполнении stack haddock всё будет как нужно.

Тьюрин и Черч занимались одним и тем же (проблемой вычислимости) просто один решал с помощью машины, а второй чисто математически. Да и у ЛИ есть изоморфизмы. Кстати Черч был вроде научным руководителем у Тьюринга

Тьюрин и Черч занимались одним и тем же (проблемой вычислимости) просто один решал с помощью машины, а второй чисто математически. Да и у ЛИ есть изоморфизмы. Кстати Черч был вроде научным руководителем у Тьюринга

Ещё раз, МТ и ЛИ это конкретные экземпляры тьюринг полных языков, я не виноват, что термин звучит не "лямбдополные", так уж совпало.

Ещё раз, МТ и ЛИ это конкретные экземпляры тьюринг полных языков, я не виноват, что термин звучит не "лямбдополные", так уж совпало.

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

снойман... https://www.snoyman.com/blog/2018/02/conduitpocalypse

а это ок что когда на хаскеле код с векторами пишешь, то думаешь "лучше бы на каком-нибудь дефолтном императивном языке писал"?

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

а это ок что когда на хаскеле код с векторами пишешь, то думаешь "лучше бы на каком-нибудь дефолтном императивном языке писал"?

да, ок

а это ок что когда на хаскеле код с векторами пишешь, то думаешь "лучше бы на каком-нибудь дефолтном императивном языке писал"?

и в каких императивных языках есть библиотеки вроде вектора?

чтоб хоть какие-то оптимизации были

да я не знаю какие там есть оптимизации кроме того что всё локально лежит

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

ребят, поясните про безтиповое лямбда исчесление )

Смотри первые 3 лекции вот из этого плейлиста. Там все очень подробно и доступно разжёвано: https://www.youtube.com/playlist?list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr

снойман... https://www.snoyman.com/blog/2018/02/conduitpocalypse

"небольшие изменения" мою задницу

На след лтс будут долго переходить наверное

Всем привет! Есть один файл с несколькими функциями (около 100 строк с форматированием, все в рамках стандартных возможностей языка), нужно переписать его на JS или Python. Кто-нибудь может с этим помочь? :) (естественно, небесплатно)

с чего переписать, с хаскеля?

Да

я могу

он может

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

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

В жс?))

Результат, естественно, потребует ярн и будет в монорепе

а зачем, может лучше все остальное на хаскель?

Кто-нибудь к сервант клиенту прикручивал digest авторизацию?

Я пошерстил хакадж, апи серванта на авторизацию, похоже мне либо выкидывать сервант клиент и писать на http-client или форкать

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

C++ (Eigen3)?

Кто-нибудь уже писал парсер для регулярных выражений, с последующим построением парсера для них же на parsec? Я бы скопипастил, чтобы самому не делать.

сложный запрос

Был бы простой, я бы не спрашивал.

есть парсер регулярных выражений https://github.com/sweirich/dth/tree/master/regexp

C++ (Eigen3)?

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

https://github.com/nomeata/ghc-justdoit

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

как будто что-то необходимое

так глядишь и фичи не надо будет через коммитет проводить

правда половину один и тот же человек

как будто что-то необходимое

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

а vscode+intero видимо не умеет понимать что находится в тестовом пакедже со своими зависимостями?

ну или не пакедже. как это назвать то

intero умеет, но ему надо сказать, что test suite, это тоже таргет

Умолчательно target, это только library

а как это примерно?

там топ-левел поле targets должно быть?

@rblaze а зачем такое может быть нужно?

В emacs для этого есть хоткей. Стоит посмотреть в доке для плагина VSCode

аа это даже не для кабала указывается

ERROR: S client not available

Это опция процесса intero, запускаемого редактором в фоне

ну или не пакедже. как это назвать то

"компонент" https://www.haskell.org/cabal/users-guide/developing-packages.html

"цель" — это отношение сборщика к компоненту

> You can change loaded targets by clicking in the button at the bottom right default target.

@vlastachu ^

ого. вот это удобно

а vscode+intero видимо не умеет понимать что находится в тестовом пакедже со своими зависимостями?

умеет, только если он загружен когда тесты собраны, проект сконфигурирован с тестами. К примеру, если сделать stack test и перезагрузить hie то будет работать

фактически, требования такие же, как и для нетестовой части

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

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

Пытаюсь понять, что же монада все-таки такое.

https://cemulate.github.io/the-mlab/

у канта описано

монада это минимальная неделимая вещьь

Ну вот по ссылке, допустим

(к слову это не совсем шутка, т.к. исторически в математику monad именно из-за канта попало)

Самым простым объяснением, которое может быть дано относительно определения монады -- это тот факт, что монада является Божественной искрой или лучом в определенной метастазе вида того индивидуализированного «дыхания» абсолюта и проявленная в бесконечной энергией спектрального пространства единой универсальной монады.

не у Лейбница разве?

Пытаюсь понять, что же монада все-таки такое.

в хаскеле это средство для того чтоб композить функции вида a -> m b

в хаскеле это средство для того чтоб композить функции вида a -> m b

Вот смотрите. Существует парадокс, что когда человек понимает, что же монада такое, он теряет способность объяснить это другому.

@A64m_qb0 мне кажется оно там делает несколько хопов

Вот смотрите. Существует парадокс, что когда человек понимает, что же монада такое, он теряет способность объяснить это другому.

нет конечно

в хаскеле это средство для того чтоб композить функции вида a -> m b

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

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

это лишь значит что разговор на разных языках, но не более

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

ну вот что такое (.) и id вы понимаете?

Monads are trees with grafting [c]

Да я и что такое монада в Хаскелле понимаю, так-то

я все же воспринимаю монаду как схлопывание двух "кодирований" "эффекта" в один, то есть m (m a) -> m a, или более наглядно m . m ~> m (тут уже видно полугруппу, а если добавить 1 -> m, получаем и моноид), а не как композиция стрелок клейсли

Или думаю, что понимаю

(к слову это не совсем шутка, т.к. исторически в математику monad именно из-за канта попало)

а в математике монада как то применяется? с моей нубской колокольни сложилось ощущение, что там это незначительная деталь

я все же воспринимаю монаду как схлопывание двух "кодирований" "эффекта" в один, то есть m (m a) -> m a, или более наглядно m . m ~> m (тут уже видно полугруппу, а если добавить 1 -> m, получаем и моноид), а не как композиция стрелок клейсли

Ну вот вы пишете m a, подразумевая, что m - монадический тип. Однако это соглашение внешнему наблюдателю может быть неизвестно. Поэтому, возможно, стоит уточнять, что Monad m => m a. Ведь без этого уточнения что m a, что t a или f a - суть одно и то же с точностью до переименования (или, если угодно, с точностью до внутрехаскельных соглашений)