1
Uso de tipos únicos para implementar paralelismo seguro
He estado interesado en los tipos de singularidad como una alternativa a las mónadas en lenguajes funcionales puros durante algún tiempo; desafortunadamente, este es un área esotérica de investigación de CS y los recursos en línea sobre programación con tipos únicos son pocos y distantes entre sí. Es obvio cómo …