x
а у них же в скалах нет хиндлей-милнера?
x
*у вас в скалах
x
👍
Ayrat
Я так понимаю, с хиндли мильнером там бы компилятор до тепловой смерти вселенной бы считал
Vasily
Это да, где-то была фотка с охлаждением макбука в холодильнике в Таиланде
Ayrat
что-то не то с выводом типов. Делаешь стрим, а он тебе хуяк и Nothing рисует
Doge
я попробовал жаба стримы, выглядят кошмарно конечно. надо постоянно приводить в стрим на любой чих. Для работы с разными стримами надо их надо конвертитьв IntStream, группировка через Collectors..
Ну я говорю, его стоит брать только в совсем исключительных случаях.
В подавляющем числе случаяв тебе хватит скаловских коллекций в их энергичном виде.
Ayrat
Ну я говорю, его стоит брать только в совсем исключительных случаях.
В подавляющем числе случаяв тебе хватит скаловских коллекций в их энергичном виде.
верю, я просто хочу понять почему не работает чтобы знать как сделать в исключительном случае
Vasily
А никто на маке не юзал RNGCryptoServiceProvider?
Doge
верю, я просто хочу понять почему не работает чтобы знать как сделать в исключительном случае
Похоже что сломалось из-за того, как в жавовских стримах вариативность расставленна.
Судя по ошибке - ему не очень понятен возвращаемый тип для методов, из-за того, что там вайлдкарды. В таком случае можешь явно дженерик параметры расставить.
Но в любом случае - это крайний случай, лучше даже просто циклом или хвостовой рекурсией, как видешь.
Vasily
Кто-нить игрался с Async.AwaitEvent?
Vasily
Чет не отписывается, походу, после выполнения
Vladislav
https://github.com/dotnet/fsharp/blob/ccb913d3a05863e5b1861d64994ffb97ed498855/src/fsharp/FSharp.Core/async.fs#L1596
Vladislav
вообще должен
Vasily
В теории да
Vasily
На практике творится странное
Vasily
Хотя не, причина в чем-то другом
Shub
Нет)
Хотел понять, почему такой ответ
это была аллюзия на “все хорошие блюзмены - обязательно мертвые”
Shub
val sum = x._2.map(x => x._2).sum
И вот ради этого ты забросил F#? :)
еще ради вменяемой экосистемы с РАБОЧИМ тулингом и т.д. вплоть до современной ОС, а не анахронизма с платными лицензиями на каждом шагу
Dr. Friedrich
Dr. Friedrich
Это вообще про HoTT?
Dr. Friedrich
Я скорее про то, что скаловская система типов ощутимо мощнее F#'ой.
Ну там, кажется, HKT есть? С этим не поспоришь.
Romɑn
Ну там, кажется, HKT есть? С этим не поспоришь.
Там xml нативный тип!
Боже как ребята это продавали одно время, прям да
Doge
Ну там, кажется, HKT есть? С этим не поспоришь.
GADT, HKT, path-dependent, литеральные типы и т.п.
Dr. Friedrich
Там xml нативный тип!
Боже как ребята это продавали одно время, прям да
В VB.NET тоже нативный XML :)
Dr. Friedrich
Ну это уже не смешная шуточка, старое-то зачем вспоминать.
Shub
я ушел бы в скалу ради одного только понва
Vasily
В общем ,с awaitevent творится какая-то дичь
Alexey
Alexey
смотрите кого я спалил :)
Dr. Friedrich
Айрат с другими пенсионерами на лавочке играет в карты?
Alexey
и питаются бомжпакетами
Анна
А меня никто не спалил!
Хаскель
Я бы убрал. Кто-то нибудь затащит на е.аное it.
Igor
Alexey
тем не менее в главной её части ты поучаствовала и даже возглавила, так что нефиг тут ;)
Анна
Vasily
@omgszer ещё в понв ворвись 😂
Vasily
Да там такое, шутки уровня разработки на скале
Vasily
Блеать,но меня беспокоит поведение async.awaitevent
Vasily
В некоторых случаях почему-то отписки не происходит, судя по всему, точнее, остаётся старый делегат
Vasily
В общем, чем дальше, тем любопытственней
Ayrat
В некоторых случаях почему-то отписки не происходит, судя по всему, точнее, остаётся старый делегат
Надо сохранять объект делегата в том же виде в котором подписывал
Doge
Я посмотрел, пока не оценил
Ну понв сильно на любителя.
У меня как-то не зашёл, слишком много шитпостинга не по теме
Ayrat
а не анонимные функции
Vasily
Типа let a = что-то там?
Vasily
Функции у меня я бы не сказал, чтобы были анонимные
Ayrat
в F# есть делегаты
Ayrat
сделай делегат (тип). Создай его инстанс (через создание делегата)
Vasily
Как вариант, да
Ayrat
подпиши его, отписывай его же
Vasily
Отписка там типа автоматом должна идти
Roman
@vshapenko в общем, я таки доупарывался с интепретатором. И вот результат:
дерево исполнения:
https://github.com/atsapura/CardManagement/blob/interpreter/CardManagement/CardWorkflow.fs
интерпретатор, внедряющий зависимости:
https://github.com/atsapura/CardManagement/blob/interpreter/CardManagement.Infrastructure/Interpreter.fs
Vasily
Можно я завтра это гляну?
Roman
дак когда удобно конечно. Я ж вообще не настаиваю)
Ilya
Надо было говорить, что ревью нужно срочно через 10 минут.
Ilya
Неа.
Ilya
😂
Roman
спасибо
Ilya
Я сам поглядываю с любопытством, учусь :)
Roman
Фри монадки в F# энкодинге?
я так понимаю, что это недо фри. Интерпретатор вроде уровнем абстракции пониже, но я еще не выкурил это полностью
Vasily
Фри монада появляется , когда есть Pure :)
Vasily
@omgszer Как делегат скрестить с AwaitEvent?
Vasily
Ладно, проблема ясна, пора спать
Shub
@vshapenko в общем, я таки доупарывался с интепретатором. И вот результат:
дерево исполнения:
https://github.com/atsapura/CardManagement/blob/interpreter/CardManagement/CardWorkflow.fs
интерпретатор, внедряющий зависимости:
https://github.com/atsapura/CardManagement/blob/interpreter/CardManagement.Infrastructure/Interpreter.fs
https://github.com/atsapura/CardManagement/blob/interpreter/CardManagement.Infrastructure/Interpreter.fs#L39
нрм упрлс
Roman
https://github.com/atsapura/CardManagement/blob/interpreter/CardManagement.Infrastructure/Interpreter.fs#L39
нрм упрлс
Сделай пр, покажи, как надо делать!