← All posts tagged Haskell

fmap

Кому-нибудь удавалось довести второтег до более-менее юзабельного состояния? И если да, то насколько трудоемка эта затея?
Сам по себе он выглядит достаточно интересно, но из коробки пользоваться не особенно получается, что скорее всего есть пожелания самих авторов.

fmap

Объясните. Есть массив битов, изначально везде нули. Затем n потоков хотят некоторые биты установить в 1. Т.е. необходимо атомарно переключать битики. Проблема в том что массив может быть достаточно большой, поэтому TArray использовать не хочется, а хочется чтобы все это происходило inplace.
Как кошерно можно это сделать?

fmap

А есть что-нибудь типа Data.Vector.Storable но c задаваемым выравниванием? Мне нужен alignment на 1024. (хотя вроде не так сложно навелосипедить свой, используя Data.Vector.Generic, но все же)

fmap

Обясните. Вот есть:
class S (a :: *) (b :: *) | b -> a
class C (c :: *) 
data T a = T
instance S a b => C (T b)
и инстанс просит UndecidableInstances. 
> Variable occurs more often in a constraint than in the instance head
Но ведь `a' можно однозначно вывести? В чем проблема?