Status and Roadmap

Current state of development is tracked in GitHub projects.

High level status

• Most of TypeScript's AOT-compatible syntax is supported
• A managed runtime takes care of memory management and GC
• Classes are more like C-structs with methods (no virtual overloads yet)
• Standard library is functional but still needs more work
• Throwing an exception terminates the entire program (needs WebAssembly/exception-handling)
• We need more tests (pretty sure this will remain here)

High level goals

• Get a memory manager and GC combo up and running
  • Memory manager (TLSF)
  • Automatic reference counting & garbage collection (PureRC)
• Get a working standard library up (where AOT-compatible)
• Improve linking, e.g. with C, based on what's supported by common tools
• Compile the AssemblyScript compiler to WebAssembly using itself
• Provide tools to automatically generate glue code and definitions

And, of course, keep up with the state of WebAssembly, most notably at this point:

Proposal	Phase	Status
Sign Extension Operations	standardized	--enable sign-extension
Mutable Globals	standardized	--enable mutable-global
Non-trapping float-to-int Conversions	standardized
Bulk Memory Operations	standardized	--enable bulk-memory
Reference Types	standardized	--enable reference-types
Multi-Value	standardized
SIMD	implementation	--enable simd
Threads	implementation	--enable threads
Tail Call	implementation
Exception Handling	implementation
Function References	proposal
Interface Types	proposal
Memory64	proposal
GC	proposal

Standard library compatibility

AssemblyScript comes with its own lightweight standard library that aims to be as compatible as it can get to what you'd expect in the browser. The following table outlines what's implemented already:

