parenwielder

8 ms·

1.
by parenwielder 5mo ago
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 right now, but Lute exposes Luau’s parser which we’re using
2.
by parenwielder 1y ago
enough that we run a multibillion dollar business entirely off of executing untrusted code on our hardware
3.
by parenwielder 1y ago
> 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 open research in programming languages. Racket #l
4.
by parenwielder 1y ago
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 embedded context, you could choose to e.
5.
by parenwielder 1y ago
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 _more_ than just Lua 5.1 in Luau though.
6.
by parenwielder 1y ago
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 language in a different direction than Lua
7.
by parenwielder 1y ago
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 active in as part of our work on Luau.
8.
by parenwielder 1y ago
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 definition, etc.) and in terms of correctness (identifying bugs earl
9.
by parenwielder 1y ago
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 reasons/lack of investment. It'd be very, very expensiv
10.
by parenwielder 1y ago
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. TypeScript which takes the approach more of &q
11.
by parenwielder 1y ago
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 use of the language needn't depend on Analysis, which i
12.
by parenwielder 1y ago
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), Digital Extremes (Warframe), GIANTS Software (Farming Simulat
13.
by parenwielder 1y ago
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 language’s implementation is also in C++. Th
14.
by parenwielder 1y ago
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.
15.
by parenwielder 1y ago
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 maybe (which is as limited as you’d expect from a dynamicall
16.
by parenwielder 5y ago
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 of "cancel culture" coming for &quo
17.
by parenwielder 5y ago
Nobody tried to get him fired. They wanted him to not post inane and sexist bullshit on his office door.
18.
by parenwielder 5y ago
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' politicking.
19.
by parenwielder 5y ago
needlessly antagonistic is a fair characterization of his approach to the world at large
20.
by parenwielder 5y ago
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 range of what could reasonably be considered normal, at least wi
21.
by parenwielder 5y ago
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 students reported him to the dean for acting to crea
22.
by parenwielder 5y ago
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 contributors are either his PhD students over the years, or stude
23.
by parenwielder 5y ago
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's very far from a secret, though obviously p
24.
by parenwielder 5y ago
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 the sole maintainer of the compiler, but fortunat
25.
by parenwielder 5y ago
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 United States for virtually his entire adult life. Longer th
26.
by parenwielder 5y ago
Matthias is virtually always the prickliest person in the room at academic programming languages conferences, by quite a bit.
27.
by parenwielder 5y ago
This is absolutely the key point, and the one that all the discussion here is missing. Nobody defends Matthias' behavior, they just suggest that you should tolerate or ignore it. The reason is clear when you realize that "the Rack
28.
by parenwielder 5y ago
The person you've highlighted as doing everything is Matthew Flatt, a professor at the University of Utah, not Matthias Felleisen, whose contribution in code is not the reason he is indispensable to the project.