idel
proposal-type-annotations
idel | proposal-type-annotations | |
---|---|---|
3 | 101 | |
12 | 4,101 | |
- | 0.8% | |
10.0 | 4.7 | |
over 6 years ago | 2 months ago | |
C | JavaScript | |
GNU Lesser General Public License v3.0 only | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
idel
-
My history with Forth, and stack machines
There was a wasm predecessor (by, well, me) with a bit more of the Forth flavor: https://github.com/darius/idel
From >20 years ago and my main regret is a failure to carry it through to be more than a demo.
-
Building the fastest Lua interpreter.. automatically
I don't know -- there were at least a couple papers about it, but I haven't been following. At the time it was first announced I used some of the ideas in one of my projects (https://github.com/darius/idel/blob/master/src/opcodes.awk) but unfortunately didn't develop it further.
-
All About E: The Language That Infiltrated JavaScript
Thanks, Chris!
Another interesting thing that came out of the object-capability ferment around E and EROS was Darius Bacon's Idel secure virtual machine: https://github.com/darius/idel
Though no other software is as influential as JS, other currently influential ocap systems include Genode, most of the current implementations of L4 (including seL4), and CHERI.
proposal-type-annotations
-
Bun 1.1
That proposal is not fully compatible with Typescript: https://github.com/tc39/proposal-type-annotations?tab=readme...
-
Go 1.22 Release Notes
They held a meeting a few months ago so it's alive but probably still years away.
https://github.com/tc39/proposal-type-annotations/issues/184
-
[AskJS] Kicking a dead horse - TS vs JS
I particularly like this thread in the TC39 types proposal. TypeScript IS a development trojan horse and locks you into the Microsoft Way of being a JS developer.
- Strong static typing, a hill I'm willing to die on...
-
HTML First – Six principles for building simple, maintainable, web software
Edit: There is a proposal to extend JavaScript with type annotations, which would allow ("a reasonably large subset") of TypeScript to run directly in the browser. Yay!
https://github.com/tc39/proposal-type-annotations
-
Building React Components Using Unions in TypeScript
More importantly, TypeScript typically commits to build things into itself when the proposal in JavaScript reaches Stage 3. The pattern matching proposal in JavaScript is Stage 1, but depends on many other proposals as well that may or may not need to be at Stage 3 as well for it to work. This particular proposal is interested on pattern matching on JavaScript Objects and other primitives, just like Python does with it’s native primitives. These are also dynamic types which helps in some areas, but makes it harder than others. Additionally, the JavaScript type annotations proposal needs to possibly account for this. So it’s going to be awhile. Like many years.
-
Show HN: Conway's Game of Life in TypeScript's type system
this is exactly what I want from the _Types as Comments_ proposal[0] as I think it's the only way that types can feasibly become part of the language. It's hard to imagine how all of the concepts TS introduces via special syntax can be covered otherwise.
[0] https://tc39.es/proposal-type-annotations
-
Why Htmx Does Not Have a Build Step
Crossing my fingers that the proposal for allowing (browser-ignored) type annotations in javascript progresses: https://tc39.es/proposal-type-annotations/
Between that, HTTP2/3 and ES modules many of the downsides for building apps with no compile step are almost completely mitigated.
-
TypeScript Without Transpilation
JSDoc can get you pretty far, but it can be clumsy sometimes. There’s a [TC39 proposal](https://github.com/tc39/proposal-type-annotations) to allow types to live in JS code and be treated as comments (similar with Python types today)
- Do you think typescript will ever have native support on brosers? Or we will have only the JS type annotations?
What are some alternatives?
luajit-remake - An ongoing attempt to re-engineer LuaJIT from scratch
astexplorer - A web tool to explore the ASTs generated by various parsers.
llvm-project - The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Scala.js - Scala.js, the Scala to JavaScript compiler
qbe-rs - QBE IR in natural Rust data structures
rescript-compiler - The compiler for ReScript.
LuaJIT - Mirror of the LuaJIT git repository
Carp - A statically typed lisp, without a GC, for real-time applications.
ish - Linux shell for iOS
d2-playground - An online runner to play, learn, and create with D2, the modern diagram scripting language that turns text to diagrams.
factor - Factor programming language
proposal-record-tuple - ECMAScript proposal for the Record and Tuple value types. | Stage 2: it will change!