Size: a a a

PureScript — русскоговорящее сообщество

2019 March 03

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Обычно это мало о чем говорит
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Ryner :: () -> IO ❄️
У многих тут наверное так же с монадами :)
Монады-то я смогу нормально объяснить, наверное. С рекурсией уже даже пытаться не буду
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Все там ок
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
в lyhfgg мне больше всего было с типами-застёжками не понятно, но это было в 2015, я уже плохо помню что именно и почему было сложно
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
в lyhfgg мне больше всего было с типами-застёжками не понятно, но это было в 2015, я уже плохо помню что именно и почему было сложно
Ну это производные типа
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Все это херня вот многое из зоопарка профункторов, вообще никакого материала нет, даже особо первоисточники не найти
источник

KV

Kirill Valyavin in PureScript — русскоговорящее сообщество
Речь-то про педагогику. Если формально подходить, к LYAH вопросов нет
источник
2019 March 04

I

I_m_🤔 in PureScript — русскоговорящее сообщество
Can anyone post an example of a function returning multiple values in purescript?  I am so sorry to ask these many questions...
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
I_m_🤔
Can anyone post an example of a function returning multiple values in purescript?  I am so sorry to ask these many questions...
Like this?
f x = (x, x)
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Or
f x = (x, x > 0, x / 2)
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
I_m_🤔
Can anyone post an example of a function returning multiple values in purescript?  I am so sorry to ask these many questions...
источник

I

I_m_🤔 in PureScript — русскоговорящее сообщество
Tqsm... 👍
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
I_m_🤔
Tqsm... 👍
And you can access it like this
источник
2019 March 05

IR

Ilya Rezvov in PureScript — русскоговорящее сообщество
тут наверное уже 100 раз обсудили, но что там с type families в пурсе?
источник

IR

Ilya Rezvov in PureScript — русскоговорящее сообщество
судя по этому респонсу у них был шанс в 2016 https://github.com/purescript/purescript/issues/1719#issuecomment-222181930
источник

IR

Ilya Rezvov in PureScript — русскоговорящее сообщество
понятно что Фил съехал, но может там кто подхватил начинание
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
не уверен на 100%, но похоже никто этим не занимается
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
все удовлетворились наличием фандепов и не стремятся реализовать семейства типов
источник

p

parket in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
все удовлетворились наличием фандепов и не стремятся реализовать семейства типов
Похоже фандепов хватило.
источник

p

parket in PureScript — русскоговорящее сообщество
Ilya Rezvov
понятно что Фил съехал, но может там кто подхватил начинание
Куда съехал?
источник