Size: a a a

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

2018 June 05

VY

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

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
с клавиатурой
источник

ЗП

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

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
да нет, все так, можно на корутинах сделать
источник

VY

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

ЗП

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

к

кана in PureScript — русскоговорящее сообщество
не ясно, зачем нужен SProxy
источник

к

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

к

кана in PureScript — русскоговорящее сообщество
у меня еще короче галоген не завелся
источник

к

кана in PureScript — русскоговорящее сообщество
источник

к

кана in PureScript — русскоговорящее сообщество
я посмотрел, выглядит как использование легаси ps-dom
источник
2018 June 13

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
а как правильно инфиксно вызвать функцию с аргументами больше двух?
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
типа:

testF :: Int -> Int -> Int -> Int -> Char
testF a b c d = 'x'

1 `testF` 2 ? ?
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Anton Kotenko
а как правильно инфиксно вызвать функцию с аргументами больше двух?
никак, тут уже надо mixfix как в agda
http://agda.readthedocs.io/en/v2.5.2/language/mixfix-operators.html
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
ох, понял, спасибо!
источник

Aq

A64m AL256m qn[cores] in PureScript — русскоговорящее сообщество
Anton Kotenko
типа:

testF :: Int -> Int -> Int -> Int -> Char
testF a b c d = 'x'

1 `testF` 2 ? ?
> (1 `testF` 2) 3 4
источник

Aq

A64m AL256m qn[cores] in PureScript — русскоговорящее сообщество
или так в пурскрипте не сработает? (в хаскеле-то да)
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
A64m AL256m qn[cores]
> (1 `testF` 2) 3 4
ну это понятно, но человек реально хотел миксфиксы
источник

Aq

A64m AL256m qn[cores] in PureScript — русскоговорящее сообщество
не знаю, можно ли так в пурскрипте, но в хаскеле что-то миксфиксообразное можно накостылить (более чем одним объявлением)

> if_ a = a
> then_ b x y = if b then x else y; infixr 1 `then_`
> else_ = ($); infixr 0 `else_`
> if_ False `then_` 1 `else_` 0
0
> if_ True `then_` 1 `else_` 0
1
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
в пурсе подобное вроде можно
ifThenElse = if _ then _ else _
источник