фигня какая-то
Jan. 28th, 2013 05:48 amВо-первых, не понимаю, как, живя во Франции, можно писать "Le Mond".
Во-вторых, не понимаю, что в хаскеле подразумевается под функциями. В теории множеств функция определяется как особый вид бинарного отношения. Но теория множеств хотя бы эквациональна, а хаскель же нет. Или в хаскеле, если какая-то, э, функция что-то такое долго вычисляет, то она потом начинает елозить типа по кешу, нет ли у нас уже такого же, абсолютно идентичного, объекта? А если нет, то извините, это не функция, если создаёт новый объект каждый раз.
Я не возражаю, что это всё равно категория, и если мы забыли, какая у нас тут монада, то даже не Клейсли. Но если честно, то таки Клейсли. Нет?
Что я упустил?
Во-вторых, не понимаю, что в хаскеле подразумевается под функциями. В теории множеств функция определяется как особый вид бинарного отношения. Но теория множеств хотя бы эквациональна, а хаскель же нет. Или в хаскеле, если какая-то, э, функция что-то такое долго вычисляет, то она потом начинает елозить типа по кешу, нет ли у нас уже такого же, абсолютно идентичного, объекта? А если нет, то извините, это не функция, если создаёт новый объект каждый раз.
Я не возражаю, что это всё равно категория, и если мы забыли, какая у нас тут монада, то даже не Клейсли. Но если честно, то таки Клейсли. Нет?
Что я упустил?