proposal-type-annotations
Carp
Our great sponsors
proposal-type-annotations | Carp | |
---|---|---|
100 | 84 | |
4,060 | 5,393 | |
2.4% | 0.2% | |
4.7 | 0.7 | |
13 days ago | about 1 year ago | |
JavaScript | Haskell | |
- | Apache License 2.0 |
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.
proposal-type-annotations
-
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.
-
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!
-
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.
-
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?
-
TypeScript Book
Honestly the TC39 is the best case scenario. https://tc39.es/proposal-type-annotations/
Forget runtime type validation, TS is really for preventing bugs at development time as well as IDE integration.
-
Node.js codebase is still entirely in Javascript and not in Typescript and node team does not even officially provide node TS types
As for 2: here it is :) https://github.com/tc39/proposal-type-annotations
When will you see TypeScript in Node.js? Likely when it runs in the runtime. Look at https://github.com/tc39/proposal-type-annotations
Carp
- How to Write a (Lisp) Interpreter (In Python)
-
Roc – A fast, friendly, functional language
Carp - https://github.com/carp-lang/Carp - "A statically typed lisp, without a GC, for real-time applications." where it's "Ownership tracking enables a functional programming style while still using mutation of cache-friendly data structures under the hood".
-
Ask HN: Looking for statically typed, No-GC and compiled Lisp/scheme
Looking for a personal project so open-source would be great, but maturity/production readiness is not really a factor.
The only significant thing i can find so far is https://github.com/carp-lang/Carp.
Anything notable that i might have missed ?
-
Lisp in Space
Not CL, but there is ulisp (http://www.ulisp.com/) for microcontrollers, supposed to be really tiny, and there is Carp (https://github.com/carp-lang/Carp) which is without a GC so seems suitable for real-time stuff.
- Good languages for writing compilers in?
-
Emerging Rust GUI libraries in a WASM world
Everybody is trying to make a more user-friendly Rust. The problem is that it is not clear yet whether that's possible, and if it is, how it may look. I know Vale and have tried it, though it's extremely early to judge anything so far. It does have a much stronger theoretical background than V, but even the theory is not completely clear at this point.
There is also Carp by the way: https://github.com/carp-lang/Carp
-
Microsoft rewriting core Windows libraries in Rust
(Carp)[https://github.com/carp-lang/Carp]
-
Lexer in Haskell
Carp (parser source code)
-
Carp lang: statically typed Lisp, no GC
Found this page to be a nice intro to the syntax and semantics:
https://github.com/carp-lang/Carp/blob/master/docs/LanguageG...
I'm excited about Carp's comprehensive and well documented[1] interoperability with C, which unlocks lots of potential for interfacing with existing libraries.
Tim Dévé has even created a game for the Nintendo Game Boy Advance by using Carp's C interoperability; you can play an emulated version online[2].
[1]: https://github.com/carp-lang/Carp/blob/master/docs/CInterop....
What are some alternatives?
awesome-lisp-companies - Awesome Lisp Companies
sectorlisp - Bootstrapping LISP in a Boot Sector
ferret - Ferret is a free software lisp implementation for real time embedded control systems.
Fennel - Lua Lisp Language
femtolisp - a lightweight, robust, scheme-like lisp implementation
hy - A dialect of Lisp that's embedded in Python
babashka - Native, fast starting Clojure interpreter for scripting
mirage - MirageOS is a library operating system that constructs unikernels
trivial-gamekit - Simple framework for making 2D games
nim-esp8266-sdk - Nim wrapper for the ESP8266 NON-OS SDK
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
joker - Small Clojure interpreter, linter and formatter.