(
👐
Size: a a a
2020 October 04
(
ну типа, в расте они сильнее интерфейсов в какой-нибудь жяве, но слабее тайпклассов в каком-нибудь хаскеле
(
Ну кроме трейтов
ну типа, линейные типы, борроу-чекер, лайфсайклы, вот это все
QH
ну типа, линейные типы, борроу-чекер, лайфсайклы, вот это все
там аффинные типы. :)
(
там аффинные типы. :)
да, окей, афинные
QH
У меня есть один знакомый, который хает раст, на чём свет стоит. Мол, всё, про что сишники и так знали, что оно безопасное, в расте тоже безопасное. А как чуть отходишь в сторону — везде пиздец, хождение по краю, ансейф. У trait objects нет апкастов, мономорфизация дурацкая, пины как-то нехорошо работают — короч, куча проблем, в которых сам я не шарю.
I
ну типа, в расте они сильнее интерфейсов в какой-нибудь жяве, но слабее тайпклассов в каком-нибудь хаскеле
А в чем разница с хаскелем? (ну кроме того что в цирке не выступают лил)
(
А в чем разница с хаскелем? (ну кроме того что в цирке не выступают лил)
ну, на растовых трейтах ты не можешь наложить контракт на конструктор
(
а-ля
class Jopa a where
construct :: a
QH
ну, на растовых трейтах ты не можешь наложить контракт на конструктор
почему же? Объявляешь метод
new -> Type(
почему же? Объявляешь метод
new -> Typeа, окей, увидел
только там
только там
Self нужно ставитьBP
Если тебе доведётся с другими людьми об этом говорить, ты быстро заметишь, что там всё ещё хуже :)
+ я бы сказал это скорей тупо стереотипное мышление, хотя оно тоже возникло не просто так
(
хм, ну окей, значит тайпклассы
единственное только тогда не хватает хкт
единственное только тогда не хватает хкт
A
А в чем разница с хаскелем? (ну кроме того что в цирке не выступают лил)
В хаскеле есть мультипараметричные тайпклассы.
I
В хаскеле есть мультипараметричные тайпклассы.
Через расширения?
A
Через расширения?
А хаскель без расширений и не хаскель на самом деле.
BP
VS
Это в kmath?
AN
АААААА
AN
Это в kmath?
Да, Ярослав решил изобразить героя и запилить поддержку Blas