@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

тоже вариант

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

,без

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

а. понятно

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

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

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

И то верно

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