Ideas

README.md

@@ -11,7 +11,7 @@
 ## Taste of Nois
 
 ```rust
-use std::{ math::pi, iter::MapAdapter }
+use std::math
 
 trait Area {
     area = fn(self): Float
@@ -26,7 +26,7 @@ impl Area for Shape {
     area = fn(self): Float {
         match self {
             Rect(width, height) { width * height }
-            Circle(radius) { pi * radius ^ 2. }
+            Circle(radius) { math::pi * radius ^ 2. }
         }
     }
 }

ideas.md

@@ -1,6 +1,11 @@
-- Block is a valid expression
 - std::test
 - noisdoc
-  Documentation testing: https://doc.rust-lang.org/rust-by-example/testing/doc_testing.html
-- Explicit type args on constructors Option<Int>::Some(value: 5)
-  Requires changes to the parser
+  documentation testing: https://doc.rust-lang.org/rust-by-example/testing/doc_testing.html
+- orphan instances: https://wiki.haskell.org/index.php?title=Orphan_instance
+  should impls be allowed only when at least one of (A, B) (in impl A for B) is defined in the current package?
+  possible solutions:
+    * disallow, throw error when detected in impl definition
+    * allow, throw error when two dependency packages provide conflicting impls
+    * allow, give an interface to prioritize one conflicting impl over another
+    * allow, make orphan impls local to the current package
+      - causes coherence problems: https://xnning.github.io/papers/coherence-class.pdf