Anonymous
а потом оказалось что нету
Vladimir
подключить фьючу наверн легче, чем лет написать?
кана
А почему ее нет по дефолту?
кана
Нельзя указывать явно тип терма без лета сейчас?
Dårk
прости-господи чего только на руси (в найтли) не увидишь
кана
Это же бред
Vladimir
а зачем оно?
Vladimir
если все функции которые умеет возвращать разные типы, должны быть параметризированы этим типом
кана
Чтобы тип указывать в ambiguous случаях
кана
Или в расте такого быть не может?
Vladimir
причем ошибка несовместимости типов может произойти по средине цепочки, и тут уже тайп аскрипшин будет не сильно удобен
Vladimir
может
Vladimir
вон пример с коллект же кинули
кана
Вот популярный кейс из Х: числа
Anonymous
ну tbh a.collect::<B>() мне меньше нравится чем a.collect(): B
Dårk
Ты СОВЕРШЕННО не понимаешь в чем суть расточата. расточат это не стековерфлоу «у меня не запускается хелловорлд, напишите мне 2 листа причин». расточат это не псевдоинтеллектуальные обсуждения на гитхабе. расточат это не гиттер, IRC или сраный продот. расточат это место, где люди могут побыть чудовищами — ужасными, бесчувственными, безразличными чудовищами, которыми они на самом деле и являются.
В го нет дженериков, а мы смеемся. Код питонистов падает в проде из-за косяков с типизацией, а мы смеемся.
Гоферы две недели не могут решить как писать простого бота в своем продоте, а мы смеемся и просим еще. Утинная типизация, фризы GC, касты к void* — мы смеемся. Тупые языки, национализм, дискриминация, ксенофобия, анальное рабство на интерпрайзных галерках, беспричинная ненависть — мы смеемся. Жаваскриптер убил своего PMа чтобы не отлаживать легаси — мы смеемся. Мы бездушно подпишемся под чем угодно, наши предпочтения не основаны на здравом смысле, бесцельные споры — наша стихия, мы — истинное лицо IT-комьюнити.
лайк
Loyd
Ну ведь все. Из си в си
Vladimir
кана
print 4. И вот хз, 4 это целое, дробное, комплекное. print выводит любое число, которое show имеет, но не все числа имеют show
Vladimir
ну по умолчанию в расте к i32 кастятся числа, магией компилятора
Vladimir
если не сказано обратное
Vladimir
ну а сказать обратное сечейс можно литералами
Vladimir
в случае таком простом
Anonymous
а, точн
кана
Ну вот магия и расширения небольшого набора литералов - все это не выглядит красивым решением
Anonymous
1i32 = 1: i32
Anonymous
рили некрасиво
Vladimir
Ну литералы были как раз для задавания таких примитивных типов
Vladimir
тогда и базовые типы - не красиво
Vladimir
но сорян
Vladimir
что есть
Cuno
Vladimir
опа
кана
Там тоже приведение к инту, не очень красивл
Filipp
Anonymous
изи
Vladimir
что такое Num?
Anonymous
трейт
кана
data MyNum = MyNum
instance Num MyNum where
fromInteger _ = MyNum
кана
Вот этот не имеет
кана
print $ 4 :: MyNum
И ошибка
Vladimir
кана
В хаскеле)
Anonymous
не нахожу такого
http://hackage.haskell.org/package/base-4.10.0.0/docs/Prelude.html#t:Num
Anonymous
нашел
Vladimir
хаскель для педиков
кана
s/хаскель/rust/g
Anonymous
/report
Vladimir
в общем если про раст говорить, то все инты там имеют дисплей
Vladimir
так что соснули?
кана
Ну это же тупо пример
кана
Самый примитивный
кана
А в расте свои числа нельзя объявить?
Vladimir
нельзя
Anonymous
что значит объявлять
кана
Соснули
Vladimir
есть базовый набор примитивных типов
Anonymous
🎹 числа можно
Vladimir
str u32 i32... композируешь их структурами/перечислениями, или юзаешь ссылки указатели
Vladimir
шаг в лево, шаг в право - расстрел
кана
кана
🎹 числа можно
Anonymous
почему не прокатит
Anonymous
только Num трейт не в std))))
Vladimir
ок
Vladimir
делаешь свой трейт нум
Vladimir
реализуешь его для своего типа
Vladimir
но не реализуешь шов (который дисплей)
Vladimir
радуешься
Маjко
> show
Маjко
Где вы этот анахронизм откопали?
Vladimir
Так нету нума
Vladimir
В этом и дело
Vladimir
Делаешь сначала свой типаж для чисел, а потом называешь своими числами что хочешь
Loo
Сережа
Его же убрали из раста вроде
Vladimir