JS
с новым годом! 🔥
GHC в каждый дом! 😱
GHC в каждый дом! 😱
как минимум, GHC RTS
Size: a a a
2021 January 01
ЗП
Всех с новым годом!
NI
И тебя от всех ;-)
AR
с новым годом! 🔥
GHC в каждый дом! 😱
GHC в каждый дом! 😱
Звучит как "GHC в хату, Хаскель в радость" :)
С Новым годом!
С Новым годом!
K
Ну там есть
и пока есть
в которых по сути дублируется логика поиска, где переменная должна лежать, хочется объединить в одну линзу и выразить через неё и get и set
type VarInfo = Type --пока только тип переменной
type Memory = M.Map Name VarInfo
data Builtin = Builtin
{ bGlobalVar :: Memory
, bGlobalConst :: Memory
}
data Context = Context
{ cLocal :: [Memory] --стек
, cObjects :: M.Map Name Memory --поля объектов
}
type Checker = RWS Builtin Log Context
и пока есть
getVar :: Variable -> Checker (Maybe VarInfo)
setVar :: Variable -> VarInfo -> Checker ()
в которых по сути дублируется логика поиска, где переменная должна лежать, хочется объединить в одну линзу и выразить через неё и get и set
Переписать get и set через get/modify и линзу над состоянием сделать через конструктор lens
С
сейчас модно pipes использовать ?
С
или есть что то моднее
С
кроме conduit
MK
Стриминг вроде
NI
Стриминг вроде
streamly, в смысле?
MK
Нет, есть вроде и тупо streaming
AP
В Хаскель ин Депс стриминг а не стримлы/пайпс/кондуит кстати
MK
В Хаскель ин Депс стриминг а не стримлы/пайпс/кондуит кстати
Брагилевский?
AP
Брагилевский?
Угумс
AP
не знаю, хорошо или плохо это
Ну, я со стримингом в принципе практически не работал, но когда книжку вычитывал, мне понравилось. ВН говорит, что streaming это свежий взгляд на эту задачу, с учётом уроков выученных первопроходцами
С
Стриминг вроде
крутая библиотека, спасибо
2021 January 02
DB
Вопрос знатокам: у меня есть дерево выражения, на нем могут быть связанные переменные. Нужно из дерева скомпилировать выражение Compiled = Val Double | Func ([Double] -> Double). Вопрос: как это сделать, чтобы не городить стек из лямбд?
DB
Да, именно это я назвал стеком. Чето жирно выходит