отсталая европа все еще переводит часы, при чем так чтобы никтооо сука не заподозрил, с субботы на воскресенье в 3 часа ночи, ощущение будто у меня украли час, хоп после двух 4, пора ложится
👍1😁1
Вся правда о тайп инференсе
Guys, they’ve got us for absolute fools.
https://borretti.me/article/type-inference-was-a-mistake
"> In Ocaml, Type Inference is a Footgun
Да.
> In ... Haskell you have to at least annotate the parameter types and return type of functions.
Нет, но если не аннотировать, оно так же выведет херню и придётся разбираться, и будет вот так
> So when I wrote OCaml I’d frequently make a mistake, but the compiler would happily propagate it up, and I’d get an inscrutable error that’s very far from the actual location of the error in the code and involves types I can’t figure out.
... только в хаскелле.
> I’ll occasionally read a paper introducing a new type system. Usually there’s less than one page of motivation—why should I care about this?—followed by the inference rules, and then pages and pages describing the type reconstruction algorithm for the type system.
Так пусть не читает. Как хрена он за академиков решает, что им делать?
> I don’t want to infer types from my code. I’d rather infer the code from the types.
Хорошая идея, да, вон
Guys, they’ve got us for absolute fools.
https://borretti.me/article/type-inference-was-a-mistake
"> In Ocaml, Type Inference is a Footgun
Да.
> In ... Haskell you have to at least annotate the parameter types and return type of functions.
Нет, но если не аннотировать, оно так же выведет херню и придётся разбираться, и будет вот так
> So when I wrote OCaml I’d frequently make a mistake, but the compiler would happily propagate it up, and I’d get an inscrutable error that’s very far from the actual location of the error in the code and involves types I can’t figure out.
... только в хаскелле.
> I’ll occasionally read a paper introducing a new type system. Usually there’s less than one page of motivation—why should I care about this?—followed by the inference rules, and then pages and pages describing the type reconstruction algorithm for the type system.
Так пусть не читает. Как хрена он за академиков решает, что им делать?
> I don’t want to infer types from my code. I’d rather infer the code from the types.
Хорошая идея, да, вон
servant-client имеет функцию client которая генерит клиента по API."Fernando Borretti
Type Inference Was a Mistake
On type inference as an academic computer science lab leak.
gavr_sas
XCode тупа топ, в достаточно большом проекте он вообще не анализирует ниче на ходу, просто пишешь как в блокноте, ошибки увидишь когда забилдить попробуешь оаоаоаоао
сегодня какой то парад дегенератства
как так получилось что единственное нормальное DE сделано энтузиастами, это ли не пруф бумажки про собор базар
как так получилось что единственное нормальное DE сделано энтузиастами, это ли не пруф бумажки про собор базар
gavr_sas
XCode тупа топ, в достаточно большом проекте он вообще не анализирует ниче на ходу, просто пишешь как в блокноте, ошибки увидишь когда забилдить попробуешь оаоаоаоао
This media is not supported in your browser
VIEW IN TELEGRAM
сделано сумом
анализ проблем пропадает через пару секунд
анализ проблем пропадает через пару секунд
😁2
This media is not supported in your browser
VIEW IN TELEGRAM
#machine
для сбора киви в новой зеландии, каждому фрукту по машине
для сбора киви в новой зеландии, каждому фрукту по машине
😁1
This media is not supported in your browser
VIEW IN TELEGRAM
Редис продолжает самовыпиливаться, как будто бы есть еще куда падать
После закрытия лицензии они решили сделать ребрендинг
>The thing everyone knows about developers is that they love the word "brand"
После закрытия лицензии они решили сделать ребрендинг
>The thing everyone knows about developers is that they love the word "brand"
🤡1