Feature		Notes
Globals
NaN	✓	Context-sensitive (f32 in f32 context, otherwise f64)
Infinity	✓	Context-sensitive (f32 in f32 context, otherwise f64)
isFinite	✓
isNaN	✓
parseFloat	✓
parseInt	✓
decodeURI
decodeURIComponent
encodeURI
encodeURIComponent
Number		There is no Number object in AssemblyScript, but one for each type instead.
EPSILON	✓
MIN_VALUE	✓
MAX_VALUE	✓
MIN_NORMAL_VALUE	✓	AssemblyScript specific
MIN_SAFE_INTEGER	✓
MAX_SAFE_INTEGER	✓
NaN	✓
NEGATIVE_INFINITY	✓
POSITIVE_INFINITY	✓
isFinite	✓
isInteger	✓
isNaN	✓
isSafeInteger	✓
parseFloat	✓
parseInt	✓
toExponential
toFixed
toLocaleString
toPrecision
toString	✓
Array
length	✓
at	✓	Stage 3
from
isArray	✓
of
concat	✓
copyWithin	✓
entries
every	✓	No closures yet
fill	✓
filter	✓	No closures yet
find
findIndex	✓	No closures yet
flat	✓	Partially
flatMap
forEach	✓	No closures yet
includes	✓
indexOf	✓
join	✓
keys
lastIndexOf	✓
map	✓	No closures yet
pop	✓
push	✓
reduce	✓	No closures yet
reduceRight	✓	No closures yet
reverse	✓
shift	✓
slice	✓
some	✓	No closures yet
sort	✓
splice	✓	Partially implement without inserting items
toLocaleString
toString	✓
unshift	✓
values
[Symbol.iterator]
TypedArray
BYTES_PER_ELEMENT	✓
at	✓	Stage 3
buffer	✓
byteLength	✓
byteOffset	✓
length	✓
from
of
copyWithin	✓
entries
every	✓	No closures yet
fill	✓
filter	✓	No closures yet
find
findIndex	✓	No closures yet
forEach	✓	No closures yet
includes	✓
indexOf	✓
join	✓
keys
lastIndexOf	✓
map	✓	No closures yet
reduce	✓	No closures yet
reduceRight	✓	No closures yet
reverse	✓
set	✓
slice	✓
some	✓	No closures yet
sort	✓
subarray	✓
toLocaleString
toString	✓
values
[Symbol.iterator]
ArrayBuffer	✓
byteLength	✓
isView	✓
slice	✓
toString	✓
DataView	✓
buffer	✓
byteLength	✓
byteOffset	✓
getInt8	✓
getUint8	✓
getInt16	✓
getUint16	✓
getInt32	✓
getUint32	✓
getInt64	✓	AssemblyScript specific
getUint64	✓	AssemblyScript specific
getBigInt64		Required BigInt
getBigUint64		Required BigInt
getFloat32	✓
getFloat64	✓
setInt8	✓
setUint8	✓
setInt16	✓
setUint16	✓
setInt32	✓
setUint32	✓
setInt64	✓	AssemblyScript specific
setUint64	✓	AssemblyScript specific
setBigInt64		Required BigInt
setBigUint64		Required BigInt
setFloat32	✓
setFloat64	✓
toString	✓
String
length	✓
fromCharCode	✓
fromCharCodes	✓	AssemblyScript specific
fromCodePoint	✓
fromCodePoints	✓	AssemblyScript specific
UTF8	✓	AssemblyScript specific (See docs)
UTF16	✓	AssemblyScript specific (See docs)
at	✓	Stage 3
charAt	✓
charCodeAt	✓
concat	✓
endsWith	✓
includes	✓
indexOf	✓
lastIndexOf	✓
localeCompare	✓	Very basic. Without locales and options
match
matchAll
normalize
padEnd	✓
padStart	✓
repeat	✓
replace	✓	Without Regexp and callback yet
replaceAll	✓	Stage 4 Proposal
search
slice	✓
split	✓	Without Regexp
startsWith	✓
substr	✓
substring	✓
toLocaleLowerCase
toLocaleUpperCase
toLowerCase	✓
toUpperCase	✓
toString	✓
trim	✓
trimLeft/trimStart	✓
trimRight/trimEnd	✓
[Symbol.iterator]
raw
Symbol	✓
hasInstance	✓
isConcatSpreadable	✓
isRegExp	✓
match	✓
replace	✓
search	✓
species	✓
split	✓
toPrimitive	✓
toStringTag	✓
unscopables	✓
for	✓
keyFor	✓
toString	✓
Math	✓	This also applies to specific Mathf (single float point) version of Math
E	✓
LN10	✓
LN2	✓
LOG10E	✓
LOG2E	✓
PI	✓
SQRT1_2	✓
SQRT2	✓
sincos_sin	✓	AssemblyScript specific
sincos_cos	✓	AssemblyScript specific
abs	✓
acos	✓
acosh	✓
asin	✓
asinh	✓
atan	✓
atan2	✓
atanh	✓
cbrt	✓
ceil	✓
clz32	✓	Just for compatibility. Not recommended.
cos	✓
cosh	✓
exp	✓
exp2	✓	AssemblyScript specific
expm1	✓
floor	✓
fround	✓
hypot	✓
imul	✓	Just for compatibility. Not recommended.
log	✓
log10	✓
log1p	✓
log2	✓
max	✓
min	✓
pow	✓
random	✓
seedRandom	✓	AssemblyScript specific
round	✓
sign	✓
signbit	✓	Stage 1 Proposal
sin	✓
sincos	✓	AssemblyScript specific
sinh	✓
sqrt	✓
tan	✓
tanh	✓
trunc	✓
Map
size	✓
clear	✓
delete	✓
entries
forEach
get	✓
has	✓
set	✓
upsert		Stage 3 proposal
keys	✓	Return array instead iterator currently
values	✓	Return array instead iterator currently
toString	✓
[Symbol.iterator]
Set
size	✓
add	✓
clear	✓
delete	✓
difference		Stage 2 Proposal
entries
forEach
has	✓
intersection		Stage 2 Proposal
isDisjointFrom		Stage 2 Proposal
isSubsetOf		Stage 2 Proposal
isSupersetOf		Stage 2 Proposal
union		Stage 2 Proposal
symmetricDifference		Stage 2 Proposal
values	✓	Return array instead iterator currently
toString	✓
[Symbol.iterator]
WeakMap
delete
get
has
set
toString
WeakSet
add
delete
has
toString
Console
assert
clear
count
countReset
dir
error
group
groupCollapsed
groupEnd
info
log
table
time
timeEnd
trace
warn
JSON
parse
stringify
Object
is	✓
keys
assign
create
entries
getOwnPropertyNames
getOwnPropertySymbols
toString
values
Date
UTC	✓
now	✓
parse
getDate
getDay
getFullYear
getHours
getMilliseconds
getMinutes
getMonth
getSeconds
getTime	✓
getTimezoneOffset
getUTCDate
getUTCDay
getUTCFullYear
getUTCHours
getUTCMilliseconds
getUTCMinutes
getUTCMonth
getUTCSeconds
setDate
setFullYear
setHours
setMilliseconds
setMinutes
setMonth
setSeconds
setTime	✓
setUTCDate
setUTCFullYear
setUTCHours
setUTCMilliseconds
setUTCMinutes
setUTCMonth
setUTCSeconds
toDateString
toISOString
toJSON
toLocaleDateString
toLocaleString
toLocaleTimeString
toString
toTimeString
toUTCString
Error
message	✓
name	✓
stack
toString	✓
Iterator / AsyncIterator
asIndexedPairs		Iterator helpers proposal (Stage 2)
drop		Iterator helpers proposal (Stage 2)
every		Iterator helpers proposal (Stage 2)
from		Iterator helpers proposal (Stage 2)
filter		Iterator helpers proposal (Stage 2)
find		Iterator helpers proposal (Stage 2)
flatMap		Iterator helpers proposal (Stage 2)
forEach		Iterator helpers proposal (Stage 2)
map		Iterator helpers proposal (Stage 2)
next
reduce		Iterator helpers proposal (Stage 2)
return
take		Iterator helpers proposal (Stage 2)
throw
toArray		Iterator helpers proposal (Stage 2)
some		Iterator helpers proposal (Stage 2)
Promise
all
allSettled
any		Stage 2
race
reject
resolve
catch
finally
then
RegExp
lastIndex
dotAll
flags
global
ignoreCase
multiline
source
sticky
unicode
exec
test
toString
[Symbol.replace]
[Symbol.search]
[Symbol.split]
Atomics	✓
add	✓
and	✓
compareExchange	✓
exchange	✓
fence	✓
isLockFree	✓
load	✓
notify	✓
or	✓
store	✓
sub	✓
wait	✓
wake	✓
xor	✓
SIMD (v128)	✓
const	✓
splat	✓
extract_lane(_u/_s)	✓
replace_lane	✓
shuffle	✓
swizzle	✓
add	✓
sub	✓
mul	✓
neg	✓
add_saturate_(u/s)	✓
sub_saturate_(u/s)	✓
shl	✓
shr_(u/s)	✓
and	✓
or	✓
xor	✓
not	✓
andnot	✓
bitselect	✓
any_true	✓
all_true	✓
bitmask	✓	Only i8x16/i16x8/i32x4 New!
eq	✓
ne	✓
lt(_u/_s)	✓
le(_u/_s)	✓
gt(_u/_s)	✓
ge(_u/_s)	✓
load	✓
load_splat	✓
store	✓
abs	✓	Any vector type, except i64x2
min	✓	Any vector type, except i64x2
max	✓	Any vector type, except i64x2
pmin	✓	Only f32x4/f64x2 New!
pmax	✓	Only f32x4/f64x2 New!
ceil	✓	Only f32x4/f64x2 New!
floor	✓	Only f32x4/f64x2 New!
trunc	✓	Only f32x4/f64x2 New!
nearest	✓	Only f32x4/f64x2 New!
dot	✓	Only i16x8 New!
avgr_u	✓	Only i8x16/i16x8 New!
div	✓	Only f32x4/f64x2
sqrt	✓	Only f32x4/f64x2
qfma	✓	Only f32x4/f64x2 New!
qfms	✓	Only f32x4/f64x2 New!
convert_(u/s)	✓
trunc_(u/s)_sat	✓
narrow_(u/s)	✓
widen_low_(u/s)	✓
widen_high_(u/s)	✓
load8x8_(u/s)	✓
load16x4_(u/s)	✓
load32x2_(u/s)	✓
BigInt
asIntN
asUintN
!a
-a
~a
a++
a--
a & b
a | b
a ^ b
a + b
a - b
a * b
a / b
a % b
a ** b
a << b
a >> b
a >>> b
a == b
a != b
a > b
a < b
a >= b
a <= b
i32(bn) / u32(bn)
i64(bn) / u64(bn)
f64(bn) / f32(bn)
toLocaleString
toString