BosqueLanguage
ts-sql
BosqueLanguage | ts-sql | |
---|---|---|
8 | 28 | |
5,314 | 3,114 | |
- | 0.0% | |
8.3 | 0.0 | |
over 1 year ago | almost 3 years ago | |
TypeScript | TypeScript | |
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.
BosqueLanguage
- The Claro Programming Language
-
Bosque Programming Language
Very interesting, so this is another potential for Typescript -> Native code.
The feature set looks pretty neat, and it's probably the first project by a larger company that I've seen use deno (required for building).
Docs are pretty light, but there is _some_ here: https://github.com/microsoft/BosqueLanguage/blob/master/docs...
-
Ask HN: What is on the cutting edge of programming language design and research?
https://github.com/Microsoft/BosqueLanguage
I'm not super familiar but it looked cool when I read about it a few years ago
Also, differentiable programming is interesting and getting lots of attention (jax, zygote, enzyme, kornia etc). I don't know if there is a "killer app" outside just training neural networks yet, but it's worth watching and e.g. kornia is doing some cools stuff
-
What are the most interesting research topics you’ve seen recently?
First, since i'm interested in programming languages, I ran into microsoft's Bosque which one of its goals is a garbage collector that never stops the world. Unfortunately they do not provide any info about it, so I begun looking by myself.
- Bosque programming language at 3 – starting next phase
- The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
-
Creating a Bosque Programming Language Dev Environment in 2021
Create a folder you want to work out of and copy the docker file from the Bosque git repository into that folder. Using the command palette (ctrl+shift+p on Linux), select to open a folder in a container. Select the folder and instead of selectinging the nice variety of base containers they have built-in select to use the docker file that is in the folder. Just wait and eventually it builds the image and loads the folder. (Going forward it will turn on and shut off the image when you run this folder, nice!)
-
Are there any other programming languages that support typed string literals, like TypeScript?
Yes, Bosque https://github.com/microsoft/BosqueLanguage
ts-sql
-
Type-Safe Printf() in TypeScript
There is an implementation of SQL that operates on a table shaped type, entirely at type level. For your amusement: https://github.com/codemix/ts-sql
There are a bunch of more practical takes that codegen types from your database and generate types for your queries, eg: https://github.com/adelsz/pgtyped
To me the second approach seems much more pragmatic because you don’t need to run a SQL parser in a fairly potato interpreter on every build
- Functions and algorithms implemented purely with TypeScript's type system
- Que opinan de esta forma de actualizar estados complejos en React, creen que es buena practica o tienen una mejor forma?
-
How to Sell Elixir Again (2023)
> If I would level criticisms at dialyzer it would be its sometimes difficult to read warnings, it’s speed (despite being multithreaded) and the race conditions in the VS Code plugin (which is looking for extra maintainers – if I had time I would help).
One of the advantages of TypeScript is that VSCode is written in TypeScript, and both VSCode and TypeScript are developed by the same company, so there's a really nice synergy there. I imagine Kotlin users feel the same way using Jetbrains products, and Swift users feel the same way about XCode.
Dialyzer looks interesting, but I can't imagine giving up on the expressiveness of TypeScript. Some of the things you can do with generics, mapped types, intersection types, template literal types, conditional types, and utility types are almost mind boggling. It's difficult to reap all of the benefits of static analysis without some of these advanced type operators. The type manipulation section of the TS manual is really underrated.
Someone for example wrote an SQL parser in TypeScript that requires no runtime code [1]. It can infer the types of an SQL query's result based on an SQL string without any runtime code execution. There was a similar project where someone built a JSON parser entirely using the type system [2]. There's also an ongoing discussion on Github about the the fact that TypeScript's type system appears to be a Turing-complete language with some other cool examples [3]. My point is that the type system is incredibly expressive. You rarely run into an idiom that can't be typed effectively.
[1] https://github.com/codemix/ts-sql
[2] https://twitter.com/buildsghost/status/1301976526603206657
[3] https://github.com/microsoft/TypeScript/issues/14833
- Please use Typescript
- TypeScripting the Technical Interview
-
Pls can we go back to traditional languages?
If anyone saw this meme and thought, "damn parsing a type from a SQL query, that looks useful" (as I did), the source appears to be from here.
-
Type-Level FizzBuzz
I mean, why stop there? https://github.com/codemix/ts-sql
-
HypeScript: Simplified TypeScript's type system in TypeScript's own type system
Which allows for things like this type that implements a simplified SQL query parser checked against a provided 'database' object:
https://github.com/codemix/ts-sql
This project was my go-to "nifty but pointless" example for TS string literal types before this article :)
-
Deepkit – High-Performance TypeScript Framework
author of ts-sql[0] here, this looks great (and a way more practical approach!)
[0] https://github.com/codemix/ts-sql
What are some alternatives?
DeveloperNetwork - [Moved to: https://github.com/dovescript/developernetwork]
slonik - A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
Paste JSON as Code • quicktype - Xcode extension to paste JSON as Swift, Objective-C, and more
pgtyped - pgTyped - Typesafe SQL in TypeScript
lean4 - Lean 4 programming language and theorem prover
sqlx - 🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
kanel - Generate Typescript types from Postgres
LInQer - The C# Language Integrated Queries ported for Javascript for amazing performance
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
DefinitelyTyped - The repository for high quality TypeScript type definitions.
rakudo - 🦋 Rakudo – Raku on MoarVM, JVM, and JS
vramework