OA
ты пишешь HFT?
Size: a a a
2020 January 20
OA
если io_uring оч нужен, я бы лично для него отдельный API смастерил и не пытался привязаться к футурам, если там неочевидно как
К
Сделать async по умолчанию. Если хочешь синхронную функцию, должен явно это указать
OA
Но если либа полностью на синке
сделай 2.0, перенеси все синк-методы в mod sync, и по одному делай асинхронные варианты в основном неймспейсе.
А⚙
Это автор стрелки Пирса
Эта стрелка поворачивается?
AZ
ой, сдохло
DF
Про что они?
VB
есть некая таблица в памяти. есть метод get_or_create. если нет в таблице данных, то эти данные туда заносятся. берутся из указанной функции
А нельзя генерично написать одну функцию?
А⚙
А нельзя генерично написать одну функцию?
Система типов не вывезет
λ
тип это множество значений которое может принимать переменная. И это свойство которое мы должны знать _заранее_, а не в рантайме
знать в рантайме — вообще очень тупая формулировка
VB
Система типов не вывезет
Ну да, похоже
λ
например в рантайме мы можем знать, что какая-то переменная всегда принимает значение либо "член" либо 0, какое значение у этой переменной?
AZ
например в рантайме мы можем знать, что какая-то переменная всегда принимает значение либо "член" либо 0, какое значение у этой переменной?
одно из двух
AZ
например в рантайме мы можем знать, что какая-то переменная всегда принимает значение либо "член" либо 0, какое значение у этой переменной?
ну тут явно имплисит тип Either
λ
одно из двух
то есть какой тип
AZ
то есть какой тип
Dick | 0
λ
а теперь увеселяем задачу: на самом деле никто не знает, но переменная в рантайме всегда принимает только одно значение, какой тип у переменной?
λ
для дальнейшего увеселения можно вообразить, что этот ЯП — хаскель, а настоящий тип переменной, который выведен системой типов — Int