2012-12-14

juan_gandhi: (VP)
2012-12-14 10:18 am

Paul

Paul

A great movie. I recommend. Fucking Brits laugh at all that we have here. (Everybody in America is an alien.)
juan_gandhi: (VP)
2012-12-14 02:23 pm
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.
juan_gandhi: (VP)
2012-12-14 07:12 pm

haskellization of my brain

now when I see a piece of code like
  def process(message: Message, env: Env): XYZ {...}


I see Message → XYZEnv, which is not even right, because it involves currying, aka Yoneda lemma.
juan_gandhi: (VP)
2012-12-14 08:23 pm

раз уж речь о законах...

Вот вам русамовский перевод bill of rights

1. Установление государственной религии и ограничение свободы слова находится в исключительном ведении штатов.

2. Все владельцы оружия должны состоять на учёте в милиции и могут быть посланы на фронт в случае необходимости.

3. Солдаты размещаются в жилищах граждан согласно действующему законодательству.

4. Незаконные обыски запрещены; разрешенные обыски законны.

5. Обвиняемый не может быть свидетелем на собственном процессе; осужденный на смертную казнь не может быть судим вновь; запрещается привлекать граждан по уголовным делам, кроме как через суд присяжных или милицию; смертная казнь и отчуждение собственности осуществляются согласно действующему законодательству; собственность, отчуждаемая у граждан, отчуждается по справедливости.

6. Совершивший уголовное преступление подвергается незамедлительно наказанию по месту совершения преступления; в суде обязательно выступление свидетелей обвинения и защитника преступника.

7. В гражданских делах на сумму свыше 20 долларов всё решают присяжные.

8. Запрещены необычные пытки.

9. Некоторые граждане имеют дополнительные права, не указанные в Конституции.

10. Если что-то не запрещено на федеральном уровне, это может быть запрещено на уровне штата.