Итак, пост-отзыв по EOPL3 после первой неполной недели чтения.
Из двух глав осилил пока только первую, где в основном столкнулся с проблематикой задания различных наборов данных через индукцию, как и было обещано в названии 🙂
Обычно, множества предлагается задавать через т.н. list comprehensions, которые есть во многих ФП языках типа хаскеля, а так же есть в python, C#, Kotlin и т.д.
Примеры ниже (на python, C# и Kotlin соответственно):