Martin Elsman
Martin Elsman
We are not far from being able to execute the following one-liner - see http://aplwiki.com/FinnAplIdiomLibrary#Miscellaneous: ```` ⍎⊖⍕⊃⊂|⌊-*+○⌈×÷!⌽⍉⌹~⍴⍋⍒,⍟?⍳0 ```` We will not be able to support execute `⍎`, box `⊂`. So...
Investigate the possibility of not associating type variables with region variables in types. There are three aspects of the MLKit type system that, when combined, seem to lead to unsoundness....
In some cases, when garbage collection is enabled, region variables with type `RT_BOT` are forced into arrow effects, which serves to guarantee that no dangling pointers occur during evaluation. Here...
This PR allows for reals to be passed to functions unboxed in xmm registers. An arbitrary number of unboxed floats can be passed to functions (up to 8 in xmm...
This issue tracks overall problems with compiling MLton with MLKit. Related issues: - [x] #100 - [x] #102 (compilation of MLton now takes 19m42s) - [x] #101 - [x] #97...
The MLKit native backend uses a uniform representation of values, which is important for compiling generic code (e.g., functions) separately from the code that uses it. Still, under these constraints...
The aim of this task is to make it possible to rewrite SMLserver to make it work with native x64 machine code. Such a rewrite allows for removing the KAM...
We need a logo for the MLKit. Here is a suggestion: 
Add support for packed vector instructions for floating point and integer operations. - [ ] Design and implement a generic signature that supports various explicit operations (e.g., mul, add) on,...