Searching for a language

I am looking for a programming language, it can't be non-free (thats means free as free of charge) or any of that non-opensource crap. It has to be real multithread-capable (none of that green thread/ co-routine bullshit) and has to produce small executables(no 100-line program should be above 5mb). And has to be really fast (not more than 2 times slower than C). Also It can't be purely functional or type-unsafe. And you have to post examples of that language used to make real programs(i want to make sure its useful in the real world). And it would need to come with macros and RTTI out of the box. OH! and it CANNOT have mandatory Garbage Collection, or been made to use reference counting. It has to be portable, or at least run in Linux and Windows. Also it would have be nice if it had a large standard library and was multiparadigm.

C

>>2
C
1.No native threads.
2.type-unsafe
3.no RTTI
4.Small standard library
5.Single-paradigm(procedural)

Lisp, generating C/C++ code.

>>4
Append Haskell, ATS, and ML influenced language, even Prolog influenced languages.
--Erlang

>>4
Lisp
[]non-free
[]non-opensource
[x]not real multithread-capable (SMP and OS-level threads)
[x]cannot produce small executables
[x]low speed ( more than 2 times slower than C)
[]purely functional
[] type-unsafe.
[x]no examples fo real-world use
[]no macros
[]no RTTI
[x]forced Garbage Collection
[x]forced reference counting
[]non-portable
[]small standard library
[]single-paradigm

>>4-5
Using language A to generate language B code is considered as using Language A or Language B alone.
You can't have both languages benefits without both languages drawbacks.

>>6
prove it.

>>7
So when you compile Haskell to machine code, you get machine code's drawbacks?

>>7
Nope. In Haskell the features of Haskell remian in compiled machine code. Also:
[]non-free
[]non-opensource
[]not real multithread-capable (SMP and OS-level threads)
[x]cannot produce small executables
[]low speed ( more than 2 times slower than C)
[x]purely functional
[] type-unsafe.
[x]no examples fo real-world use
[x]no macros
[]no RTTI
[x]forced Garbage Collection
[]forced reference counting
[]non-portable
[]small standard library
[x]single-paradigm

>>8
Its seems to me that its correct. If you have any objections or clarifications, state them.

lisp

>>11
It is not. Lisp doesn't have forced Garbage Collection or low speed. For example, http://ahefner.livejournal.com/20528.html

Ada95, now fuck off.

>>13
A DSL written in Lisp, doesn't mean Lisp itself has the qualities of its DSL.

d

>>14
I'll look into it.

hmm, all you list are performance concerns, threads, and some seeples crap....soo.....seeples

Why is "examples fo real-world use" even a thing? That's the line COBOL and PHP advocates use because they have nothing else. If its not PHP ad hoc, is Turing complete and there are a few libraries to get started (people seem entitled with their boosts and batteries these days) that just feels like a universal cop out in case someone actually finds your utopian language. If the fundamentals of the language design itself is shit then its not worth ever touching, if the implementation is non-free you might as well have designed your own language to begin with, as for everything else they can be improved after the fact.

Fine: non-free
Fine: non-opensource
Fine: not real multithread-capable (SMP and OS-level threads)
Fine: cannot produce small executables
Fine: low speed ( more than 2 times slower than C)
Fine: purely functional
Fine: type-unsafe.
Nope: no examples fo real-world use
Fine: no macros
Fine: no RTTI
Fine: forced Garbage Collection
Fine: forced reference counting
Port it yourself: non-portable
Write it yourself: small standard library
Possible signs of an ad-hoc design otherwise: single-paradigm

Anyway, Modula-2, Ada and perhaps Oberon sans GC may be the closest things you want (if you forgo macros) since they come from a strong typing tradition and from a time emitting machine code was still a thing.

>mfw rust

>>20
E/G/IN; MY DEAR /G/ROSKI XDD

LETS POST MORE LEEEEL MEME XDDDDDDDDDDD

>>19
Examples of real-world use: that means your programs have a userbase.
 A toy program which demonstrates the elegance of some algorithm is not a complete real-world program. A toy program which abstracts out some task isn't a real-world program(unless its a library).
Real-world programs have interfaces,bug-reports/tickets/feedback channels, developer teams and diverse userbases.
Toy programs are text-only niche utilities,(typically)developed for programmers, as single-author projects which consider that users should be able to fix/port/adapt the code themself.

>>22
Don't you have a herd of sheep to join?

>>22
Back to JEWVA

>>24
Ada is superior to Java.
Java is [x]non-free (owned by Oracle) while Ada is an Open Standard
Java [x]cannot produce small executables (executable wrapping requires huge JVM) while Ada can
Java has [x]no macros ,Ada has integrated preprocessor
Java has [x]forced Garbage Collection , Ada doesn't

>>25
>>22
Anyway, out of curiosity I've checked my own recommendation, if you were to relax the GC requirement, you might actually like Oberon. The Oxford Oberon-2 compiler produced a 138K executable for a factorial example, no dynamic runtime dependency either. And full operating systems that fit on a floppy have been made in this language.

And you have to post examples of that language used to make real programs(i want to make sure its useful in the real world)
If you're this retarded it doesn't matter what language you shove down your throat.

Haskell

>>27
Spoiler: Its an adapted version of bento box copypasta
https://encyclopediadramatica.se/Copypasta/Archive_1#Bento_Box

ass trumpet

ass trumpet

ass trumpet

Brainfuck is free. It is multithreaded capable, there are several implementations which are. It produces small executables. It is really fast. It is not type unsafe (just one type) and not purely functional.

And it is used in the real world:

a cat program:
,[.[-],]

This can be actually used instead of the normal cat.

C# checks all the boxes.  There is a free version and it runs on Linux through mono.

If you count the installed framework the output is large but technically you don't need it all.

>>35
Miguel-san, lurk more, please!

javascript

C# is owned by M$ which means all your "free versions" are running on goodwill of M$.

>>37 JavaScript:
[]non-free
[]non-opensource
[x]not real multithread-capable (SMP and OS-level threads)
[x]cannot produce small executables
[x]low speed ( more than 2 times slower than C)
[]purely functional
[] type-unsafe.
[]no examples fo real-world use
[x]no macros
[]no RTTI
[x]forced Garbage Collection
[x]forced reference counting
[x]non-portable
[x]small standard library
[]single-paradigm

jython

symta

>>41
low speed, non-portable, small standard library, no real word use, no documentation...

>>42
Rome wasn't built in a day.

>>43
you could start by documenting your language so somebody other than you can understand it.

>>44
Rome wasn't built by a neet.

I take it back. neets have enough free time to build rome three times over. Make haste nikita

>>45
what are you gonna do when your mom dies?

nikita is jewish

The swearing will continue until code quality improves.

Hebrew

The language OP wants is Sepples.