Refined типы в Scala
Про то как создать типы, которые могут принимать только определенные значения.
Писать библиотеку на проверку констант для того, чтобы пользователь протёр глаза и внимательно посмотрел свой же текст... Ну такое себе.
Проще изучить инструмент: дебагер. И всегда поможет и в более сложных случаях, независимо от языка.
раскрыть ветку (1)
Да, дебагером нужно уметь пользоваться. Но Ваша позиция говорит о том, что Вы боритесь с багами на стадии запуска программы, или возможно даже на проде. Тогда как лучше и дешевле отловить максимальное число багов на стадии написания программы приложив усилия и обмазавшись type-level библиотеками (таким как Refined), линтерами, тестами и т.д.
Предполагается использовать библиотеку с константами...
Это даже в лабораторных условиях редко. Можно записать видео, где идёт работа с неизвестной бд с неизвестными/известными типами (но содержащими невалидные значения), эксепшены, порядок их обработки в runtime и вывода?
Из исходного видео вижу, что это только мусор ненужный и вы не уйдёте от проверок входных параметров в процедуры при чтении откуда либо.
Или использовать их в только в лабораторках студентов на 1м курсе, дальше эта библиотека просто вредна.
раскрыть ветку (1)
А что не так с константами? В чисто функциональных языках в принципе используются только константы и иммутабельные типы данных.
показать ответы
Лига программистов
2.3K поста12K подписчиков
Правила сообщества
- Будьте взаимовежливы, аргументируйте критику
- Приветствуются любые посты по тематике программирования
- Если ваш пост содержит ссылки на внешние ресурсы - он должен быть самодостаточным. Вариации на тему "далее читайте в моей телеге" будут удаляться из сообщества