EG
Ну почему не добавлю
irb(main):005:0> 1.class
=> Integer
irb(main):006:1* class Integer
irb(main):007:2* def foobar
irb(main):008:2* "Foobared!"
irb(main):009:1* end
irb(main):010:0> end
=> :foobar
irb(main):011:0> 1.foobar
=> "Foobared!"
Size: a a a
2021 February 19
EG
KR
Что-то по эльфийски написано, не разберу...
А⚙
Если мы хотим энфорсить семантику(сразу отвечаю @emmanuelGoldstein ), мы можем это сделать специфицируя интерфейс более точно, добавив в него что-то помимо to_string.
Не можем, потому типов недостаточно, чтобы форсить семантику
EG
Что-то по эльфийски написано, не разберу...
В Ruby ты можешь что угодно дописать какому угодно классу в любом месте
EG
Включая базовые типы
А⚙
У меня идея — давайте добавлять в интерфейс специальную функцию
function this_implements_interface_foobar(), которая будет просто сигнализировать, что мы не перепутали интерфейсыВуаля — ты переизобрёл номинативную типизацию!
EG
Вуаля — ты переизобрёл номинативную типизацию!
Да, я это и сказал двумя сообщениями ниже
А⚙
А почему не читать тело кода? Из него, между прочим, вполне можно интерфейс параметров вывести
Даже в Haskell так делать не принято, а там полный вывод типов
EG
В Ruby ты можешь что угодно дописать какому угодно классу в любом месте
В JS, кстати, тоже, как я понимаю.
KR
В Ruby ты можешь что угодно дописать какому угодно классу в любом месте
Ну в рубях да. Я почему-то автоматом думал про ТС и Го
IL
Даже в Haskell так делать не принято, а там полный вывод типов
Поэтому я и считаю, что Хаскель и современные системы статической типизации неудобны
KR
Поэтому я и считаю, что Хаскель и современные системы статической типизации неудобны
Тебе тогда в плюсовые шаблоны. Вот там просто волшебное удобство. Царь апрувед.
SP
динамика это просто такой майндсет чтоли. как гендер
SP
я иначе не могу обьяснить
EG
Ну в рубях да. Я почему-то автоматом думал про ТС и Го
Welcome to Node.js v15.8.0.
Type ".help" for more information.
> class Foobar {}
undefined
> Foobar.prototype.foobar = function() { console.log("Hi there!") }
[Function (anonymous)]
> const f = new Foobar();
undefined
> f.foobar()
Hi there!
undefined
>
Вот JS
KR
Поэтому я и считаю, что Хаскель и современные системы статической типизации неудобны
Ну то есть это баттл "семантика в типах" вс "семантика в коде"
SP
просто есть такие люди которые оу, хочу просто брать и засовывать это везде
IL
Это всё вполне можно было бы выводить, и программы получались бы гораздо локаничнее, и в то же время проверялись бы компилятором. Но до этого как-то не додумались/не взялись/хотят всё прописывать явно. Что само по себе странно, учитывая, например, что в Хаскеле не стесняются делать функции анонимными.
Ну если вы функции анонимными делаете, то почему типы не разрешаете?
Ну если вы функции анонимными делаете, то почему типы не разрешаете?
KR
динамика это просто такой майндсет чтоли. как гендер
Ага, а мы значит тут все статикомрази?