113 lines
3.7 KiB
Text
Executable file
113 lines
3.7 KiB
Text
Executable file
version 0.9.2
|
|
=============
|
|
|
|
- 'export' feature; from buggymodule import * except optBroken, optBroken2
|
|
- test&finish first class iterators:
|
|
* nested iterators
|
|
* test generic iterators
|
|
|
|
- fix closure bug finally
|
|
- overloading based on ASTs: 'constraint' should not be in PType but for the
|
|
parameter *symbol*
|
|
|
|
- implement ``partial`` pragma for partial evaluation: easily done with AST
|
|
overloading
|
|
- ``hoist`` pragma for loop hoisting: can be easily done with
|
|
AST overloading + global
|
|
|
|
- implement ``system.unsafeNew``.
|
|
|
|
|
|
version 0.9.X
|
|
=============
|
|
|
|
- implement the missing features wrt inheritance
|
|
- implement generic methods
|
|
- improve the compiler as a service
|
|
- ``=`` should be overloadable; requires specialization for ``=``
|
|
- implement constructors + full 'not nil' checking
|
|
- make 'bind' default for templates and introduce 'mixin';
|
|
special rule for ``[]=``
|
|
- implicit deref for parameter matching; overloading based on 'var T'
|
|
- optimize genericAssign in the code generator
|
|
- better support for macros that rewrite procs
|
|
- macros need access to types and symbols (partially implemented)
|
|
|
|
- rethink the syntax/grammar:
|
|
* parser is not strict enough with newlines
|
|
* change comment handling in the AST
|
|
|
|
|
|
Concurrency
|
|
-----------
|
|
|
|
- shared memory heap: ``shared ref`` etc. The only hard part in the GC is to
|
|
"stop the world". However, it may be worthwhile to generate explicit
|
|
(or implicit) syncGC() calls in loops. Automatic loop injection seems
|
|
troublesome, but maybe we can come up with a simple heuristic. (All procs
|
|
that `new` shared memory are syncGC() candidates... But then 'new' itself
|
|
calls syncGC() so that's pointless.) Hm instead of an heuristic simply
|
|
provide a ``syncgc`` pragma to trigger compiler injection --> more general:
|
|
an ``injectLoop`` pragma
|
|
- 'writes: []' effect; track reads/writes for shared types
|
|
- use the effect system to for static deadlock prevention
|
|
|
|
|
|
GC
|
|
==
|
|
|
|
- precise stack marking; embrace C++ code generation for that
|
|
- marker procs for Boehm GC
|
|
- implement 'mixed' GC mode
|
|
|
|
|
|
version 0.9.XX
|
|
==============
|
|
|
|
- implement the "snoopResult" pragma; no, make a strutils with string append
|
|
semantics instead ...
|
|
- implement "closure tuple consists of a single 'ref'" optimization
|
|
- object branch transitions can't work with the current 'reset'; add a 'reset'
|
|
with an additional parameter --> re-evaluate this issue after constructors
|
|
have been added
|
|
- allow implicit forward declarations of procs via a pragma (so that the
|
|
wrappers can deactivate it)
|
|
- fix destructors; don't work yet when used as expression
|
|
- document nimdoc properly finally
|
|
- make 'clamp' a magic for the range stuff
|
|
- 'const' objects including case objects
|
|
- mocking support with ``tyProxy`` that does: fallback for ``.`` operator
|
|
|
|
|
|
Not essential for 1.0.0
|
|
=======================
|
|
|
|
- optimize method dispatchers
|
|
- ``with proc `+`(x, y: T): T`` for generic code
|
|
- new feature: ``distinct T with operations``
|
|
- arglist as a type (iterator chaining); variable length type lists for generics
|
|
- resizing of strings/sequences could take into account the memory that
|
|
is allocated
|
|
- codegen should use "NIM_CAST" macro and respect aliasing rules for GCC
|
|
- implement marker procs for message passing
|
|
- activate more thread tests
|
|
- implement closures that support nesting of *procs* > 1
|
|
|
|
|
|
Optimizations
|
|
=============
|
|
|
|
- escape analysis for string/seq seems to be easy to do too;
|
|
even further write barrier specialization
|
|
- inlining of first class functions
|
|
- proc specialization in the code gen for write barrier specialization
|
|
|
|
|
|
Bugs
|
|
====
|
|
|
|
- sneaking with qualifiedLookup() is really broken!
|
|
- aporia.nim(968, 5) Error: ambiguous identifier: 'DELETE' --
|
|
use a qualifier
|
|
- blocks can "export" an identifier but the CCG generates {} for them ...
|
|
- JS gen: fix exception handling
|