Well, here’s something you can’t do with Clojure: https://github.com/codemix/ts-sql

there’s many things clojure can’t do, luckily

Yeah, just to be clear, my comment was tongue in cheek. 🙂

here is a actual quote from the top comment on ts-sql on hackernews: > TypeScript is becoming such a compelling language due to its insanely advanced type system (that allows for projects like this) that I now want to use it everywhere. I want it to become the next Python.

I… don’t know what to say about that 😐

doesn't seem that crazy to me. js runtimes everywhere. TS adds a gradual typing system with compelling features. package management is better than python. I don't think they are wanting packages written in this style (this is just flexing on the type system) but just kinda amazed that this is possible

reminds me of aphyr solving the 8 queens problem in the haskell type system

I only skimmed the README of that project -- is the type system basically so dynamic at run time that it can represent arbitrary collections, containing data that is unknown when the program starts executing?

That's because we're all blub programmers http://www.paulgraham.com/avg.html

Or does that project SQL-TS somehow restrict you to performing SQL queries at compile time?

I posted the quote to highlight how incredibly different people’s perspectives are: personally, “being able to write an SQL database in the type system” is waaay down on the list of features I look for a programming language

but an advanced and expressive type system is desirable. I would love a gradual row polymorphism type system with inference in clojure.

I like the way zig does things. it's a C replacement, and instead of preprocessor / includes / macros you can just use the full language at compile time (except unlike lisp you don't use the language to create new forms to compile, it's used to eg. calculate object sizes for allocation, or validate that certain error conditions are handled)