не очень понимаю откуда берется число аппликаций. T f x - f(fx) 2f T T f x - f(f(f(fx))) 4f T T T f x - f(f...fx)) 16 f при 4 T больше 1000 f

T f берёт функцию a -> a и возвращает a -> a с дважды примнённой функцией T T берёт функцию T и дважды применяет её, т.е. тип левой T в данном случае (a -> a) -> a -> a в T T T тип левой T ( (a -> a) -> a -> a) -> (a -> a) -> a -> a

в результате количество аппликаций растёт как 2 ^ (2 ^ 2 ^ ... (2 ^ 1))..)

спс

число Грэма аппликаций :)

привет! нет ли инструмента, который чекает цепочку редукций простых лямбда термов?

http://www.itu.dk/~sestoft/lamreduce/index.html

Товарищи хаскелисты, вопрос немного не в тему, может кто знает есть ли канал емаксеров на телеграм?

https://t.me/emacs_ru

если кому интересно и ктото юзает emacs

Читали уже? Как вам? https://habrahabr.ru/post/327913/?utm_source=habrahabr&utm_medium=rss&utm_campaign=feed_posts

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

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

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

main = do (number, size) <- readSomeWay let result = evalSomeWay number size printSomeWay result

какие типы и как примерно выглядят функции из такого REPL'а?

чувак пишет задачу про ферзей на типах, разбавляя опус литературщиной?

ну как бы, но там все вычисления идут на уровне типов в ADT

там ссылка на подобную вещь на кложуре

только слишком много джавы, я только CL знаю

а на кложе можно что-то сделать на типах?

там есть типы в компайл-тайме? в хаскелевском понимани? мне казалось, что это язык с динамической типизацией

сомневаюсь) да и смысла нет, Лисп это не про типы

я так понял, там что-то типа CLOS юзается - собирает классы на лету, где-то с середины уходит в дебри jvm

чувак пишет задачу про ферзей на типах, разбавляя опус литературщиной?

да

/me сказав многозначительное да, ушел спать дальше:/

/me

это не irc, не работает тут

/you

и это тоже.

Безобразие.

кто-нибудь проходил вторую часть курс Москвина на степике? у кого какие мнения?

да

Да, последняя задача норм

а это ктонибудь решал? https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems

я что-то подобное решал на ocaml

https://ocaml.org/learn/tutorials/99problems.html

а вот кстати, какой прок от решения этих вещей? ну кроме развлечения, конечно. Я решал задачки с project Euler, это как бы занятно само по себе, но после освоения базовых вещей продвинуться в изучении языка не помогает никак

мне помогло найти haskell работу

не смотря на то, что я большую часть эйлера на питоне и maple сделал

опа

последнее, что я предположил бы

ну на самом деле с языком познакомился

и потом когда понадобилось доучил, в общем случай

не показательно

найти работу через projecteuler - это самое экзотичное наверное

найти работу через projecteuler - это самое экзотичное наверное

Я например неплохо поднатаскался в Wolfram Mathematica

а потом у меня на maple закончилась лицензия и я забил

смотрю лекции Bartosz Milewski, думаю, скоро тоже начну заканчивать все предложения словом okay 8)

смотрю лекции Bartosz Milewski, думаю, скоро тоже начну заканчивать все предложения словом okay 8)

This is Imperative Propaganda)) (хорошие лекции кстати)

ну лучше okay чем like между каждыми двумя словами :)

да я ничего не имею против, просто заразная штука :)

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

:/

Ну не сложней задачки про чекпойнты

в чекпоинтах условие дурацкое было

Ну хз, мне последняя задача мне показалась сложноватой, пришлось в литературе даже покопаться

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

я делал похожие но более сложные штуки, с обменом сообщением между корутинами, может поэтому просто

а что за задачки вы все решаете?

такое бурное обсуждение уже несколько месяцев

Вторая часть курсов на степмке

есть BroadcastTChan, есть слушатели, которые делают dupTChan и слушают

каким бы наиболее дешёвым способом уметь получать нотификацию, что слушателей нет

заставить слушателя сделать bracket subscribe unsubscribe скорее всего нельзя

с финализаторами связываться тоже не хочется

haskell for mac нормальный IDE по сравнению с emacs+аддоны?

каким бы наиболее дешёвым способом уметь получать нотификацию, что слушателей нет

"нет" в смысле часть тредов завершилась или dupTChan никто не вызывал?

все завершились

слушателей не осталось

мне очень лень делать каунтер, который не факт что "клиент" сможет меинтейнить

а делать прокси объект с финализатором, как-то тоже печально

haskell for mac нормальный IDE по сравнению с emacs+аддоны?

Ниче так, но ИМХО аддон к IDEA - получше его

правда тогда на "клиента" не будут накладываться требования

Как-то это безрадостно, да. У меня познания скромные в данном вопросе, но кажется проще предоставить враппер поверх forkIO и заставить его вызывать, чем полагаться на GC (опять же это, вполне возможно плохо применимый, опыт с JVM)

но вообще "фиг знает"

нету форкио

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

и прямого отношения рабочий тред подписка

есть н сервисов и рабочий подписан к одному из

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

рабочий процесс написан криво и там не сделать bracket

и.е. исключение может положить все в неконсистентное состояние

хм

гарантии даваемые GC покатят в принципе

невызов возможен только при выключении, а эта ситуация обрабатывается