has reached the end-of-life and is now read-only. Please see the EOL announcement for details

new language alignment chart: semantic static types, mechanical static types, dynamic types vs. designed for strong types, weak types, accidentally strongly typed

Rust is semantic/designed, C is mechanical/weak, Python is dynamic/designed, and Lua is dynamic/accidental

By semantic and mechanical, I mean, are the types there primarily to let humans communicate to the compiler about the structure of the program and its constraints, or to let the compiler know how much space to allocate on the stack?

@tindall ]stares at the ceiling] i love this but also im too tired to figure out how to place euphoria

i'll figure it out later...

@tindall i would argue semantic for sure, but idk where it lies on strength

it's both strongly typed, when you choose it to be.... and loosely typed, when you don't want it to be strongly typed?

'flexile' i guess,

@tindall (side note i really love how you define the equivalent of typed structs by just handling nested arrays)

Sign in to participate in the conversation

the mastodon instance at is retired

see the end-of-life plan for details: