Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Show HN: A SQL database implemented purely in TypeScript type annotations

github.com

Post reply on HN
Print view View original

181–190 of 196 posts

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#181

Post by bruh2 »

dynamite-ready wrote: post #122
tegeek wrote: post #60

Earlier quoted context omitted.

I had been thinking that WebAssembly or CLR could be the target for TypeScript and that would allow to bring her own base class libraries etc. But if you look closely again, the beaut & wide adoption of TS is because it has no "runtime" or no extra libraries or APIs to learn. Its the JS. This also makes it easy to iterate quickly on Type System and bring new features. Having its own runtime means, that wouldn't be ea…

Interesting referencing a programming language as a feminine article like that... Not saying it's wrong, just unusual to me.

My native languages has gendered objects, and "language" is feminine. Might be the same case

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#182

Post by crazypython »

DLang can sort an array at compile-time using a normal function: (CTFE)

  void main()
  {
      import std.algorithm, std.conv, std.stdio;

      "Starting program".writeln;

      // Sort a constant declaration at Compile-Time
      enum a = [ 3, 1, 2, 4, 0 ];
      static immutable b = sort(a);

      // Print the result _during_ compilation
      pragma(msg, text("Finished compilation: ", b));
  }
It can also reflect at compile time on user-defined annotations, which can store arbitrary metadata on any symbol, to generate arbitrary code at compile time. They serve a similar role to procedural macros from Rust, but they're easier to use than the earlier. Thanks to mixin templates, you can inject arbitrary symbols, making D's UDAs just as flexible as Python's decorators.

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#183

Post by dwohnitmok »

jacinabox wrote: post #160
dwohnitmok wrote: post #103

Earlier quoted context omitted.

Types do not need to have a one-to-one correspondence with runtime data structures and indeed in many type systems often do not. In the limit, a type does not need to have any runtime representation at all (this is more than just generic erasure or phantom type parameters, you can have an entire type signature that has absolutely no runtime representation of any of its parts). There is not really a fundamental differ…

A predicate is a computer program that accepts an input and returns "yes/no." A type system could be an arbitrary predicate which returns "well typed/not well typed" when given a term. But obviously there must be some difference between types and predicates, such as extensionality -- the type of an expression can be decided by examining the code alone.

Are you responding to my assertion that there's no fundamental difference between type systems and static analysis? If so, if we just change "well typed/not well typed" to "acceptable/not acceptable" I think you've pretty much just described static analysis.

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#184

Post by nsonha »

alex_duf wrote: post #178
nsonha wrote: post #169

Earlier quoted context omitted.

generating types from a swagger spec? Graphql? Or any kind of schema? Look up fsharp type providers.

As far as I understand (and I might be wrong so please correct me), this can't be used to generate anything. Of course all the technologies you've listed are useful and brilliant but this isn't what I'm seeing. It's more of an experiment of thoughts to generate types that are defined by the result of the SQL query, bending a compiler to a new strange behaviour that happens to be SQL like.

It definitely can parse anything, the code that is required to make such a parser might be a bit unreadable but look up somewhere in this thread there is a twitter link to a github project of a generic json parser. Typescript 4.1 isn't event released yet, once it is there will be a dozen of projects like this.

If you think this is useless because it doesn't generate any code then I'm assuming you're not familiar with typescript because type level libraries isn't supposed to do do that anyway. There are already libraries that generate open api client and graphql client but they generate type definition via an extra build step which libraries like this can eliminate.

And this typescript feature was made to parse strings so no this is not "bending the compiler"

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#185

Post by nsonha »

Justsignedup wrote: post #91
bartq wrote: post #90

That's pretty neat. What I really want is this: function fn(query:string){ const stuff = // do some stuff with `query` variable return createType(stuff); } type MyType = FromJS ; This way we could compute types on the fly with JavaScript instead of creating monstrous types in TypeScript types system.

wouldn't that be neat... However, there are Java frameworks that basically generate a type system from your database so whatever columns you query ends up being static types that can be determined at compile time. https://www.jooq.org/ Java is really quite cool. I wonder if we'll ever get a typescript version of jOOQ

if we are talking about code gen then it exists in every language, nothing extraordinary here. In nodejs, there is prisma for example. This typescript thing generates static type on the fly, not by generating code.

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#186

Post by yowlingcat »

bionhoward wrote: post #105

JavaScript is such a cool language, and I really love it, especially the FP subcommunity, but the AI community for Python is way bigger, I wish there were more options for neural nets, differentiable programming, and data frame type things in JS. The interoperability with WASM is hugely valuable, and so is the ability to easily publish results on the web. It feels like it’s way easier to make an AI system in python,…

I think you're talking about two different systems and two different problems. First, there's the core service code, the AI system in Python you're talking about. Then, there's the web platform or service that you monetize. But there's no reason why you wouldn't just use both.

Write the core AI code in Python because that's what's practical to do. Write the app code in JS because that's what's practical to do. Sell the product to customers that want to use it and probably don't care what's underneath.

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#187

Post by bmarkovic »

dynamite-ready wrote: post #154
dynamite-ready wrote: post #122

Earlier quoted context omitted.

Interesting referencing a programming language as a feminine article like that... Not saying it's wrong, just unusual to me.

People downvoting an observation on a curious use of language? If it's because of some perceived political motive, then that's really sad. I really did just wonder why anyone would anthropomorphize a programming language, by ascribing a gendered pronoun to it.

They're probably a native speaker of gramatically gendered language (like German, most Slavic languages etc).

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#188

Post by throwaway7422u »

gfody wrote: post #164
ricksharp wrote: post #46

Earlier quoted context omitted.

Thinking about this more. I think this project has some promising practical uses when combined with code generation from the typescript ast (which is what my project does). Since the type system can parse the SQL strings, then it becomes possible to include those strings as a source for the ast. Then the code generator can use the typescript parser to parse all the types and the sql. From that it can generate all the…

my thoughts as well. compile-time checked arbitrary sql would defeat the purpose of so many abominable ORMs. make it work with DDL instead of sample data and you've really got something nice!

This project does exactly that (TypeScript/PostgreSQL):

https://github.com/MedFlyt/mfsqlchecker

Re: Show HN: A SQL database implemented purely in TypeScript type annotations

#189

Post by bhandziuk »

flowerlad wrote: post #81

This shows how complex TypeSript has become. It may be fun to write complicated Type annotations such as this, but imagine having to read and maintain the code!

I find these types still exist in JS it's just impossible to decipher what you're writing and supposed to be doing without a solid TypeSystem. The types might look complicated but really this is much more simplified that getting runtime errors.
Post reply on HN