Forwarded from Dmitry
Может такое имеется в виду:
class Functor f => ExtF p f | p -> f
data A p a = A (forall t. ExtF p t => t a) deriving Functor
Forwarded from Dmitry
С TF получилось так:
type family ExtF' p :: * -> *
data A p a = A (Functor (ExtF' p) => ExtF' p a)
deriving instance Functor (A p)
Forwarded from Oleg Andreev
@Psilon а ты знаком с чуваком Varkor? https://varkor.github.io/blog/2019/03/28/idiomatic-monads-in-rust.html
varkor’s blog
Idiomatic monads in Rust
A pragmatic new design for high-level abstractions Monads (and, more generally, constructs known as “higher kinded types”) are a tool for high-level abstraction in programming languages1. Historically, there has been a lot of debate inside (and outside) the…
Forwarded from Oleg Andreev
varkor’s blog
Feasible functors in Rust
withoutboats, one of the Rust language design team, recently posted a thread on the infeasibility of monads as a useful abstraction technique in Rust, as a response to the persistence of some (usually from outside the Rust community) in claiming that “Rust…
Forwarded from hirrolot
Пользуясь случем, скину эту статью: https://habr.com/en/post/448240/
Хабр
Магические трансформации типов данных в Rust: Интринсика mem::transmute<T, U>
Введение Язык программирования Rust, невзирая на всеохватывающую идеологию безопасности данных, располагает и небезопасными методиками программирования, ведь по...
Forwarded from Anton Trunov
- t.iss.one/practical_fm
- https://t.iss.one/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
- в чат по Coq могу просто добавить - там нет ссылки
- https://t.iss.one/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
- в чат по Coq могу просто добавить - там нет ссылки
Telegram
Формальные методы верификации ПО на практике
Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. Теги: #работа #phd.
Forwarded from Mike Wazowski
> причем у полей единственное преимущество перед линзами, что человек который не знает про линзы может знать про поля.
Спрашиваю как очень начинающий, где лучше начать узнавать про линзы?
Спрашиваю как очень начинающий, где лучше начать узнавать про линзы?