Size: a a a

2020 March 22

S

Sergey in rust_offtopic
Pavel Tyavin 🐈
Ладно. Просто вот все эти мысли, по-моему, очень близки к этому языку
Ну как бы го делался для конкретных задач, а когда тебе нужно хоть что нибудь нормально обобщить, он подсасывает
источник

DS

Doge Shibu in rust_offtopic
Sergey
у не абстрактной одна
Нет же. У не абстрактной реализаций сильно больше разных:

something x = x + 1
something x = x + 2
...

И так далее.

А теперь вопрос два сколько возможных реализаций у абстрактной функции whatever?
источник

S

Sergey in rust_offtopic
Не абстракная реализация может быть только одна
источник

S

Sergey in rust_offtopic
Ща, погоди
источник

S

Sergey in rust_offtopic
немного не в тему ответил
источник

S

Sergey in rust_offtopic
something x = x + 1
something x = x + 2
источник

S

Sergey in rust_offtopic
Я понял, о чем ты
источник

S

Sergey in rust_offtopic
Если бы второй параметр был входным, то количество реализаций было бы  x * y (где y, это набор всех возможных определений второго параметра)
источник

S

Sergey in rust_offtopic
с точки зрения количества возможных аргументов функции
источник

S

Sergey in rust_offtopic
Но функция increment x = x + 1 проще, чем increment x, s = x + s
источник

S

Sergey in rust_offtopic
Когда нам нужен инкремент только на единицу
источник

S

Sergey in rust_offtopic
потому что вариативность возвращаемых значений у нее меньше
источник

а

а это кто in rust_offtopic
Alex Zhukovsky
в расте не надо писать with, он и так автоматом пишется для всех нужных типов
А вот я думаю что with читаемее чем типичное RAII с конструкторами и деструкторами. Для управления паматью, он, правда, не годится
источник

DS

Doge Shibu in rust_offtopic
Sergey
Я понял, о чем ты
Тут речь о другом.

У функции something, где конкретный тип Int стоит реализаций очень много, миллиарды возможных.

У функции whatever, у которой единственный аргумент дженерик тип - реализация ровно одна возможная:

whatever :: a -> a
whatever x = x


Т.к. с таким дженерик типом ты ничего не сможешь сделать, только тупо его вернуть. (Я не зря заранее сказал про тотальный и чистый ЯП)
источник

S

Sergey in rust_offtopic
Одна абстрактная функция проще миллиарда реализаций
источник

S

Sergey in rust_offtopic
Но сложнее, чем одна конкретная реализация
источник

AI

Alex Ilizarov in rust_offtopic
Ali Kalmenov
Hy, там ты просто не будешь зависим от своей физической оболочки, то есть тебе не нужно будет дышать/есть/пить/плодится, так же не будет зависимости от генов, работы желёз и в целом при таком раскладе тебе никто не будет нужен. 😅
С чего ты взял что энергетической сущности не нужно размножение и подпитка?

Почему ты решил что там не будет какого нибудь энергетического следа типа генов?

Почему ты не учитываешь что на работу энергетической сущности может влиять гравитация, дождь, да все что угодно?

Почему ты думаешь что энергетическая сущность это идеальная форма существования, а не более доступная материя?

Почему ты думаешь что у энергетической сущности не будет операций при которых для подстраховки лучше использовать второго?

Социум не просто так появился. Это взаимопомощь и взаимовыживание.
источник

S

Sergey in rust_offtopic
Doge Shibu
Тут речь о другом.

У функции something, где конкретный тип Int стоит реализаций очень много, миллиарды возможных.

У функции whatever, у которой единственный аргумент дженерик тип - реализация ровно одна возможная:

whatever :: a -> a
whatever x = x


Т.к. с таким дженерик типом ты ничего не сможешь сделать, только тупо его вернуть. (Я не зря заранее сказал про тотальный и чистый ЯП)
whatever :: a -> a проще
источник

S

Sergey in rust_offtopic
если ты об этом
источник

S

Sergey in rust_offtopic
Alex Ilizarov
С чего ты взял что энергетической сущности не нужно размножение и подпитка?

Почему ты решил что там не будет какого нибудь энергетического следа типа генов?

Почему ты не учитываешь что на работу энергетической сущности может влиять гравитация, дождь, да все что угодно?

Почему ты думаешь что энергетическая сущность это идеальная форма существования, а не более доступная материя?

Почему ты думаешь что у энергетической сущности не будет операций при которых для подстраховки лучше использовать второго?

Социум не просто так появился. Это взаимопомощь и взаимовыживание.
хуяси разговоры пошли
источник