JC
Ну в питоне в принципе HKT есть, только они не T
Size: a a a
2020 May 16
p
так напомните опять как из std::io::Bytes получить Read?
Он уже Read, не?
SP
Он уже Read, не?
ни
SP
the trait bound
bytes::bytes::Bytes: std::io::Read is not satisfied(E0277)SP
мне подказывали, там какаято адская хитрота уровня каста в &[u8] но я забыл
ГС
Ну в питоне в принципе HKT есть, только они не T
а где они там? Я как-то раз искал и не нашёл. А баг про отсутствие - нашёл https://github.com/python/typing/issues/548
MB
Ну в питоне в принципе HKT есть, только они не T
Ну там еще комбинаторов нет.
SP
соболев не такой глупый как казалось кек https://github.com/python/typing/issues/548#issuecomment-621686416
MB
Потому что я имею в виду
trait Monad {}
impl Monad for Identity
impl Monad for Future
trait MRead {
type M: Monad;
fn read() -> M<Vec<u8>>;
}
trait Monad {}
impl Monad for Identity
impl Monad for Future
trait MRead {
type M: Monad;
fn read() -> M<Vec<u8>>;
}
SP
а где они там? Я как-то раз искал и не нашёл. А баг про отсутствие - нашёл https://github.com/python/typing/issues/548
потому что питон и мупу это разные языки
SP
смысл что без типчиков оно работает, но без типчиков в этом мало смысла )
JC
а где они там? Я как-то раз искал и не нашёл. А баг про отсутствие - нашёл https://github.com/python/typing/issues/548
ну я поэтому и сказал, что без T, тоесть без типов)
ГС
ну, это не HKT. Это всего лишь динамика
ГС
соболев не такой глупый как казалось кек https://github.com/python/typing/issues/548#issuecomment-621686416
мне нравится то, что он делает, но я не совсем понимаю, почему бы не взять хаскель вместо этого всего
VS
Лол, прикольные коменты к статье https://vc.ru/hr/127122-ne-nanimayte-krutyh-programmistov-esli-vy-startap-i-tolko-nachali-delat-produkt-oni-vam-vse-isportyat особенно доставило как там чувак сказал - Технические долги они как реальные бывают 1) Те которые надо отдавать с процентами 2) Те которые без процентов 3) Те которые как госдолг США - платит не придётся.
VS
Ну и правильно чувак там говорит в коментах что хороший программист все три типа этих долгов в коде умеет различать.
SP
мне нравится то, что он делает, но я не совсем понимаю, почему бы не взять хаскель вместо этого всего
ну то что он делает гениально ) дело в том что он юзает джангу. тоесть он берет самых отмороженых джангодетей с рынка, навязывает им максимальное бдсм окружение с миллионами линтеров, вот этим говном и говорит - ебитес
SP
это примерно так же гениально как взять каких то отмороженых пыхарей за копейки и поставить перед фактом или вы учитесь писать с такой дисциплиной и бандажем как сирьёры или идёте нахуй
SP
ему типчики нужны не для упращения жизни себе, ему они нужны чтобы трахать ими джунов вобщем