вот вне STM нормальных каналов нет

(B)Queue норм, а каналы плохие

просто я сказал, что возможно стоит подумать в сторону где тред уведовляет об изменениях через канал

Не, такое не нужно, мне кажется.

возможно..

(B)Queue норм, а каналы плохие

А что ты скажешь про TArray? Меня несколько смущает этот тип там.

это stm-containers?

я чего-то ими никогда не пользовался и мне либа сильно не понравилсь

Не, прям в stm

newtype TArray i e = TArray (Array i (TVar e)) deriving (Eq, Typeable) <-

ну такое..

fixed size массив с возможными error вместо TVar

мне не приходилось использовать его

Там написано "вы можете сделать свою, более эффектинвую реализацию Array для STM" Я не очень понимаю, что с ним делать, с таким массивом

ну если у тебя есть пачка переменных STM которых можно индексировать то может и норм

мы ж задачи не знаем

Задача у меня - обёртка для dzen, типа [1], только гораздо круче. Фреймворк для создания интерактивных UI. Он будет спавнить dzen и слушать его stdout - так можно реагировать на пользовательские события. Плюс к этому, тип данных, генерируемых плагинами (которые будут представлены любым IO), будет не Text, а AST, соответствующее DSL dzen[2]. И над этим AST можно выполнять преобразования. Анимации делать, раскрашивать, вот это всё - до того, как оно попадает на вход dzen. [1]. https://hackage.haskell.org/package/dzen-utils [2] https://github.com/robm/dzen См. "In-text formating & control language"

Звучит классно!

Оно уже написано (год назад), но в настолько плохом стиле, что лучше я не будут пока публиковать. К тому же без асинхронности плагинов это практически бесполезная вещь.

плохость стиля не повод не публиковать. надо публиковать, чтоб оценить насколько функциональность удобна/востребована

@cblp_su а crdl для динамических таблиц существует?

где динамическая значит что можно менять столбцы и строки местами добавлять и удалять

прсото если для обычного текста есть, то тут наверное так же можно?

@cblp_su а crdl для динамических таблиц существует?

crdt?

crdt представление

cdrt?

именно для таблиц не встречал, могу поискать. навскидку — для текста применяется любой из sequence типов, таблицу можно представить как sequence (sequence a)

если ячейки не перемещаются, то LWW-словарик, где в качестве ключей индексы в таблице

где динамическая значит что можно менять столбцы и строки местами добавлять и удалять

ой, пропустил собщение. тогда не LWW. sequence (sequence a) должно сработать

type Table a = RGA (RGA a) type RgaString = RGA Char type MyTable = Table RgaString

а с какой целью интересуешься?

думаю можно ли чтото более лучшее с alphasheets сдлелать чем там есть

думаю можно ли чтото более лучшее с alphasheets сдлелать чем там есть

хочешь продать им разработку?

не

я ж и так на них работаю

ну, не себя продать, а ещё одну фичу?

типа того

если это сохранит моё sanity

плохость стиля не повод не публиковать. надо публиковать, чтоб оценить насколько функциональность удобна/востребована

ОК. https://gitlab.com/klntsky/dzeny Демо создаёт директорию ~/.dzeny И оно запускает mpc, nmcli, uname, amixer - если чего-то нет, нужно редактировать Demo.hs

Спасибо, посмотрю вечером

Библиотека как раз для такого способа использования мультитрединга, как мне было нужно. https://hackage.haskell.org/package/auto-update-0.1.4/docs/Control-AutoUpdate.html

Господа, приветствую. Я недавно стал изучать Haskell и ФП, мне порекомендовали заниматься по http://haskellbook.com/. Можете подсказать, стоит игра свеч, а книга с сайта своих денег, или нет?

Я рекомендую курсы на Степике и "Get Programming With Haskell" (Manning). У них же готовится Haskell In Depth Брагилевского (я купил preview - тоже хорошая). В хаскел бук же много воды, и мне не нравится стиль изложения.

Я рекомендую курсы на Степике и "Get Programming With Haskell" (Manning). У них же готовится Haskell In Depth Брагилевского (я купил preview - тоже хорошая). В хаскел бук же много воды, и мне не нравится стиль изложения.

