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

Ask HN: New Programming Language?

news.ycombinator.com

Post reply on HN
Print view View original

71–80 of 99 posts

Re: Ask HN: New Programming Language?

#71

Post by JoelMcCracken »

kryptiskt wrote: post #9

I would take SML, freshen it up with some conveniences inspired by Haskell and OCaml, and add a mode with region-based memory management only, so it can be used without a GC. This so there is a simple but principled language targeting low-level programming. Rust is nice, but it has so many features and a syntax aimed at C++/Java folks.

I'd love a SML with explicit effects system (and yes, I know we can implement a monad system in SML, but there needs to be ecosystem support or I might as well do the same thing in JavaScript or whatever)

Re: Ask HN: New Programming Language?

#72

Post by pxeger1 »

ppeetteerr wrote: post #68

I would want a language I can run natively on every platform with the syntax of Swift/Kotlyn.

I'm not sure what you mean - Swift and Kotlin can both do exactly that. Swift works best on macOS, obviously, but it can run fine on Windows and Linux. Kotlin runs on the JVM, so it gets cross-platform support for free.

Re: Ask HN: New Programming Language?

#73

Post by ppeetteerr »

pxeger1 wrote: post #72
ppeetteerr wrote: post #68

I would want a language I can run natively on every platform with the syntax of Swift/Kotlyn.

I'm not sure what you mean - Swift and Kotlin can both do exactly that. Swift works best on macOS, obviously, but it can run fine on Windows and Linux. Kotlin runs on the JVM, so it gets cross-platform support for free.

There is one area that is pretty large when it comes to engineering effort, and that's on the web (currently dominated by JavaScript).

Re: Ask HN: New Programming Language?

#74

Post by Kuinox »

pjerem wrote: post #25
Kuinox wrote: post #20

It's been a while i'm thinking about one: A Relational General Purpose Language. Not table oriented like SQL, but more OOP/Type oriented, I'm not sure exactly how I want it to be, but surely not table oriented. No concurrency or async to worry about, you write the relations (exactly like you dont worry about SQL on concurrency while writing an SQL query). Like a JIT/DB Engine, it has a runtime that analyze the data p…

Isn't that LINQ ? https://docs.microsoft.com/en-us/dotnet/csharp/programming-g...

I'm a C# dev, I know well LINQ.

LINQ has multiples issues compared to what I want to do.

It's slow (at leat 1000x slower than a for loop)

There is no query optimizer by default, and even less a runtime query optimiser.

It's directly translated to procedural code, it doesn't get compiled and translated like a query engine will do in an SQL DB.

Re: Ask HN: New Programming Language?

#75

Post by Kuinox »

dragonwriter wrote: post #29
Kuinox wrote: post #20

It's been a while i'm thinking about one: A Relational General Purpose Language. Not table oriented like SQL, but more OOP/Type oriented, I'm not sure exactly how I want it to be, but surely not table oriented. No concurrency or async to worry about, you write the relations (exactly like you dont worry about SQL on concurrency while writing an SQL query). Like a JIT/DB Engine, it has a runtime that analyze the data p…

D (the Date And Darwen one, not the Walter Bright one)? https://en.m.wikipedia.org/wiki/D_(data_language_specificati...

Thanks, I didn't knew about D (I did little to no research on other languages yet).

I will read it, but mind that, I said "general purpose" I don't want this to be a language used to be only used as a Database. The whole app should be written in it.

Re: Ask HN: New Programming Language?

#76

Post by Kuinox »

stickfigure wrote: post #45
pjerem wrote: post #25

Earlier quoted context omitted.

Isn't that LINQ ? https://docs.microsoft.com/en-us/dotnet/csharp/programming-g...

Not being familiar with LINQ, does it solve SQL's composability problems? I love SQL for what it can do, but I am constantly annoyed at how inconsistent it is and how terrible it is for generating queries via software. It feels ripe for a replacement that is semantically similar but syntactically different.

LINQ is a library & C# language syntax that call this library thats allow to write SQLish like query on your C# objects.

Re: Ask HN: New Programming Language?

#77

Post by pjerem »

Kuinox wrote: post #74
pjerem wrote: post #25

Earlier quoted context omitted.

Isn't that LINQ ? https://docs.microsoft.com/en-us/dotnet/csharp/programming-g...

I'm a C# dev, I know well LINQ. LINQ has multiples issues compared to what I want to do. It's slow (at leat 1000x slower than a for loop) There is no query optimizer by default, and even less a runtime query optimiser. It's directly translated to procedural code, it doesn't get compiled and translated like a query engine will do in an SQL DB.

I’m far from a C# expert, I just happen to write some at work but that’s not my predilection language so you probably know better than me but, implementation appart, as a querying language, it feels pretty good.

Also, I understood that it was translated to IEnumerable queries, so, wouldn’t EF optimize the query ?

Re: Ask HN: New Programming Language?

#78

Post by qsort »

dwallin wrote: post #52

I've always been interested in what programming might look like if it evolved from a non-linguistic base. We tend to assume that having programming using a text-representation is the obvious move but what if a different set of historical/technological priors had led us to build programming abstractions upon something completely different?

Programming languages are abstract syntax trees, not text. They are rendered as text because text is by far the most convenient way to edit, store and cross-reference information.

I don't think there exists any timeline where we don't end up with something we would recognizably call a programming language.

Re: Ask HN: New Programming Language?

#79

Post by xscott »

tapan_jk wrote: post #32
showerst wrote: post #19

My wish list is a little more pedestrian: 1. High level like python, but strongly typed 2. "normal" c style syntax 3. First class support for "green thread" style concurrency, like erlang 4. First class support for dataframes and the best of python's various ML/data packages. 5. A really great ORM well integrated into the language, that can handle elastic and nosql as well as sql. 6. A batteries included web solution…

umm, Go?

Now that Go has generics, it just needs operator overloading to be usable for matrices and ND arrays. :-)

Re: Ask HN: New Programming Language?

#80

Post by qsort »

Someone wrote: post #63

I would like to see an experiment where modules, their properties, and their dependencies are written down in a separate file. For example, it would tell module main depends on ui , utils and json , ui on graphics (a third party library) utils on encrypt and IO (which are part of the standard library of the language), json on Streams (another part of the standard library). It also could say graphics doesn’t use refle…

Compiler-enforced computational complexity would be an interesting part of that experiment. Could be part of the function declaration, for example:

    void constanttime doStuff(vector v)
However, it would likely require extensive dedicated support and would necessarily be limited (hello, halting problem!). I could see that working and be useful for common complexity values, e.g. O(n^k), O(log n) etc.
Post reply on HN