к
Size: a a a
2020 July 12
MK
не-не, я имею в виду что
обычный байтсринг это поинтер + длина (+ оффсет)
если unsafeUseAsCString то он же только поинтер за O1 вставит, а длину ему взять неоткуда
обычный байтсринг это поинтер + длина (+ оффсет)
если unsafeUseAsCString то он же только поинтер за O1 вставит, а длину ему взять неоткуда
unsafePackCString / packCString кстати через strlen() длину берёт
MK
поэтому O(n)
KZ
Офсет Эдвард предлагает убрать https://github.com/haskell/bytestring/pull/175
аа
такой вопрос. У меня хаскель модуль с логикой приложения экспортирует в си код вот такие функции. Как мне лучше менеджить состояние Model? Создавать стейбл птр и каждый раз вытаскивать новую модель из возвращаемого значения? или есть другие методы
аа
ну и модель, конечно с изначальным ее состоянием **экспортируются
МВ
С таким подходом я не смогу использовать Data.Tree
МВ
Переслано от кана
data Program
= Program [Decl]
data Decl
= VarDecl Id Lit
| FuncDecl Id [Id] Expr
data Expr
= Lit Lit
| LocalVar Id Expr
| SetVar Id Expr
| GetVar Id
| Apply Expr [Expr]
| If Expr Expr Expr
| While Expr Expr
| Block [Expr]
data Lit
= IntLit Int
| BoolLit Bool
newtype Id
= Id String
ну что-то вроде такого
получается паскаль без фичей
МВ
Ну да...
МВ
Согласен
2020 July 13
MM
why they do not update I do not know
Md
github полёг?
KZ
вроде ожил
L
Всем привет!
В этот четверг (16.07) в 19-00MSK будет доклад от Владимира Серова (@CabiaRangris)
"Nix как среда разработки: краткое руководство пользователя":
На встрече Владимир расскажет, как делать воспроизводимые окружения без боли и слёз, и в чём уступают docker и другие language-specific пакетные менеджеры.
Ссылка появится в ЭТОМ канале за 5 минут до старта.
Всех ждём!
В этот четверг (16.07) в 19-00MSK будет доклад от Владимира Серова (@CabiaRangris)
"Nix как среда разработки: краткое руководство пользователя":
На встрече Владимир расскажет, как делать воспроизводимые окружения без боли и слёз, и в чём уступают docker и другие language-specific пакетные менеджеры.
Ссылка появится в ЭТОМ канале за 5 минут до старта.
Всех ждём!