Про SoA vs AoS даже не упомянули

Про кого?

Structure of arrays (unboxed) vs array of structures (storable)

бывают анбоксед aos же

анбоксед просто пишешь лейаут какой хочешь

В общем да. На том же уровне завиральности как и волшебный анбоксед

Снойман - голова! Ему палец в рот не клади!

а вот и ты, криптобот

Can i post a link about haskell dev grant up to 50k ?

он полуручной однако

Sorry dont speak russian

crypto- related offerings not allowed here

Ok

Its not cardano, if someone is interested pm , thanks have a nice day

yes

всё по теме

Cardano is definitely allowed. Haskell cryptocurrencies, too. cryptocurrecy-abusers — no

Try kadena grants, you can learn, program in haskell and get paid,  https://t.co/Xt6qJWbki2

class Curryable (list :: [Type]) where
  hetCurry' :: (HList list -> a) -> Curry list a

instance Curryable '[] where
  hetCurry' f = f Unit

instance Curryable bs => Curryable (a ': bs) where
  hetCurry' f a = hetCurry' $ f . (a :>>)

hetCurry :: forall list a. (HList list -> a) -> Curry list a
hetCurry = hetCurry'

Понадобилась мне недавно одна функция, никак написать не получается

Понятно, что компилятор не понимает, что Curriable a выполняется всегда, но я готов ради благого дела его перехетрить (пробовал Incoherent instances и unsafeCoerceConstraint, ловил либо то, что всегда использовался инстанс который никогда не должен вызываться, либо сегфолты если unsafeCoerceConstraint). Если кто то умеет писать такую функцию или хотя бы доказывать что это невозможно - помогите пожалуйста

type family Curry (list :: [Type]) a :: Type where
  Curry '[] a = a
  Curry (b ': cs) a = b -> Curry cs a

class Curryable (list :: [Type]) where
  hetCurry' :: (HList list -> a) -> Curry list a

instance Curryable '[] where
  hetCurry' f = f Unit

instance Curryable bs => Curryable (a ': bs) where
  hetCurry' f a = hetCurry' $ f . (a :>>)

hetCurry :: forall list a. (HList list -> a) -> Curry list a
hetCurry = hetCurry'

type family Curry (list :: [Type]) a :: Type where
  Curry '[] a = a
  Curry (b ': cs) a = b -> Curry cs a

а в чём проблема?