Size: a a a

2020 March 22

P🐈

Pavel Tyavin 🐈 in rust_offtopic
А не для того, чтобы код стройным стал и ты, якобы, избегаешь багов плохоуловимых
источник

S

Sergey in rust_offtopic
Doge Shibu
Если прям подробного обзора хочешь, гугли статью Theorems for Free!

А так, на пальцах, какая функция проще (считаем, что у нас тотальный, чистый ЯП и мы знаем только тип функции).

Первая с конкретным типом, вторая с дженериком:

something :: Int -> Int

whatever :: a -> a
С точки зрения количества сущностей, которая эта абстракция порождает, проще одна реализация
С точки зрения использования конечно проще абстракция, чем несколько явных функций
источник

p

polunin.ai in rust_offtopic
>800 сообщений
Вам совсем делать нечего? Подумайте об Антоне хотя бы
источник

S

Sergey in rust_offtopic
Но я как раз с этим не спорю
источник

S

Sergey in rust_offtopic
Абстрация проще всех ее реализаций, на то она и абстракция
источник

S

Sergey in rust_offtopic
Но не проще одной конкретной любой реализации
источник

S

Sergey in rust_offtopic
Pavel Tyavin 🐈
А не для того, чтобы код стройным стал и ты, якобы, избегаешь багов плохоуловимых
ну ты в целом то понимаешь о чем я
источник

DS

Doge Shibu in rust_offtopic
Sergey
С точки зрения количества сущностей, которая эта абстракция порождает, проще одна реализация
С точки зрения использования конечно проще абстракция, чем несколько явных функций
Только смотри прикол.

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

S

Sergey in rust_offtopic
зависит от баундов a
источник

S

Sergey in rust_offtopic
но условно больше чем одна
источник

S

Sergey in rust_offtopic
ой
источник

S

Sergey in rust_offtopic
у не абстрактной одна
источник

S

Sergey in rust_offtopic
под не абстрактной я подразумеваю конкретную функцию, работающую с конкретным типом, например int
источник

S

Sergey in rust_offtopic
и пока мне не нужна функция "для всех чисел", я буду использовать неабстракную реализацию
источник

P🐈

Pavel Tyavin 🐈 in rust_offtopic
Серёг, а ты любишь го?
источник

S

Sergey in rust_offtopic
+-, но скорее нет, чем да
источник

S

Sergey in rust_offtopic
Раньше больше любил
источник

S

Sergey in rust_offtopic
Каналы и горутины норм
источник

P🐈

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

S

Sergey in rust_offtopic
сам язык такоэ
источник