7
Зловживання алгеброю алгебраїчних типів даних - чому це працює?
Вираз «алгебраїка» для алгебраїчних типів даних виглядає дуже суттєвим для тих, хто має досвід математики. Дозвольте спробувати пояснити, що я маю на увазі. Визначивши основні типи Товар • Союз + Сінглтон X Одиниця 1 і використовуючи скорочену X²для X•Xі 2Xдля X+Xі так далі, ми можемо визначити алгебраїчні вирази , наприклад …