10 ms·
ooh, is this like record subtyping? Have you seen ermine https://github.com/ermine-language https://github.com/ermine-language or Ur/web? http://www.impredicat
by carterschonwald 13y ago
ooh, is this like record subtyping? Have you seen ermine https://github.com/ermine-language https://github.com/ermine-language or Ur/web? http://www.impredicative.com/ur/ http://www.impredicative.com/ur/
[edit, on #rust it was explained to me that its only for pointers to structs, but thats fine by me]
- dbaupp 13y agoIf anyone is interested, the proposal for Rust is detailed in http://smallcultfollowing.com/babysteps/blog/2013/10/24/single-inheritance/ http://smallcultfollowing.com/babysteps/blog/2013/10/24/sing...