October 18th, 2017
Будущее феминизма
Как кому-то параллельно пришла мысль в комментах - сексуальные недомогательства ведь еще более вопиющее попрание женских прав - "он на меня даже как на сексуальную игрушку смотреть не хочет, а смотрит как на бревно".
Тут-то как раз самая-самая объективации мякотка же :)
Кстати совершенно не удивлюсь, если следующим этапом эволюции феминизма действительно будет борьба за "право быть оттраханой"
Тут-то как раз самая-самая объективации мякотка же :)
Кстати совершенно не удивлюсь, если следующим этапом эволюции феминизма действительно будет борьба за "право быть оттраханой"
Кстати - грамотная мысль:
Учитывая, КАКИЕ фильмы Вайнштейн продюсировал, вот его точно нужно приглашать в РФ и давать гражданство, при условии работы в РФ, но с самыми широкими, почти диктаторскими полномочиями. И пусть любую российскую актрисульку сношает, лишь бы выпускал качественные фильмы.
Причем ведь чего не хватает российскому кино - так именно нормальных продюссеров - раньше их функцию выполняло госкомкино посредством кровавой цензуры в том числе - а сейчас некому - вполне вероятно что главная причина того, что фильмы такое говно: нет человека с палкой, который бы душил наиболее творческие порывы
Причем ведь чего не хватает российскому кино - так именно нормальных продюссеров - раньше их функцию выполняло госкомкино посредством кровавой цензуры в том числе - а сейчас некому - вполне вероятно что главная причина того, что фильмы такое говно: нет человека с палкой, который бы душил наиболее творческие порывы
Первый раз наткнулся на ошибку в ocaml
Причем свежевставленную: в 4.05.0:
В Why3 в core/term.mli:
val t_const : Number.constant -> term
в core/term.ml:
let t_const c ty = mk_term (Tconst c) (Some ty)
...
let t_const c = match c with
| Number.ConstInt _ -> t_const c ty_int
| Number.ConstReal _ -> t_const c ty_real
В результате экспортится первое из определений t_const, причем с типом:
Number.constant -> Ty.ty -> term
Что интересно - на простом примере не воспроизводится
В Why3 в core/term.mli:
val t_const : Number.constant -> term
в core/term.ml:
let t_const c ty = mk_term (Tconst c) (Some ty)
...
let t_const c = match c with
| Number.ConstInt _ -> t_const c ty_int
| Number.ConstReal _ -> t_const c ty_real
В результате экспортится первое из определений t_const, причем с типом:
Number.constant -> Ty.ty -> term
Что интересно - на простом примере не воспроизводится