Телеграмм чат группы purescript

Size: a a a

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

79 membersпожаловаться на группу

2018 December 22

ЗП

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

можно же вроде записать MonadAsk Env AppM и не выделываться с тем, что в пурсе работает через одно место

источник

14:01пожаловаться

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

там такой коммент ещё:

This instance has to be defined manually, as we are using a type synonym rather than a newtype for our environment.

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

источник

14:07пожаловаться

ЗП

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

Vasiliy Yorkin

там такой коммент ещё:

This instance has to be defined manually, as we are using a type synonym rather than a newtype for our environment.

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

откуда это?

источник

14:11пожаловаться

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

я видел TypeEquals в 2х местах:
1) у Томаса в halogen-realworld
2) у него же в halogen-formless

источник

14:12пожаловаться

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

и я даже его спрашивал об этом,
но забыл, что он отвечал и хистори уже нет)

источник

14:12пожаловаться

ЗП

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

Vasiliy Yorkin

я видел TypeEquals в 2х местах:
1) у Томаса в halogen-realworld
2) у него же в halogen-formless

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

источник

14:15пожаловаться

ЗП

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

а для каждого каинда создавать такой TypeEqualsN не охота

источник

14:16пожаловаться

ЗП

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

есть пакет и он один

источник

14:17пожаловаться

ЗП

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

https://github.com/purescript/purescript-type-equality

GitHub

purescript/purescript-type-equality

Type equality constraints. Contribute to purescript/purescript-type-equality development by creating an account on GitHub.

источник

14:17пожаловаться

ЗП

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

в хаскель я бы написал a ~ b => ... но так как и a и b имеют поликаинд то в пурсе все обсирается

источник

14:17пожаловаться

ЗП

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

обосралось оно в секции Rift

источник

14:19пожаловаться

ЗП

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

https://github.com/xgrommx/purescript-profunctor/blob/master/src/Data/Profunctor/Composition.purs

GitHub

xgrommx/purescript-profunctor

Profunctor type classes and data structures. Contribute to xgrommx/purescript-profunctor development by creating an account on GitHub.

источник

14:19пожаловаться

ЗП

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

там мне надо p ~ q

источник

14:19пожаловаться

ЗП

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

для большего понимания зачем тебе эти тайп эквалити почитай это
https://blog.infinitenegativeutility.com/2017/1/haskell-type-equality-constraints
@savage42

источник

14:27пожаловаться

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

спасибо! вроде то, что надо

источник

14:28пожаловаться

2018 December 23

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

можно как-то halogen-компонент использовать внутри -> HTML p i компонента?
знаю, что формулировка вопроса мутновата, но кто знает, тот поймёт, наверное

источник

19:00пожаловаться

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

мне кажется я хочу странного
думаю, мне это не должно быть нужно
можно просто передать компонент:

header 
  :: forall s f g i p
   . H.ComponentHTML s f g ... 
  -> Maybe User 
  -> Route 
  -> H.ComponentHTML s f g ...

источник

19:03пожаловаться

2018 December 24

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

https://discourse.purescript.org/t/realworld-halogen-ready-for-technical-review/547

PureScript Language Forum

RealWorld Halogen ready for technical review

Over the past two months I’ve written an implementation of the RealWorld project for Halogen. You can see all 3,000 lines of the completed project here (pending some tests): It’s the only project I’m aware of that showcases how to build a non-trivial application in PureScript. It follows the ReaderT pattern and comes with a long-form guide (still in progress) explaining the ideas and principles behind the implementation. I am nearly ready to submit the project to the official RealWorld proje...

источник

00:59пожаловаться

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

тестов там нехватает)
но писать я об этом, конечно, не буду

источник

22:15пожаловаться

2018 December 26

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

источник

13:25пожаловаться