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

Хм, видимо никак. Есть ещё вариант myfunc = \x. myfunc x. Однако это похоже на трюк или самообман. Мне казалось, что с таким " именованием" комбинатор не нужен

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

Все началось с (\x -> x x)(\x -> x x)

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

И даже не первый, емнип. Тьюринг кажется первым определил такой комбинатор и назвал Z.

> Мне казалось, что с таким " именованием" комбинатор не нужен С таким именованием не нужен, но в лямбда-исчислении такой конструкции нет

Там тёрмы не именуются

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

вот тут что-то есть по теме: https://books.google.lv/books?id=wzTJBAAAQBAJ&printsec=frontcover&dq=type+theory+and+formal+proof&hl=en&sa=X&ved=0ahUKEwjn-7WImI3dAhVIkCwKHe4CC20Q6AEIKDAA#v=onepage&q=type%20theory%20and%20formal%20proof&f=false стр. 24-25.

Is there anyone here use english ?

this is russian mostly channel, there is https://t.me/en_haskell for intenational users, but if you'll ask a question in english here. then very likely that you'll get some reply in English as well

Is there anyone here use english ?

yes, you can ask in English here or there @en_haskell

yes, you can ask in English here or there @en_haskell

Thanks @cblp_su ?

@egor_andreev будет жить. Поприветствуем!

добавил в очередь заползающих фич не рассматриваемые пока пропозалы (главные фичи 8.6 на том же этапе еще не рассматривались) и пару пейперов с хаскель симпозиума (фичи адовые, но рассчитывать пока не на что) статус: релиз без фич прогноз: релиз с n дополнительными способами указывать типы https://gist.github.com/klapaucius/8fc2fbb48606e6dd9a9a095898e3fac4

добавил в очередь заползающих фич не рассматриваемые пока пропозалы (главные фичи 8.6 на том же этапе еще не рассматривались) и пару пейперов с хаскель симпозиума (фичи адовые, но рассчитывать пока не на что) статус: релиз без фич прогноз: релиз с n дополнительными способами указывать типы https://gist.github.com/klapaucius/8fc2fbb48606e6dd9a9a095898e3fac4

Хороший пейпер. А когда я тут подобные мысли продвигал, то встретил бурное сопротивление от некоторых участников ?

только вчера читал)

Хороший пейпер. А когда я тут подобные мысли продвигал, то встретил бурное сопротивление от некоторых участников ?

это тоже встретит

@ArtemMalinko будет жить. Поприветствуем!

@vpavkin будет жить. Поприветствуем!

@grender будет жить. Поприветствуем!

Всем привет! Извиняюсь за вторжение - кто-нибудь знает ребят, которые стоят за организацией FPConf? я имею в виду не event-агентство, а именно идейных начинателей движухи.

@PetrKir будет жить. Поприветствуем!

Всем привет! Извиняюсь за вторжение - кто-нибудь знает ребят, которые стоят за организацией FPConf? я имею в виду не event-агентство, а именно идейных начинателей движухи.

допустим, я знаю

Sathwik будет жить. Поприветствуем!

@onishenko будет жить. Поприветствуем!

я умудрился наткнуться на вот этот баг снова https://github.com/commercialhaskell/stack/issues/1808 есть какое-нибудь решение нормальное?

такое впечатление, что в +RTS -p -threaded -RTS эти две опции взаимоисключающие

насколько я помню - нет

стэк чего-то чудит у себя под капотом

как на счет того, чтобы использовать cabal-install?

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

кабал сейчас уже вроде все умеет (ну кроме бесполезной установки ghc)

cabal new-install до сих пор не работает

если из гита собирать не работает?

Я 2.4 не пробовал, хз

Просто стабильный 2.2 с new- юзал

А что там не работает? У меня ещё с дорелиза 2.0 работает

https://github.com/haskell/cabal/blob/master/cabal-install/changelog#L27

ну, в 2.2 много чего нет, да

@A64m_qb0, извините, оффтопик, а кто у вас на аватарке?

А что там не работает? У меня ещё с дорелиза 2.0 работает

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

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

@A64m_qb0, извините, оффтопик, а кто у вас на аватарке?

поддерживаю вопрос

@A64m_qb0, извините, оффтопик, а кто у вас на аватарке?

Так же солидарен и хотел бы утолить своё любопытство

Извините, а как запустить гугл?

не знаю, какой-то человек за ibm 3277, из рекламы 370(?)

плохо гуглится, кстати

в reverse image search

cabal-install работает аж с 2015, а то и раньше. Особенно с местными пакетами. При изменении либ в крайнем случае чищу песочницу. Вопросы пожалуйте в студию. ню-* ещё не пробовал. стэк возможно сам код пишет. ☺️ для сборки пакетов и cabal сойдёт.

> при изменении либ чищу песочницу Такое себе

будто со стеком stack clean 3.5 раза в день не запускаешь

старый кабал плохо работает

@A64m_qb0 а как-нибудь с линзами по человечески можно из Maybe a сделать Either X a ?

matching _Just & _Left .~ X

ок, Either X a -> Either Y a ?

ERROR: S client not available

или проще через left это?

_Left .~ Y

или _Left %~ f где f :: X -> Y

так попробую Either X (Maybe Y) в (Either Z Y) скомпозить

& (_Left %~ f) &(matching _Just & _Left .~ Z ?

не, не от

join . left f . right (maybe (Left z) Right) было бы без линзов

а с линзами как

1. xyz & _Left %~ f :: Either Z (Maybe a)

2. xyz & _Left %~ f & _Right %~ (matching _Just & _Left Z :: EIther Z (EIther Z a)

+-

(_Left .~ "Z") . matching _Just

> :t (_Left .~ "Z") . matching _Just (_Left .~ "Z") . matching _Just :: Maybe a -> Either [Char] a

у этом случае у меня Z и для случая Left, и для Right Nothing?

там не будет Right Nothing

matching вернет Left (не сматченное призмой _Just)

т.е. Left Nothing

не я сейчас пытаюсь собрать Either X (Maybe a) -> Either Z a

где Left x -> (f x), Right Nothing -> z

(_Left %~ f) . matching (_Right . _Just) тогда

пока у меня (_Left %~ f) . _Right mathicg _just

так.. а!

ещё нужно как-то добавить кейс для Right Nothing

почему не просто either?

дай повыпендриваться

чтобы понять что линзы тут не нужны нужно понять как их написать

т.к. иначе когда их надо будет написать - ты не сможешь