вроде нет

может попрыгать через кольца горящие придётся

не в зависимостях

@lonokhov нет == не в зависимостях ghc?

stm не распространяется с ghc

ghc зависит от stm: https://github.com/ghc/ghc/tree/master/libraries

а чего его в доках нет?

ну тогда беда

вроде для стэка это танец с бубном, с nix я даже не знаю.

@lonokhov а что за танец? я вроде указал гитхаб - оно пересобирает ещё

https://hackage.haskell.org/package/base-4.10.1.0/docs/GHC-Conc.html#t:STM Хммм

или типа не сойдётся в рантайме? :)

ну раньше там были сложности с бут либами из ghc

не соёдется только если ты ghc как либу используешь :)

но сама модель stackage не позволяет такое

ну версию бут пакета менять

@elemir90 это примитивы только

@lonokhov но стэк собирает с гитхабной версией

просто указал в пакетах

ишь чо

но терь код ещё портануть надо

а можно ли считать что ⊤ в хаскеле это forall a. a?

в каком смысле ⊤?

forall a. a это ненаселённый тип, он скорее ⊥

в каком смысле ⊤?

В джавашном и сисярповом, скорее всего.

тогда скорее Dynamic

Ну нет

а можно ли считать что ⊤ в хаскеле это forall a. a?

Unit и Void есть терминальный и инициарный объекты

тогда скорее Dynamic

Про a ничего не известно

А динамик позволяет всё

в каком смысле ⊤?

top type

А динамик позволяет всё

когда мы говорим про сабтайпинг надо отличать positive и negative position

forall a. a -> ... это top type, forall a. ... -> a это bottom type

top type в положительной позиции это Dynamic, т.к. можно любой другой тип как Dynamic вернуть из функции

Ну суть в том, что динамик в шарпе это нетипизированное что-то, а а эти любой тип

это ближайший аналог, в Хаскеле ведь нет "нетипизированного чего-то"

А T в дженерике как раз примерно эквивалентен a

это ближайший аналог, в Хаскеле ведь нет "нетипизированного чего-то"

Any

?

Хотя это object скорее

Dynamic это и есть Any, только еще с информацией о типе (чтобы назад пробовать скастовать)

Не знаю, можно ли через ртти посмотреть тип динамика

data Dynamic = MkDynamic TypeRep Any :)

Если бы это использовали просто чтобы разные значения вернуть, то объект был бы не нужен

Я про Шарп если что сейчас

а, ок, я в C# не знаю про Dynamic

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

Потому что его никак не описать

Dynamic это и есть Any, только еще с информацией о типе (чтобы назад пробовать скастовать)

Хм

Интересно

В смысле он Typeable?

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

В смысле Typeable в основном существует ради Dynamic и ему подобных штук

Ага

Понятно

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

Dynamic

это типобезопасно?

Да

а

здесь же нужно привести к типу через функцию

это не совсем то что интересует

повторюсь ещё раз, что скорее всего лолакхост в ипв6 резолвится

Я вчера тупил. Всё проще. В хостах localhost закоменчен.

тоже вариант

ghci> x = toDyn (5 :: Int) ghci> fromDynamic @Bool x Nothing ghci> fromDynamic @Char x Nothing ghci> fromDynamic @Int x Just 5

ilia ^ вот тебе short tutorial в Dynamic

тоже вариант

Сорри что задал тупой вопрос.

ERROR: S client not available

ну не тупой, например, то что ipv6 бы не работало, это не очевидно

пришлось кстати повозиться, чтобы это понять

здесь же нужно привести к типу через функцию

если тебе хочется вернуть что-то неизвестного типа, то ты на самом деле хочешь экзистенциальную квантификацию тогда (её нет)

Не. Глянуть хостс было очевидным))

но можно через CPS энкодить

С другой стороны. Ещё один вопрос был. Какие библиотеки юзаете для p2p? А то библиотек дофигища. Но возможно самое актуальное это Cloud Haskell

можно использовать просто network-transport

без всего этого CH безобразия

Чому сразу безобразия?)

можно использовать байндинги к общим либам типа zeromq,nanomsg,gRPC и прощей гадости

там много безобразия

хотя сейчас оно более менее работает

Академики писали...

вон в serokell/iohk используют просто network-transport

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

А он же без tls, не?

,без

если тебе хочется вернуть что-то неизвестного типа, то ты на самом деле хочешь экзистенциальную квантификацию тогда (её нет)

а. понятно

А вот это уже интересно, спасибо)

но если ты на чисто n-t уровне работаешь, никто не запрещает шифровать сообщения

смотри, если тебе прям-вообще CH не нужен - лучше не брать

И то верно

ну и в zeromq-бекенде есть шифрование

но CH его не умеет

вроде

но zeromq-backend дурацкий, его какой-то бородатый упырь писал

смотри, если тебе прям-вообще CH не нужен - лучше не брать

я не знаю до конца.)

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

Я ток бэкэнд CH — simple network глянул. А master-slave мне явно не нужен.

при этом хочется явно слать сообщения и ты любишь/понимаешь OTP и erlang-style

Видимо и без бэкенда можно CH юзать

нужно нахаляву общее пространство имен и single executable тебя устраивает