YL
один из этих RowToList не удовлетворен, но какой? :)
Size: a a a
2018 August 08
VY
там какой-то трюк был с identity в формах, но кажется это не про это
YL
да, это было в другом месте...
YL
А ещё прикол с этими частично применёнными type aliases
YL
как только мне нужен forall внутри типа, то частичное применение вылетает в трубу
YL
type Foo m a = Bar (m a)
type Baz = forall r. Foo (Run r) — труба, не работает
type Baz = forall r. Foo (Run r) — труба, не работает
2018 August 09
AK
а почему
foreachE принимает Array, а не List?ЗП
а почему
foreachE принимает Array, а не List?потому что array эффективней, это оригинальный array из js
ЗП
но ты всегда можешь сделать что-то типа
`
`
foreachE ((toUnfoldable ::List ~> Array) yourList) ...`AK
но ты всегда можешь сделать что-то типа
`
`
foreachE ((toUnfoldable ::List ~> Array) yourList) ...`это да. просто в документации во многих местах "prefer List over Array", а тут в самом нежном месте
ArrayЗП
Префер, только потому что List рекурсивный, хотя у того же массива вместо pm можно юзать Array.uncons
ЗП
Ну и лист не эффективен для жс
VY
типа листы максимально похожи на хаскельные массивы по интерфейсу работы с ними
> PureScript does not provide any means of matching arrays of an unspecified length, since destructuring immutable arrays in these sorts of ways can lead to poor performance. If you need a data structure which supports this sort of matching, the recommended approach is to use
> PureScript does not provide any means of matching arrays of an unspecified length, since destructuring immutable arrays in these sorts of ways can lead to poor performance. If you need a data structure which supports this sort of matching, the recommended approach is to use
Data.ListAP
Листы похожи на хаскельные листы
AP
Хаскельные массивы, это Array и Vector
VY
ага, ну я про паттерн-матчинг с x:xs, именно про : vs uncons
вроде даже
вроде даже
: для Array когда-то был, емнип его потом выпилили (но это не точно)AP
В хаскеле
:, это конструктор спискаVY
ну да, и тут также
2018 August 10