Расскажите для улиток чо за подкаст?

https://devzen.ru/episode-0194/ мб

немного специальной олимпиады в ленту

https://gist.github.com/voidlizard/5d9969d98f3b60741065aa510d0b820f

есть такой код: 👆

вопросы - можно ли без фундепов?

т.е зависимость Param1 и Param2 от Fact1 и Fact2 вытащить в ассоциированные типы

но при этом не втаскивать в декларацию метода ненужные прокси.

так-то фундепы реально спасают

второй вопрос - какие проблемы могут быть с фундепами?

@qnikst ?

но при этом не втаскивать в декларацию метода ненужные прокси.

type application? ну вообще же вроде почти все, что на фандепах, переписываются на ассоциативные без лишних проксей

type application? ну вообще же вроде почти все, что на фандепах, переписываются на ассоциативные без лишних проксей

+ AllowAmbiguousTypes, вероятно

@kana_sama ну вот хотелось бы понять, как. type applications засорят код в том месте, где вызываются методы тайпклассов - как-то не очень

а, тут зависимость глубокая, сложно такое не заработает, да и понятно, почему class Foo a where type Fact1 a type Fact2 a type Param1 (Fact1 a) type Param2 (Fact2 a) type Result a

неа

но!

можно вынести наружу

module Main where import Data.Fixed class Foo fact1 fact2 (a :: * -> * -> *) where type Param1 fact1 :: * type Param2 fact2 :: * type Result a :: * someMethod :: a fact1 fact2 -> Param1 fact1 -> Param2 fact2 -> Result a data USD = USD data RUB = RUB instance Foo USD RUB (,) where type Param1 USD = Fixed E2 type Param2 RUB = Fixed E2 type Result (,) = Fixed E2 someMethod (USD,RUB) _ _ = undefined

вот такое работает

только непонятно, это лучше, чем фундепы или нет

@kana_sama ну вот хотелось бы понять, как. type applications засорят код в том месте, где вызываются методы тайпклассов - как-то не очень

иногда, наоборот, расчищают. например, можно в полиморфную функцию передавать один тип-ключ вместо всех трёх

поэтому я в библиотеке crdt выбрал TypeFamilies для CmRDT

Примеров бы

Есть одна программа, она скомпилирована с -prof но при запуске с +RTS -p -RTS создается пустой файл профиля. Есть идеи почему и куда копнуть?

Т.е. файл точно создается, после удаления вновь появляется, но пустой.

как выключается программа?

сама по себе или сигналом?

Т.е. файл точно создается, после удаления вновь появляется, но пустой.

^

если сигналом - то шли сигюзр

сигналом да, sigint вроде

или не, по Ctrl-C

если сигналом - то шли сигюзр

упало по usr1 профиль все равно пустой

ой блин туплю SIGINT конечно надо

+ могут быть проблемы если форкается

ой блин туплю SIGINT конечно надо

пустой

на счет форков, какие именно имеются в виду? forkOS ?

System.Process.forkProcess

ты можешь сделать чтобы программа сама закрывалась без ^С?

разве что по таймауту

веб сервис жрет 10% проца, и я хочу определить почему.

собсно профиль не могу получить

wai течет

state где-то заныкался и течет

где-то не хвостовая рекурсия

вернее, не wai, а warp

хендлеры не запускаются, 10% он жрет в простое

коннекции к базе открывает?

держит?

да, и не только к ней

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

хотя all - это сноймановский тёк, да?

bos-вроде не тек

@drcha0s @s_ivanov мы же чинили такое недавно

по моему, это сноймановский коннекции переоткрывал по кругу

пул используется, но если нет запросов, то в фоне запросов не делается и соответственно коннекты открываться не должны

да

мы напарывались на то, что он прибивает и открывает их заново

сноймановский, не bos

так?

но он раз в секунду их опрашивает

мы напарывались на то, что он прибивает и открывает их заново

даже если не ходить в базу?

да

да

он gc будит

сечас найду патч

я пробовал +RTS -I0 -RTS с ним все равно жрет, но не так сильно

пока посмотри, что за пул

сноймановский или bos

веб сервис жрет 10% проца, и я хочу определить почему.

persistent есть?

и resource-pool?

он жрёт

пул сноймановский, resource-pool

а снойману сказал кто-то, btw ?

вы ж на цюрихаке, он поди там будет?

https://github.com/bos/pool/pull/21

я с басом пообщаюсь

так, спасибо за наводку, ща проверю эту версию.

он пытался у боса мне права выбить

так тут снойман же. а по ссылке bos