С
В продолжение про do-нотации. Какие ещё фундаментальные синтаксические конструкции требуются для фп кода?
И если в условном оо языке (опять же в той же java) появится синтаксис do-нотаций, с точки зрения формального доказательства можно ли будет написать фп-код со всеми его преимуществами?
(Тут вроде часто обсуждают фп, но на всякий. Вопросы чисто про ФП не нарушают правила чата?)
И если в условном оо языке (опять же в той же java) появится синтаксис do-нотаций, с точки зрения формального доказательства можно ли будет написать фп-код со всеми его преимуществами?
(Тут вроде часто обсуждают фп, но на всякий. Вопросы чисто про ФП не нарушают правила чата?)
Тут сложно даже придумать, что бы нарушило правила этого чата.
