LO
m4 + sh, что может быть лучше
Size: a a a
2020 July 06
DI
для библиотеки - просто отдать lib.h и если надо lib.c
DI
кому надо, тот подключит в свой симейк, базель или еще какую хипстоту
LO
какие-то не интерпрайзные библиотеки у вас
LO
это уж очень кроссплатформенно должно быть
LO
впрочем с nix прокатит
Oℕ
Kir
С линейными типами они могут быть полезны
пожалуйста, перечитайте сообщение, на которое вы ответили
MK
да что ж вы всё тригерите
MK
опять подумал что спам
2020 July 07
MP
опять наткнулся и опять не понимаю как это работает
f :: s -> b
…
where
g :: s -> z
g = …
Couldn't match type ‘s1’ with ‘s’
f :: s -> b
…
where
g :: s -> z
g = …
Couldn't match type ‘s1’ with ‘s’
MP
ScopedTypeVariables не меняет ничего
MP
причем убрать сигнатуру у g я не могу, потому что она используется с двумя разными z и автоматически выводится мономорфный вариант и все ломается
MP
кому вообще пришло в голову, что программист, используя одну и ту же букву, будет иметь в виду разное
MK
ScopedTypeVariables не меняет ничего
forall напиши
MP
forall напиши
не хочет
в полном варианте это выглядит так
validatorServer :: Storage s => AppContext s -> Server API
validatorServer = …
where
blabla :: forall s a . (Tx s 'RO -> WorldVersion -> IO [a]) -> IO [a]
в полном варианте это выглядит так
validatorServer :: Storage s => AppContext s -> Server API
validatorServer = …
where
blabla :: forall s a . (Tx s 'RO -> WorldVersion -> IO [a]) -> IO [a]
MP
все еще Couldn't match type ‘s1’ with ‘s’
MP
окей - завтра еще поиграюсь
AR
опять наткнулся и опять не понимаю как это работает
f :: s -> b
…
where
g :: s -> z
g = …
Couldn't match type ‘s1’ with ‘s’
f :: s -> b
…
where
g :: s -> z
g = …
Couldn't match type ‘s1’ with ‘s’
{-# LANGUAGE ScopedTypeVariables #-}
...
f :: forall b s. s -> b
f = ...
where
g :: s -> z
g = ...Не в том месте просто нужно было
forall ставить.