Aleksei (astynax)
В ТЕЛЕГЕ ЕСТЬ ПЕРЕИМЕНОВЫВАЕМЫЕ КОНТАКТЫ?
Если собеседник есть в контактах телефона, а не только в Телеграме, то можно переименовать, т.к. отображаемое имя пользователя берется из списка контактов (редактируемого, ессно)
Aleksei (astynax)
При этом обратное у меня ни разу не получилось - подтянуть имя для контакта из телеграма :(
Aleksei (astynax)
> As the world’s leading provider of Haskell tools and services, FP Complete is committed to contributing more than its fair share to the community.
Aleksei (astynax)
Лучшая часть репорта!
Leonid 🦇
network-transport-tcp довольно крут изнутри
Leonid 🦇
> Вы просили — мы сделали: в этом месяце никакого Хаскеля!
Aλe
тут тоже все обиделись?(
Dmitry
Отдыхаем просто
Dmitry
Иногда стоит сделать паузу в общении с любимыми ;)
Alexander
Aλe
что нет докладов на тему haskell
Alexander
то плачут, что слишком много хаскеля, то обижаются что нету, как так то..
Leonid 🦇
эх, чую без MVar не сделать мне закрываемые коннекшоны
A64m
1) ну и достали же вы со своим хаскелем
2) что-то про ваш хаскель давно не слышно
Kirill
Haskell-бинго
Алексей
Цундере программисты
Leonid 🦇
@qnikst как мне сделать n-t-tcp с ssh тоннелем каким-нибудь?
Alexander
сделать ssh тоннель и приконнектиться к нему n-t?
Alexander
кстати я n-t-ssh где-то видел, но он не готов был
Leonid 🦇
типичный хаскель :(
Leonid 🦇
Alexander
да
Alexander
он юзабельный вполне
Leonid 🦇
только ссытся и глухой
Leonid 🦇
нет, ну у меня не хай лоад конечно.
Alexander
у серокелов спроси что у них там с хайлоадом
Leonid 🦇
но мне так нужно поиметь шифрованый и аутентифицированный канал без телодвижений со стороны клиента.
Leonid 🦇
т.е. без vpn, например
Alexander
n-t-zeromq? :)
Alexander
но я не уверен, что оно хорошо работает
Alexander
но там и аутенфикация и шифрование есть
Alexander
ещё можно упороться и самому шифровать в n-t
Leonid 🦇
вот я уверен что прикрутить к n-t-tcp tls это не сложно
Leonid 🦇
но там даже тикета нет, никому не нужно.
Alexander
сделай тикет!
Alexander
(потом напиши код)
Leonid 🦇
у меня дедлайны :(
Alexander
а что какой-нибудь ssh-proxy не поднять из проги самой?
Alexander
сердито и вообще
Leonid 🦇
ну наверно
Alexander
и.е. прога стартует запускает ssh-proxy и к нему коннектится
Alexander
юзер в неведении
Alexander
симметричный ключ - почтовым голубем посылать
Alexander
ой, не туда шутка
Leonid 🦇
а ты не нашел n-t-websockets ?
Alexander
https://github.com/picussecurity/network-transport-websockets
Alexander
вот прям второй результат в гугле
Alexander
судя по никам они пилили
Leonid 🦇
хм, а у меня не нагугливался
Leonid 🦇
— * It does not gracefully handle closeConnection calls and connection failures.
— It may even give @thread blocked indefinitely in an MVar operation@ sometimes.
— * It can not pass some tests on "Network.Transport.Tests". They are mostly
— about connection failures.
обнадёживает
Alexander
не тесты там ещё те
Alexander
я очень задолбался заставлять n-t-zeromq из пройти
Leonid 🦇
чёт я не вижу в n-t-zeromq никаких опций для шифрования. а из аутентификации только странный юзейрнейм-пассворд
Alexander
а значит я недопилил
Alexander
но оно там в протоколе есть
Alexander
а скорее всего я не допилил и.к. в zeromq криво было
Alexander
но сейчас уже много лет прошло, должны были запилить
Alexander
Знали бы вы, в какие дебри нас завело использование freer + extensible effects и Servant одновременно 🙈🙈
Alexander
Что-то надо менять в небесной канцелярии
Зигохистоморфный
Alexander
в какие?)
К сожалению, не могу показать код. В чудовищные дебри описания всяких эффектов в типах, и при этом очень важно сохранять порядок при вызове интерпретаторов. И все это усугубляется системой типов Серванта
Alexander
А потом еще припорошили эффектом транзакционности (БД), и он принес с собой еще и тип ошибок вдобавок к типу эффектов.
Alexander
мне кажется о типах серванта ты забываешь в Server.hs когда вызываешь hoist
Alexander
после этого моменты ты думаешь только о своем стеке, который не в курсе про сервант
Alexander
А, еще забыл упомянуть тип генеричных конфигов, которые можно извлекать из места, где указан такой эффект 🙈
Alexander
ну когда ты из их стека в свой прыгаешь
Alexander
я не помню комбинатор как зовется
Alexander
Все-таки, это темная сторона Haskell. Не нужно так делать.
Alexander
сервант нужен чтобы вам написать и код сгенерирь завязывать на его типы приложение не надо
Alexander
с эффектами сложнее, я даже не знаю того как там быть
Alexander
Вот я про эффекты. Но Сервант мне тоже не очень.
кана
так
Alexander
В PureScript всегда раздражала эта система эффектов. Вот ничегошеньки полезного она не дает.
кана
эффекты и сервант никак не связаны же
кана
пишется один раз нат трансформация из Eff r ~> Handle и все
кана
разве это не единственная точка соприкосновения? Причем даже не с самим сервантом, а просто с ExceptT IO
Alexander
Они сами по себе не связаны. Но в нашем коде есть, например, механизм преобразования наших ошибок из эффектов в Envelope
A64m
в пурскрипте-то какая система эффектов? там же просто индексированный IO