Eq1 f следует понимать как просто Eq (f a) для всех а

Насколько я понимаю, сейчас Eq1 должен быть депрекейчен в пользу
(forall a. Eq a => Eq (f a))

Да

А вот Generic1 уже не задепрекейтишь так просто

Ну потому что семантика другая, это не Generic (f a) для всех a

Да, просто в вопросе и о нём  было

Можно в общем, наверное, сказать, что ето то, что позволяет автоматически выводить всякие Functor и Traversable

пытаюсь найти функцию, которая прогоняет предикат по коллекции и возвращает true, если предикат ни разу не вернул false.
что я делаю не так

аа, вот оно

На тип посмотри который написал

спасибо, посмотрим, есть ли под дарвин

самый быстрый бан на диком западе

может всё-таки бота вернём?

напишем?

зачем писать-то

шилди норм работает имхо

правда с недавних пор оно рекламу добавило

но его можно селф-хостед

pub extern "C" fn exec_from_haskell(raw: *const c_char) -> *const c_char {
  let source = unsafe { CStr::from_ptr(raw) };
  let a = &source.to_str().unwrap();

  ...
  let c_str: Vec<c_char> = answer.chars().map(|x| x as c_char).collect();
  let ptr = c_str.as_ptr();
  ptr
}

здесь вернется указатель на локальную переменную, которая умрет после вызова функции. чтобы выдать наружу указатель на данные, которые менеджит раст, надо разместить их в куче, взять указатель, «утечь» (Box::leak) данные, чтобы их раст не освободил по выходу из скоупа, передать указатель наружу. Чтобы потом освободить память, надо передать указатель обратно в раст, восстановить String (у него есть методы для построения из сырого указателя) и освободить. как-то так

Да, именно это я и нагуглил)