4 ms·
Enter Mercury-Prolog: https://mercurylang.org/about.html https://mercurylang.org/about.html - "Modes" are dataflow directions (use them for polymorphic dispatc
by dejj 6y ago
Enter Mercury-Prolog: https://mercurylang.org/about.html https://mercurylang.org/about.html
- "Modes" are dataflow directions (use them for polymorphic dispatch!)
- "Purity" is an effect system
- "Unique" is linear types
- has backends for C, C#, Java, Erlang