Viewing profile — parenwielder

In the abstract, there’s more of a focus on being general purpose, rather than Lune providing e.g. Roblox file format parsing as a core feature. Concretely, they’re pretty similar …

enough that we run a multibillion dollar business entirely off of executing untrusted code on our hardware

> Like a LLVM but for type systems instead of compilation / interpreters / JIT. This would be a very cool project, but depending on what you actually want out of it is basically op…

The type system isn't set up to be "required" today. You can run code without typechecking, and if you used the demo or just ran the `luau` executable, that's what happened. In an …

At the very least, there's a common core of Lua 5.1 that works across Luau, LuaJIT, and PUC Lua, so it's not as if there's no standardization here. We definitely aspire to include …

Pluto seems cool, and I hadn't heard of it! Looks like they don't have a type system though, so it's more in the flavor of "extensions to Lua 5.4" than actively growing the languag…

There's not an official Discord for Luau today (though it's something I've been considering setting up), but there is a Roblox open source community discord that the whole team is …

I would say that the primary interest in building the type system is in supporting a better developer experience, both in terms of productivity (better autocomplete, go-to definiti…

As it stands, we already have a high-performance, sandboxed VM that we are maintaining successfully, and our editor environment is decidedly _not_ multilingual for historical reaso…

Luau isn't "Lua but with types," but rather a language in the Lua family that has grown a powerful gradual type system with a _ton_ of type inference (this is in contrast to e.g. T…

Lua (and to a somewhat lesser extent Luau) are small in terms of the learned surface of the value language, not necessarily in terms of lines of code. That being said, any runtime …

We definitely intend on folks being able to use Luau outside of Roblox, and we know of a number of folks doing so quite successfully including Remedy Entertainment (Alan Wake 2), D…

It’s still early in its development, but the Luau team is building a first-party standalone runtime called Lute ( https://github.com/luau-lang/lute ) that’s in C++ because the lang…

Luau’s type system does arity checking and type checking for function calls, and even has a specialized error that detects when you probably meant to write a colon instead of a dot…

Hi there, I’m from the Luau team. Just wanted to clarify that no, nothing they said about the type system is true of Luau. It reads like a comment about Lua’s runtime typechecking …

As long as Matthias is alive, you're not going to find out. He's not going to be removed from Racket, as much as you and many others here seem to believe there's some huge problem …

Nobody tried to get him fired. They wanted him to not post inane and sexist bullshit on his office door.

And the last remaining not-Matthias person on your list, while not an academic descendent of his, (to the best of my knowledge) owes their current employment to Matthias' politicki…

needlessly antagonistic is a fair characterization of his approach to the world at large

I can assure you that while it certainly is easy for faculty to get away with this behavior (Matthias himself being evidence of that fact), his behavior is well outside of the rang…

The link to the personal site was a byproduct of what he described as a "social experiment" in which he published the James Damore memo on his office door, and was offended that st…

Matthias was the PhD advisor of Matthew Flatt and Shriram Krishnamurthi at the time where (what would eventually become) the Racket project started. Virtually all of the core contr…

Frankly, if you haven't heard anything about it, it's because you are not a part of the community that Matthias is in (whether that be Racket or Academic Programming Languages). It…

For what it's worth, if you wanted to make the argument that Racket the programming language would not exist without Matthew Flatt, you'd be undoubtably correct. He is more-or-less…

Firstly, the high rating that Butterick received for his teaching (the highest of all the instructors) was given by the students, not Matthias. Secondly, Matthias has lived in the …