p
Тем временем 0.13 залили на hackage.
На npm всё еще 0.12.5. Package-set пока также не готов.
На npm всё еще 0.12.5. Package-set пока также не готов.
Тем временем 0.13 залили на hackage.
На npm всё еще 0.12.5. Package-set пока также не готов.
Size: a a a
2019 May 30
ЗП
psvm install v0.13.0
psvm use v0.13.0
2019 June 02
ГХ
А кто-то использует purescript в продакшн и для чего?
p
А кто-то использует purescript в продакшн и для чего?
Да, для фронта
ГХ
А поподробнее можно? Размер пользовательской аудитории. Заказчики как относятся к использованию не самого популярного яп?
p
Заказчики из тех кому пофиг как сделано. Им важно чтоб без багов было, и удовлетворяло требованиям.
Аудитории пока никакой нет. Разрабатывается как замена уже существующему решению ( оно давно на проде ).
Аудитории пока никакой нет. Разрабатывается как замена уже существующему решению ( оно давно на проде ).
p
В целом, скорость разработки, надежность, простота рефакторинга. Все на высоте.
p
Основной набор библиотек:
Halogen 5
Affjax
Argonaut
+ самописная обертка над SDK некоторого 3-го сервиса.
Halogen 5
Affjax
Argonaut
+ самописная обертка над SDK некоторого 3-го сервиса.
2019 June 04
AK
Плохо ещё разбираюсь в existential и подобных штуках, спрошу вопрос, если он совсем глупый — направьте, пожалуйста, что почитать на эту тему подробнее, чем на HaskellWiki.
class (MyClass c d) where
f1 :: c -> d
f2 :: c -> d -> Boolean
f3 :: c -> d -> d
instance xyMyClass :: MyClass X Y where
...
data Foo c d = Foo (MyClass c d => ...)
data DifferentFoos d = DifferentFoos (Map String (forall c. Foo c d))
data X = ...
data Y = ...
myFoo :: Foo X Y
myFoo = Foo ...
myDifferentFoos :: DifferentFoos Y
myDifferentFoos = DifferentFoos $ Map.singleton "test" myFoo
AK
последняя строчка не компилируется
AK
Что ожидаю:
DifferentFoos это Map, содержащий значения с различным для каждого параметром c, но общим для всех d.AK
или так вообще нельзя?
VY
но ведь
myFoo не для любых c, а для конкретного XAK
последняя строчка не компилируется
Could not macth type c1 with type XAK
но ведь
myFoo не для любых c, а для конкретного Xда, это же конктретный "экземпляр" уже, который хотел положить в
MapVY
он должен "работать" на всех
cAK
кажется понимаю
AK
тогда может я неправильно описываю кодом то, чего хочу добиться?
AK
потому что читаю
forall c. как "для любого C, в том числе и конкретного"