Size: a a a

Elm Lang сообщество разработчиков

2018 March 16

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
> "Буррито", это образное выражение

Объясняю: я имел в виду, что плох не туториал про буррито, а все туториалы, подяющие монады в виде "монады, это как XYZ"
источник

к

кана in Elm Lang сообщество разработчиков
3 составных части + 3 закона
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Потому что зубрёжка определений, которая не работает
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Зубрёжка забывается после экзамена и никакого профита позже не даёт
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Да ну нафиг, опять ступор интеллектуальный и боязнь минимально мозг напрячь
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Ну для большинства людей
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
кана
почему просто нельзя взять и запомнить определение моноида без всяких аналогий?
Алсо потом получается что "запомнивший" человек на практике не может разобраться, где моноид, а где нет и применять умеет только для узкой серии задач, начинающихся со слов "Найдите Моноид".
источник

к

кана in Elm Lang сообщество разработчиков
открываешь такой определение секвенциального исчисления (на странице лл, бля)
источник

к

кана in Elm Lang сообщество разработчиков
и все
источник

ж

жаль как бабочка, порхай как перхоть in Elm Lang сообщество разработчиков
кана
и все
+, всё просто и очевидно, какие тут аналогии
источник

к

кана in Elm Lang сообщество разработчиков
собственно да
источник

ж

жаль как бабочка, порхай как перхоть in Elm Lang сообщество разработчиков
тока это не "определение секвенциального исчисление", это конкретно секвенциальное исчисление лл
источник

ж

жаль как бабочка, порхай как перхоть in Elm Lang сообщество разработчиков
в интуиционистской логике другие будут правила немного
источник

ж

жаль как бабочка, порхай как перхоть in Elm Lang сообщество разработчиков
типа того что там ещё weakening и contraction, обычная импликация вместо линейной и нет !
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Да ну нафиг, опять ступор интеллектуальный и боязнь минимально мозг напрячь
Почему обязательно для обучения нужно напрягать мозг? Почему не испытывать уважение к ученикам и не требовать от них полной выжимки сил?
источник

к

кана in Elm Lang сообщество разработчиков
ло
источник

к

кана in Elm Lang сообщество разработчиков
л
источник

к

кана in Elm Lang сообщество разработчиков
цитатка хорошая
источник

ж

жаль как бабочка, порхай как перхоть in Elm Lang сообщество разработчиков
Anton Kotenko
Почему обязательно для обучения нужно напрягать мозг? Почему не испытывать уважение к ученикам и не требовать от них полной выжимки сил?
> Почему обязательно для обучения нужно напрягать мозг

золотые слова
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Я рад
источник