Благодарю. Заказал Get Programming with Haskell, через пару недель должна прийти. Пока начну смотреть Степик.

ну и https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749

Книг много конечно, но мне по душе слайды курса cs240h от автора

... от автора real world haskell. Лаконичные, без особой воды.

CS240h Lecture slides http://www.scs.stanford.edu/16wi-cs240h/slides/

Ребят, извините, не совсем понял, как мне поможет coerce, если я делаю не T a -> T b, а хочу сделать T a -> a?

если T это newtype то поможет

coerce :: Coercible * a b => a -> b

This two-parameter class has instances for types a and b if the compiler can infer that they have the same representation. This class does not have regular instances; instead they are created on-the-fly during type-checking. Trying to manually declare an instance of Coercible is an error. Nevertheless one can pretend that the following three kinds of instances exist.

Окей, спасибо) А что за * в нотации типа?

то что раньше было kind

там скорее всего указано что a и b из star, но haddock тупит

Понял, еще раз спасибо)

Библиотека как раз для такого способа использования мультитрединга, как мне было нужно. https://hackage.haskell.org/package/auto-update-0.1.4/docs/Control-AutoUpdate.html

я думал у тебя слегка другая задача

А как вот такой функции задать тип правильно: unwrapAndStringify :: (Coercible a b, Show b) => a -> String unwrapAndStringify = show . coerce Мне же нужно указать, что a это конструктор

не понял

а тут это любой тип, который может быть переведен в b

такое правда только с TypeApplications используешь. т.к. b не выводится

unwrapAndStringify :: forall a b. (Coercible a b, Show b) => a -> String unwrapAndStringify = show @b . coerce

что-то вроде такого, наверное

Говорит, что тип b вне контекста

я думаю нужно будет extenstion чт попросят сделать

ScopedTypeVariables

и там где применяется unwrapAndStringify тоже

@ X делать

да, и еще тогда b и a местами поменять после форолл

чтоб @_ @КЧемуКастим не писать

да

но проще писать show @Internal . coerce

Только в обоих случаях: Not in scope: type variable ‘b’ |48 | unwrapAndStringify = show @b . coerce |

> import Data.Coerce > :set -XScopedTypeVariables > :set -XTypeApplications > :set -XAllowAmbiguousTypes > :{ | foo :: forall b a. (Coercible a b, Show b) => a -> String | foo = show @b . coerce | :} > import Data.Monoid > foo @Integer $ Sum 24 "24"

{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE AllowAmbiguousTypes #-} import Data.Coerce import Data.Monoid unwrapAndStringify :: forall b a. (Coercible a b, Show b) => a -> String unwrapAndStringify = show @b . coerce test = unwrapAndStringify @Int (Sum (5::Int))

это работает в ghci

ахахаха

блин почти 1 в 1 написали

Оу

Я потерял ScopedTypeVariables

А есть какие-то хаки, что бы везде не писать теперь unwrapAndStringify @CAST_TYPE ...?

так ему неоткуда узнать к какому типу кастить иначе

если бы возвращаемый тип бвл тот к которому кастить, не понадобилось бы аннотировать

все зло от show

ну или не coerce я что-то из generic-lens/lens использовать

но его тоже можно взять из парметра функции, которая unwrapAndStringify использует

chatId' = unwrapAndStringify @ChatId ... Error: Couldn't match representation of type ‘b0’ with that of ‘Integer’ arising from a use of ‘unwrapAndStringify’

ну или не coerce я что-то из generic-lens/lens использовать

ну да, линзой на первую позицию можно из любой обертки с дженерик инстансом доставать

контекст

Всем привет. Есть ли в Haskell способ сделать деструктуризацию значения из конструктора полиморфно? Хотелось бы вместо этого: chatId' = (\(ChatId id) -> show id) . chatId . messageChat <$> mСделать что-то вроде этого: chatId' = show . UNPACK_CONSTRUCTOR_FN . chatId . messageChat <$> m

@js_monk chatId' = show @Integer . coerce .charId . messageChat <$> m не работает?

Так работает

отлчино

Спасибо большое :3

ты выше просишь привести к @ChatId

в то время как по условию задачи ты хотел наоборот к распакованному значению

с type applications понимаешь как работает

Не особо

надо рассказывать?