Yuu-chan: ошибка преобразования в число: String: «Для

А я поясню свою позицию на примерах. Вот в стандартной библиотеке есть зоопарк функций типа int_of_string, int_to_string, int_of_char и подобных. А могло бы быть сильно меньше.
Вы скажете – ну можно же распихать по модулям! Но в итоге Int.of_string в конкретных местах использования не будет сильно удобнее.
Вот типичный пример – (де)сериализация какого-нибудь рекурсивного или сложносоставного АТД в бинарную строку/sexp/JSON/что-нибудь ещё, если генерацию через ppx не завезли или она чем-то не устраивает. Своя реализация будет выглядеть примерно как let to_smth (A foo bar baz) = Foo.to_smth foo ; Bar.to_smth bar ; Baz.to_smth baz. Гораздо больше очевидного синтаксического шума.

Вроде всё это мелочи, но утомляет. В C++ без auto тоже можно прожить (и даже есть ярые противники, вон в движке Godot совсем недавно переползли с C++98 на modern только с запретом auto ), но с ним всё же как-то полехше.

Больше похоже на вопрос Higher-Kinded Types и наличия аппликативных функторов сотоварищи... 🤔

С другой стороны, таки можно и через объекты с наследованием сделать.

С третьей стороны, если что-то добавлять, то почему не алгебраические эффекты и через них изгаляться?

У нормального рахитектора рахитектура в жабе и хаскеле будет примерно одинаковая.

Другое дело, что для  реализации этой рахитектуры на Жабе потребуется в 5 раз больше кода, в 17 раз больше файлов, в 10 раз больше жавистов, и никто в итоге не будет понимать, как же эти 2 миллиона строк кода вообще работают.

Так что добавление классов типов мне всё ещё не кажется единственно правильным решением. 🤷‍♀️

Наверное

Но принципы одни!)

Тут же о подходах спрашивают)

Hexagonal Architecture FTW!!! 😂

С другой стороны, так оно по факту и есть на самом деле...

Вот уж не знаю. Я говорю с позиции не дизайнера языков, а пользователя, которому одинаковые штуки в одном языке было удобно делать, а в другом неудобно (ну хорошо, не так удобно).

Ух ты, что это?

Одинаковые штуки одинаковым образом. 😉

А чего там шесть?

Да то же самое, что Clean Architecture и Domain-Driven Design. Почти неотличимо от MTL-пирога. 🤷‍♀️

Классный вопрос! 👏👍😂