Matthew Fluet ( matthew.fluet@gmail.com , http://www.cs.rit.edu/%7Emtf ) is an Assistant Professor at the Rochester Institute of Technology.
Current MLton projects:
-
general maintenance
-
release new version
Misc. and underspecified TODOs:
-
understand RefFlatten and DeepFlatten
-
MSG_DONTWAIT isn’t Posix
-
coordinate w/ Dan Spoonhower and Lukasz Ziarek and Armand Navabi on multi-threaded
-
Intel Research bug: no tyconRep property (company won’t release sample code)
-
treatment of real constants
-
representation of bool and _bool in ForeignFunctionInterface
-
-
John Reppy claims that "It looks like the card-marking overhead that one incurs when using generational collection swamps the benefits of generational collection."
-
-
page to disk policy / single heap
-
MLton.GC.pack doesn’t keep a small heap if a garbage collection occurs before MLton.GC.unpack.
-
It might be preferable for MLton.GC.pack to be implemented as a (new) MLton.GC.Ratios.setLive 1.1 followed by MLton.GC.collect () and for MLton.GC.unpack to be implemented as MLton.GC.Ratios.setLive 8.0 followed by MLton.GC.collect ().
-
-
The static struct GC_objectType objectTypes[] = array includes many duplicates. Objects of distinct source type, but equivalent representations (in terms of size, bytes non-pointers, number pointers) can share the objectType index.
-
PolySpace bug: Redundant optimization (company won’t release sample code)
-
treatment of exception raised during BasisLibrary evaluation
-
Use memcpy
-
Implement more 64bit primops in x86 codegen
-
Enrich path-map file syntax:
-
PolySpace bug: crash during Cheney-copy collection
-
eliminate -build-constants
-
all _const-s are known by runtime/gen/basis-ffi.def
-
generate gen-constants.c from basis-ffi.def
-
generate constants from gen-constants.c and libmlton.a
-
similar to gen-sizes.c and sizes
-
-
eliminate "Windows hacks" for Cygwin from Path module
-
extend IL type checkers to check for empty property lists
-
make (unsafe) IntInf conversions into primitives