Что программирование задачи предоставило Вашему прорыву монады? [закрытый]
В недавнем сообщении в блоге о монаде вероятности он записал, Mark Dominus записал, "Таким образом, я чувствую, что наконец прибыл, monadwise".
Моя первая одноместная программа была неловким решением проблемы 32 от Euler Проекта, использующего парсек и, Возможно, монада.
Что Вы продолжали работать, когда свет наконец включил для Вас? Предоставьте, по крайней мере, эскиз кода, который Вы написали. Знание, что Вы знаете теперь, как Вы улучшили бы его и почему?
3 ответа
Когда я понял, что могу использовать монаду как для синтаксического анализа, так и для интерпретации , я смог написать свой первый мини-интерпретатор для LUA-подобного языка динамического программирования на F # с первой попытки. Первоклассные продолжения !, окружение, изменяемое состояние, отладка - все это просто большой стек преобразователей монад.
Для меня он создал вариацию на монаде «Генерал» QuickCheck (который используется для создания случайных значений). Я хотел проверить что-то условно, поэтому я переписал «Gen» как монадский трансформер и сложил его со монадом штата. Где-то там лампочка продолжалась.
UIrextfield предназначено только для одноразового текста. Если вы хотите несколько строк текста, вам придется использовать класс UITExtView .
Стоит отметить, что UITExtView наследуется из UISCROLLVIEW , поэтому, если вы не хотите прокручивать, вы можете захотеть придерживаться UIETCHELD и положить С текстом находятся на одной строке ... Я когда-то пытался подкласс UItextView , чтобы сделать его как многострочный uextxfield , но Uiscrollview сделал задачу Кошмар - в конце я только что вернулся к использованию простого UITExtfield .
Некоторые случайные вычислительные кодовые базы на выборку. Тип «M A» является случайной величиной типа «A» и «A -> M B» - «случайная функция». Случайные переменные могут очень просто обрабатываться таким образом. «Replicatem n» используется для получения независимых образцов из одной переменной.
Обозначение тоже хорошо: х <- y Средство X - это образец из случайной переменной y.