openlang

Вычислимость и пределы

Что программа в принципе способна вычислить, решить или выразить.

  1. Исчерпанный бюджет поиска не означает отсутствия ответа

    Рассмотрим мысленный пример let loop = loop in if loop then Just 1 else Nothing там, где ожидается Maybe Int. Чтобы отличить…

    Ответы 0haskell