Changes between Version 17 and Version 18 of LanguageNotes

Timestamp:

Jun 5, 2009 5:34:14 PM (15 years ago)

Author:

Anya Helene Bagge

Comment:

--

LanguageNotes

@@ -1 +1 @@
 = Language Notes =
+
+(Anya's comments in '''bold''')
 
  * [#Whatparametersareforonaconcept What parameters are for on a concept]
@@ -277 +279 @@
  * Having a clean system of module where we can re-export what we import. Usually we need two kind of import keywords.
 
+'''Importing a module ''does'' recursively import its dependencies, though those dependecies aren't imported into the local namespace, i.e., you can't refer to them by short names without importing the module in the current module. But imported names aren't re-exported as short; this is certainly useful sometimes (making 'bundle' modules)'''
+-- Anya
+
 == Choose what the internal representation for polymorphic types ==
 
@@ -283 +288 @@
 to take forall, since it is better to extend with concepts. Whereas
 patterns are hard to extend with requirements.
+
+'''Attaching to the definition is bad, and inconvenient. Patterns are very
+convenient to work with in overload resolution. Putting concept requirements in the 
+pattern variables could solve the problem:'''
+
+{{{
+function Ring.T foo(Ring.T a);
+}}}
+
+'''This would make semantic analysis of foo's definition trivial.'''
+
+-- Anya
 
 == Fix the template system ==
@@ -322 +339 @@
 Which give me the opportunity to give a model as parameter.
 
+'''Specialisation is nice and useful, but has low priority'''
+
+-- Anya
+
 == Concepts ==
 
@@ -332 +353 @@
 
 There will be also a lot of work a posteriori on inlining code.
+
+'''BTW, there is an inliner available for both functions and procedures'''
+-- Anya
 
 == A syntax that works with dependent types, overloading, templates and concepts ==
@@ -469 +493 @@
 }}}
 
+
 -- Valentin
+
+'''Note that a struct isn't just a set of operations to manipulate objects -- you can treat it like that when you're programming (an ''abstract data structure''), but a concrete data structure also has things like size, layout, alignment requirements, ...'''
+
+-- Anya
 
 == Yet another core language ==