empirical-lang
proposal-record-tuple
empirical-lang | proposal-record-tuple | |
---|---|---|
6 | 73 | |
167 | 2,428 | |
0.0% | 0.7% | |
1.8 | 2.7 | |
about 3 years ago | 5 months ago | |
C++ | HTML | |
GNU General Public License v3.0 or later | - |
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.
empirical-lang
-
Code in Database vs. Code in Application
I'm interested in languages experimenting with integrating tables/dataframes and the relational model as native parts of the language
With how much of the code I've written that's been around representing entities and doing CRUD on collections of them it seems a bit wild not to have native "Table" types.
There's an HN user who has a neat language called "Empirical" based on this, and there's an active research language called "Flix" that has this as well. APL/K and other array langs feature a similar concept as I understand it.
https://www.empirical-soft.com/
https://flix.dev/
-
Tell HN: Stop Accepting Shitty Interviews
The most used in finance is a few functions in pandas, like merge_asof(). It's pretty industry standard now.
https://pandas.pydata.org/docs/reference/api/pandas.merge_as...
The biggest open-source thing I've ever written is Empirical, a language for time-series analysis.
https://www.empirical-soft.com
I'm also top 1% on Stack Overflow. A lot of companies have found me through there.
https://stackoverflow.com/users/478288/chrisaycock
-
Table Oriented Programming (2002)
I started Empirical with the goal of "q like Haskell". The end result went in a radically different direction, but the guiding light has always been to have a statically typed language where tables and queries are a first-class operation.
The source code is publicly available under AGPL with the Commons Clause:
https://github.com/empirical-soft/empirical-lang
-
Scripting Languages of the Future
Some of the OP's observations are why I wrote Empirical [1].
- I wanted static types that felt dynamic, which meant being able to infer types from a file as long as the file path can be determined at compile time.
- I wanted Dataframes to be a first-class container since the high-level of abstraction leads to great performance when doing analytics.
Therefore, I created a language with statically typed Dataframes. Empirical can infer a CSV's type at compile time, namely because performs compile-time function evaluation automatically. The result is a language that runs easily in a REPL but can be used for long-running scripts without worrying about common programming errors.
[1] https://www.empirical-soft.com
-
APL Compiler Based on Tail (Typed Array Intermediate Language)
I wanted to hit the runtime repeatedly with as little overhead as possible. So VVM has no type look-up, multiple operands per instruction, and a cache-efficient IR. The sum() operand for the above example is invoked directly in a loop almost as fast as hand-written C++.
VVM has its own assembly language [2]. I have blog post that explains some of the design choices [3].
[1] https://github.com/empirical-soft/empirical-lang/tree/master...
[2] https://github.com/empirical-soft/empirical-lang/tree/master...
[3] https://www.empirical-soft.com/2020/09/03/a-tour-of-the-vect...
proposal-record-tuple
-
Union, intersection, difference, and more are coming to JavaScript Sets
relevant issue, which is at the crux of this problem: https://github.com/tc39/proposal-record-tuple/issues/387
-
The Everything NPM Package
There are still so many basic things that aren't in the JS stdlib, though. A good example is Map - if you need to use a tuple of two values as a key, you're SOL because there's no way to customize key comparisons. Hopefully we'll get https://tc39.es/proposal-record-tuple/ eventually, but meanwhile languages ranging from C++ to Java to Python have had some sensible way to do this for over 20 years now.
-
Deep Cloning Objects in JavaScript, the Modern Way
If you’re reaching for structuredClone, what you really want is native immutable Record and Tuple syntax, and the companion “deep path properties” syntax which allows for efficient and ergonomic immutable updates:
- https://github.com/tc39/proposal-record-tuple
-
Cool language features that Rust is missing?
It will be called "record" in JavaScript which will swing the popularity back the other way I guess (currently a language proposal)
-
Why doesn't TypeScript properly type Object.keys?
I suspect considering the strong desire to maintain consistency with JavaScript, we will eventually see something that when the Record proposal passes through tc39
-
ES2023 features list!
I hope the Record and Tuple proposal makes it through
-
ES2023 introduces new array copying methods to JavaScript
I mean, I'd love some real immutable/persistent data structures in JS by default, or even some Immer-like syntax sugar. Something like the record/tuple proposal would be awesome.
-
What's new in ECMAScript 2023
This will become very useful once Records and Tuples are a thing, because it allows you to store object references in a record/tuple (which by definition can only contain primitives).
-
[AskJS] Is JavaScript missing some built-in methods?
Record and tuple is at stage 2
-
The huge potential of Kotlin/Wasm
Also, js has an ongoing immutable value data types proposal.
What are some alternatives?
passerine - A small extensible programming language designed for concise expression with little code.
zod - TypeScript-first schema validation with static type inference
Apache Geode - Apache Geode
Immer - Create the next immutable state by mutating the current one
piccolo - An experimental stackless Lua VM implemented in pure Rust
typescript-eslint - :sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
apltail - APL Compiler targeting a typed array intermediate language
typescript-is
Linq-in-Rust - Language Integrated Query in Rust.
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
smlsharp - SML# compiler
proposals - Tracking ECMAScript Proposals