2012-12-14
Entry tags:
to remember
By typeclass they mean a (possibly multi-argument) functor on a discrete subcategory of Hask; by functor they mean a (possibly multi-argument) covariant functor on a subcategory of Hask.
haskellization of my brain
now when I see a piece of code like
I see
def process(message: Message, env: Env): XYZ {...}
I see
Message → XYZEnv, which is not even right, because it involves currying, aka Yoneda lemma.раз уж речь о законах...
Вот вам русамовский перевод bill of rights
1. Установление государственной религии и ограничение свободы слова находится в исключительном ведении штатов.
2. Все владельцы оружия должны состоять на учёте в милиции и могут быть посланы на фронт в случае необходимости.
3. Солдаты размещаются в жилищах граждан согласно действующему законодательству.
4. Незаконные обыски запрещены; разрешенные обыски законны.
5. Обвиняемый не может быть свидетелем на собственном процессе; осужденный на смертную казнь не может быть судим вновь; запрещается привлекать граждан по уголовным делам, кроме как через суд присяжных или милицию; смертная казнь и отчуждение собственности осуществляются согласно действующему законодательству; собственность, отчуждаемая у граждан, отчуждается по справедливости.
6. Совершивший уголовное преступление подвергается незамедлительно наказанию по месту совершения преступления; в суде обязательно выступление свидетелей обвинения и защитника преступника.
7. В гражданских делах на сумму свыше 20 долларов всё решают присяжные.
8. Запрещены необычные пытки.
9. Некоторые граждане имеют дополнительные права, не указанные в Конституции.
10. Если что-то не запрещено на федеральном уровне, это может быть запрещено на уровне штата.
1. Установление государственной религии и ограничение свободы слова находится в исключительном ведении штатов.
2. Все владельцы оружия должны состоять на учёте в милиции и могут быть посланы на фронт в случае необходимости.
3. Солдаты размещаются в жилищах граждан согласно действующему законодательству.
4. Незаконные обыски запрещены; разрешенные обыски законны.
5. Обвиняемый не может быть свидетелем на собственном процессе; осужденный на смертную казнь не может быть судим вновь; запрещается привлекать граждан по уголовным делам, кроме как через суд присяжных или милицию; смертная казнь и отчуждение собственности осуществляются согласно действующему законодательству; собственность, отчуждаемая у граждан, отчуждается по справедливости.
6. Совершивший уголовное преступление подвергается незамедлительно наказанию по месту совершения преступления; в суде обязательно выступление свидетелей обвинения и защитника преступника.
7. В гражданских делах на сумму свыше 20 долларов всё решают присяжные.
8. Запрещены необычные пытки.
9. Некоторые граждане имеют дополнительные права, не указанные в Конституции.
10. Если что-то не запрещено на федеральном уровне, это может быть запрещено на уровне штата.