DB
Ну то есть написать-то можно и по-старинке, без этих модностей ваших. Но что-то как-то)))
Size: a a a
2020 October 29
DB
Взял бы обычный async, vty и сё
DB
А вы на придумывали каво-то)
KV
Обычный vty это жуть, конечно, хоть бы brick что ли
DB
Что-то я с бриком не подружился. Как и в любом фреймворке влево-вправо и начинаешь приседать
JS
Никто не знает никаких гайдов по построению архитектуры интерактивного приложения? Или только готовые сорцы остаётся читать?
MVC и его производные
KV
Что-то я с бриком не подружился. Как и в любом фреймворке влево-вправо и начинаешь приседать
Ну да, там эльм-подобная архитектура, поэтому такое. В рефлексе получше
DB
Ну да, там эльм-подобная архитектура, поэтому такое. В рефлексе получше
А ты чего писал на рефлексе, есть посмотреть?)
KV
А ты чего писал на рефлексе, есть посмотреть?)
Выше кинул example.hs. Я конечно его не писал, но добавил виджет коробки с заголовком))
KV
На нормальном рефлексе, который для веба, есть побольше кода, полноценное TodoMVC например
ИБ
Кстати кто-то может объяснить приницип как с generic сделать общее правило, а для определённых полей другое?
Можно с помощью overlappable и отдельных тайпклассов что-то подобно реализовать, если я правильно вопрос понял =)
data TestData = TestData { f :: Int , g :: Int , k :: String } deriving (Show, Generic)class Test f where test :: f xclass FieldSpecial f where fieldS :: f xclass FieldCommon f where fieldC :: f xinstance Test f => Test (C1 c f) where test = M1 testinstance (Test f) => Test (D1 c f) where test = M1 testinstance (Test f, Test g) => Test (f :*: g) where test = test :*: testinstance FieldSpecial f => Test (S1 (MetaSel (Just "f") a b c) f) where test = M1 $ fieldSinstance {-# OVERLAPPABLE #-} (FieldCommon f, Selector c) => Test (S1 c f) where test = M1 $ fieldCinstance FieldSpecial (K1 R Int) where fieldS = K1 0instance FieldCommon (K1 R Int) where fieldC = K1 1instance FieldCommon (K1 R String) where fieldC = K1 "Test"gtest :: forall a . (Generic a, Test (Rep a)) => agtest = to $ testDB
Выше кинул example.hs. Я конечно его не писал, но добавил виджет коробки с заголовком))
Ну я просто о том, что _часто_ экзамплы не очень правдивы. Они очень ловко обходят проблемы фреймворков/либ
JS
А ты чего писал на рефлексе, есть посмотреть?)
не я писал, но я поделюсь https://youtu.be/xB4tPs5plGU
KV
Ну я просто о том, что _часто_ экзамплы не очень правдивы. Они очень ловко обходят проблемы фреймворков/либ
Ну мне достаточного того, что ФРП строго круче TEA, потому что TEA легко выражается в терминах ФРП, а наоборот нифига. Раз на TEA как-то пишут, то на ФРП должно быть не хуже
YS
Игорь Белоусов
Можно с помощью overlappable и отдельных тайпклассов что-то подобно реализовать, если я правильно вопрос понял =)
data TestData = TestData { f :: Int , g :: Int , k :: String } deriving (Show, Generic)class Test f where test :: f xclass FieldSpecial f where fieldS :: f xclass FieldCommon f where fieldC :: f xinstance Test f => Test (C1 c f) where test = M1 testinstance (Test f) => Test (D1 c f) where test = M1 testinstance (Test f, Test g) => Test (f :*: g) where test = test :*: testinstance FieldSpecial f => Test (S1 (MetaSel (Just "f") a b c) f) where test = M1 $ fieldSinstance {-# OVERLAPPABLE #-} (FieldCommon f, Selector c) => Test (S1 c f) where test = M1 $ fieldCinstance FieldSpecial (K1 R Int) where fieldS = K1 0instance FieldCommon (K1 R Int) where fieldC = K1 1instance FieldCommon (K1 R String) where fieldC = K1 "Test"gtest :: forall a . (Generic a, Test (Rep a)) => agtest = to $ testтам на перекрытии далеко не уедешь
DB
не я писал, но я поделюсь https://youtu.be/xB4tPs5plGU
Норм, гляну
YS
"только на перекрытии"
KV
Ну я просто о том, что _часто_ экзамплы не очень правдивы. Они очень ловко обходят проблемы фреймворков/либ
Плюс, ФРП, по крайней мере рефлекс, неплохо расширяется за счёт того, что можно всегда сделать свой стрим и в него пихать что угодно через IO, т. е. если чего не хватает, то всегда можно доделать
DB
Смотрю вот и никак не могу понять сути Behaviour
DB
А не, кажись понял