и haskell

на каком-то

ну или другое фп

кока не знаю, скалу знаю с котиками, кок планировал выучить в этом семестре

А что на формальной верификации учат?

ПРОЛОГ

Datalog

SMT

SAT

я юзал Z3

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

кока не знаю, скалу знаю с котиками, кок планировал выучить в этом семестре

если с теорией типов все хорошо, то за семестр можно продвинуться неплохо

я не знаю теории хорошо, я просто математик с горя с того что за кородон в магистратуру/аспирантуру не взяли переехавший в скалисты

еще стоит добавить, что есть несколько диалектов Coq, так что за такое ограниченное время лучше учить то, что потом будет использоваться в проекте (если цель — вкатиться в какой-то проект)

@AntonTrunov тебе кстати твиг что-нибудь ответил?

цели такой нет но спецкурс есть

@AntonTrunov тебе кстати твиг что-нибудь ответил?

неа, до техн. интервью не добрались )

а у меня потом другой проект появился и я не стал теребить Мэтью

ясно

А если я, например, хочу зашарить socket между двумя threads. И закрыть его когда сдохнет только последний поток. Есть возможность это сделать, кроме как через Weak Reference ?

ResourceT не предлагапть

А если я, например, хочу зашарить socket между двумя threads. И закрыть его когда сдохнет только последний поток. Есть возможность это сделать, кроме как через Weak Reference ?

какой-то managed?

Я не понял вопрос про managed

Я не понял вопрос про managed

ну как-то сделать используя Гонзалевский managed

Ок, посмотрю

Я про него не знал

Спасибо

кто-видел уже https://hackage.haskell.org/package/kazura-queue ?

А если я, например, хочу зашарить socket между двумя threads. И закрыть его когда сдохнет только последний поток. Есть возможность это сделать, кроме как через Weak Reference ?

Вариант решения: Запустить третий тред, в нем дожидаться двух сигнальных mvar от этих двух. Они отправляют сигнал, когда все сделали.

Третий тред закрывает ресурс

А если я, например, хочу зашарить socket между двумя threads. И закрыть его когда сдохнет только последний поток. Есть возможность это сделать, кроме как через Weak Reference ?

нафиг weak reference

resourcet и то лучше

weak reference слишком ненадёжная штука

но если соберёшься то делай его на mvar в котором сокет хранить будешь

а то шарить ресурс без синхронизированного апи, это такое

третий тред только если он и так и так уже есть

@drcha0s ^

если тебе не поможет resourcet то и managed не поможет

managed это обычный bracket в красивой обертке

а с resourcet можно выразить строго больше, чем с bracket

managed это обычный bracket в красивой обертке

ну как бы с ним можно выразить bracket, но это не только bracket manageBracket :: MonadManaged m => IO a -> (a -> IO b) -> m a manageBracket create destroy = managed ( bracket create destroy )

managed это bracket в обертке

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

хорошая штука, наверное

та черт возьми это просто ContT только удобней

я говорю, что с resourcet можно выразить строго больше

с bracket/managed ты не можешь сделать раннее освобождение ресурса, или передачу ресурса в другой тред

и с bracket/managed и resourcet возможен use after free

т.е. от него они не защищают

вот.

та черт возьми это просто ContT только удобней

а ты так говоришь как будто я этого не знаю

я считаю что second в Bifunctor и rmap в Profunctor должны быть удалены, после введения QuantifiedConstraints

потому что хватит такого class (forall x. Functor (f x)) => Bifunctor1 f where bimap1 :: forall a b c d. (a -> b) -> (c -> d) -> f a c -> f b d lmap1 :: forall a b c. (a -> b) -> f a c -> f b c lmap1 f = bimap1 f id class (forall x. Functor (f x)) => Profunctor1 f where dimap1 :: forall a b c d. (a -> b) -> (c -> d) -> f b c -> f a d lcmap1 :: forall a b c. (a -> b) -> f b c -> f a c

resourcet и то лучше

Там weak reference под капотом

Там weak reference под капотом

это ложь

там IORef с reference counter

а что вы думаете о ComponentM?

reosourcet это обычный bracket (newIORef []) (releaseReferences) $\x ->Resourcet $ runReaderT f x

а что вы думаете о ComponentM?

меня не убедили что он полезный

Значит меня глючит, я когда ему под капот смотрел, кажется weak reference где-то видел

не, никогда не было

Но там возможно наряду с IORefом

Я посмотрю

на weak reference нельзя хорошо полагаться, оно сильно зависит от GC

и не prompt

Ну мне достаточно чтоб он когда-то закрыл сокет

там каунтер, который для forkResourceT нужен

ERROR: S client not available

я делаю так: 1. логика вкладывается в bracket - то его или managed 2. не вкладывается - resources 3. вкладывается но нужно забороть use after free - рагионы

регионы

учитывая что у тебя в команде не дураки код пишут мест для 3 почти нет

и.к. защита от use after free идёт дорогой ценой

Мне resourceT не очень хочется тащить

могу поспорить ты его уже тащишь

Нет

нужна утилита "использую ли я это"

Это Легаси хаскел :D

Вопрос, кто-нибудь знает хорошие либы для gui в терминале на ascii? Аля, чтобы можно было такое сделать https://github.com/jesseduffield/lazygit

серьезно ни варпа ни кондуитов ничего этого нету?

ещё вариант сделать мини resourcet

Да не либу взять не проблема, я не хочу менять существующий код

Вопрос, кто-нибудь знает хорошие либы для gui в терминале на ascii? Аля, чтобы можно было такое сделать https://github.com/jesseduffield/lazygit

попробуй brick. он не то чтобы хороший, но работает

нужна утилита "использую ли я это"

stack —list-dependencies | grep resourcet

попробуй brick. он не то чтобы хороший, но работает

Счас посмотрим

https://serokell.io/ariadne/ тут есть демонстрация чего на нем реально запилить

это надо стек ставить

тогда cabal freeze и посмотреть в сгенеренном файле

или он зависимости зависимостей не показывает?

Вопрос, кто-нибудь знает хорошие либы для gui в терминале на ascii? Аля, чтобы можно было такое сделать https://github.com/jesseduffield/lazygit

знаю только brick https://samtay.github.io/articles/brick.html https://github.com/jtdaugherty/brick

https://serokell.io/ariadne/ тут есть демонстрация чего на нем реально запилить

Видимо пойдёт, заодно для ады кошель нашёл

Daedalus сложно заводится

лол

@VividDesires можешь ещё и работу найти ;)

Приходи к нам работать;) jobs@serokell.io

Счас сильно повязан на текущий проект, как доделаю, так сразу

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

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

Мне CLI больше по душе

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

а урлу на репу скинете?

github.com/serokell/ariadne