I want a programming language that can do a lot, from web, game and IoT, with type system like Haskell/TypeScript/Rust/Ocaml and simplicity of Go
Ask HN: New Programming Language?
11–20 of 99 posts
Re: Ask HN: New Programming Language?
#12I'd like a language that, as much as possible, insulated me from async worries. I'm thinking of how garbage collection helps me forget about memory allocations. I don't want to have to pepper my code with 'async' and 'await' hints everywhere. I'd prefer to not have to figure out the syntax incantation for marshaling data across threads. If I'm not mistaken Go is the closest to this?
Re: Ask HN: New Programming Language?
#13A programming language that is based on values including values where the components can have references to other components. Such a programming language should also have cursors that point to parts of a value and can be used to modify a part of the value that they belong to. Preferable there should also be transactions on values and values with a (undo/redo) history. Having a lot of experience with programming in C+…
Have you looked at Clojure?
Re: Ask HN: New Programming Language?
#14I want a programming language that can do a lot, from web, game and IoT, with type system like Haskell/TypeScript/Rust/Ocaml and simplicity of Go
Use Ruby with Sorbet as a type-checker
Re: Ask HN: New Programming Language?
#15Combine the speed benefits of C++ with the freedom of lisp. I don't think it's possible.
I'm out of date, but compiled LISP doesn't have to be vastly slower than C++. Here they got 2x to 3x: https://benchmarksgame-team.pages.debian.net/benchmarksgame/...
Re: Ask HN: New Programming Language?
#16I 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'm convinced that in 50 years all "general purpose" programming languages will be some sort of ML derivatives. Just looking at the feature sets they keep adding on to existing languages (like for example C# where the language is slowly but surely becoming F#) and that seems to be the direction everything is heading.
At some point everyone realizes that if you want to do things "generally" then you want an ML. And after that we slowly get the surface area of general languages hardening until we don't really see that many new features popping up all the time. Afterwards all the innovation shifts to niche programming languages and DSLs.
I would give your idea a try. I think it's good.
Re: Ask HN: New Programming Language?
#171. Placing language interop as a high priority via extendible interop framework. Right now if you look for interop chances are you’re only gonna get A—>B bindings (eg Python->Rust), not even AB. I’d want something where, for all A,B in the set of supported languages, AB interop exists. This ideal language could then have like some glue module to allow that.
2. Extensible reflection system like in Python
3. 1 official package manager only, with virtualenvs, and 1 official language version manager
4. Compilable and transpilable, like Futhark
5. Algebraic algorithm compiler hints: eg string length is a monoid homomorphism, so if I wanted to label ‘len(str)’ as such the compiler would be smart enough give me a parallelized, async version of string length
6. Higher order functions + partial application + lenses as built-ins
7. Really solid debugging tools, including at minimum time travel features and automatic data structure visualization
8. Jupyter notebook support
9. Can compile to wasm
10. Codegen as a first class feature, to go along w the reflection capabilities. Eg if I want to copy one region of code to another location, be able to do so. But also much more sophisticated operations than copy.
11. String diagram editor for composable module diagrams
12. IDE has built in natural language interface but in a non-interfering way. By which I mean, rather than writing the code for me at my cursor in my code editor, let me write the code on the left, and have the computer make a list of the ‘todos’ and function implementations that will need to be tackled next. Keep me in my flow, while helping me prefetch the next task to do.
Re: Ask HN: New Programming Language?
#18I want a programming language that can do a lot, from web, game and IoT, with type system like Haskell/TypeScript/Rust/Ocaml and simplicity of Go
In terms of the languages you listed there, sounds like V to me:
Re: Ask HN: New Programming Language?
#19My 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 like laravel that handled the common web use cases like auth, a db admin, etc. Bonus points if it's write once for frontend and backend a la svelte.
7. Pretty much just steal cargo for package management.
Re: Ask HN: New Programming Language?
#20It'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 processed, and optimize further the queries. I believe it even could dynamically figure out of embarrassingly parallel problems and sent it to process on the GPU.
But all of this require a lot of work ^^'.