Такая мысль возникла: вот в школе, когда мы арифметику учим,

Question

Такая мысль возникла: вот в школе, когда мы арифметику учим,

нам рассказывают, что от перестановки слагаемых сумма не меняется, что 2*(3+4) = 2*3+2*4 итд, а потом начинают постепенно выкидывать то одно свойство, то другое, и оказывается, что можно рассматривать, например, только сложение, а потом из него можно убрать коммутативность, а потом выкинуть ноль, и получаются всё более абстрактные структуры. А что, если бы сначала рассказывали про какую-нибудь магму, а потом по чуть-чуть добавляли туда законы: добавили ассоциативность - на тебе полугруппу, добавили нейтральный элемент - на тебе моноид, обратный элемент - получается группа итд. Как считаете, насколько другим бы результат обучения?

#haskell #programming #russian

0

28.07.2017