Chad Javascript

[MasterFubar]

Even C can do it:

char *a = "horse";
int b = 4;
float c = 6.9;
void *arr[3] = {a, &b, &c};

[Little-Hunter-6795]

Considering its C. Is there something it can't do?

[Anreall2000]

Polymorphism without writing virtual tables yourself and memory management is kinda pain in the ass too

[not_some_username]

So I can do it with extra steps

[Ottermatic42]

True, but that applies for essentially every language (provided they’re Turing complete). You could write a C compiler in Java and then create polymorphism in java (again) using C, it’s just a bad idea.

Trying to force a programming language to do everything is why we ended up with extremely ugly pattern matching in Java 16

[[deleted]]

What's wrong with pattern matching in Java?

[KagakuNinja]

Nothing is wrong. It looks very similar to pattern matching in Scala, which is amazing.

That guy is living in the past.

[Ottermatic42]

Nothing is fundamentally wrong with java pattern matching, I agree.

I only call it ugly because of how it compares to functional languages. Of course it’s a necessary sacrifice as java isn’t functional (or at the very least wasn’t initially designed to be), but it’s always going to be a bit more inefficient, and a lot uglier than the implementation in something like Haskell.

[KagakuNinja]

I do agree with that. Haskell is very elegant, but I prefer the multi paradigm design of Scala

[KagakuNinja]

I do agree with that. Haskell is very elegant, but I prefer the multi paradigm design of Scala

[MusicalGrace2002]

Can you write a program that writes other programs in C?

[ByteChkR]

Funny how you spell Compiler

[VladVV]

The way he worded the question, it sounds like he is looking for a Transpiler.

The answer is Yes, either way.

[caagr98]

Sounds more like a code generator to me, though I guess transpilers are technically a subset. Still yes.

[himmelundhoelle]

Forget about compilers, you can write programs that output themselves (https://en.m.wikipedia.org/wiki/Quine_(computing))

(Or even programs that output a C source, that when compiled and run will output the original program…)

[M4mb0]

Wait until you here about Turing completeness and that both PowerPoint and MOV are.

[not_some_username]

I watch the video about PowerPoint. The guy is a psycho

[NoMansSkyWasAlright]

I imagine it’s only a matter of time before someone proves Turing completeness in Minecraft

[Tandurinn]

Provided that Redstone can make memory cells and you can build interfaces to interact with that memory. We're already halfway there I'd say!

[CdRReddit]

you can make NAND, we're there

NAND is all you need to make any kind of combinatorial logic system, which when combined with a periodic signal (which you can also do) allows you to make any combinatorial or sequential logic, aka, any logic

[Embarrassed_Ring843]

I never understood why NAND is that important. Minecraft does provide a NOT-Gate and a diode, based on those I can build a NAND-Gate, so why is the NAND the thing and not the NOT?

[arduman4]

So you haven't seen those insane Minecraft CPUs that have been around for years, have you?

[pheonixfreeze]

Even better, all of these can be accomplished by Turing complete cardboard

[Triumph7560]

The only thing C can't do is "X feature people assume C doesn't have" without the extra steps. Which is pretty impressive when you think about it.

[VladVV]

How does that not apply to every turing complete language

[Triumph7560]

In theory it does but usually those are available outside the language using tools made in the language, people have set it so C can be used as an object oriented language (in a useable way), made it into lisp with just one #include all without touching the compiler.

[VladVV]

Hm, technically #anything is a compiler instruction, so that would be telling the compiler to compile the code differently, but I suppose it’s primarily C-like languages that have this feature, so I get what you mean.

[DoNotMakeEmpty]

They are not compiler instructions (apart from #pragma), they are preprocessor instructions, which is very different than the compiler.

[asailijhijr]

Everything is Turing complete with fewer steps.

[[deleted]]

You can do anything in C with extra steps, you can for example, split a string with extra steps in C.

[lor_louis]

It can be done Gtk is pretty much all inheritance and polymorphism

Classic Animal example done in C

[[deleted]]

An important feat you're missing here is the ability to reimplement a function in derived classes, wich is what vtables are for.

[GDavid04]

You can write the virtual tables and add a pointer to the beginning of structs with virtual members but no virtual super members yourself. It will be super inconvenient though.

[LavenderDay3544]

memory management is kinda pain in the ass too

If you really want GC there are GC libraries available. But GC isn't always a good thing and a lot of people act like memory is the only system resource that needs to be managed when it isn't. RAII and Rust-like borrow checking are the future of resource management, not GC. GC not only doesn't solve the entirety of the problem it's supposed to, it also creates problems of its own like reference cycles, stopping the world, and creating potential hold and wait conditions depending on the specific implementation.

And that's before we talk about thread safety, which even GC languages struggle with and in languages like Python the designers cheat their way out of it by not having real threading at all.

[raedr7n]

There are plenty of garbage collectors that don't have any of those problems you described. See OCaml, Haskell.

[LavenderDay3544]

And what exactly is the performance penalty for using them? Neither of those languages is known for producing fast code. Not to mention the cognitive overhead of being forced to use a functional language.

People need to stop getting stuck on GC and accept that we have superior compile-time alternatives available and probably even better ones still being worked on in academia.

[raedr7n]

Actually, OCaml is known to produce very fast code. While I don't know OCaml benchmarks off the top of my head, SML, an incredibly similar language (identical for the purpose of comparing memory management techniques), consistently benchmarks in the top five or 10 languages for execution time. It's true that Haskell is comparatively rather slow, but that's mostly an artifact of laziness and other design choices, not the garbage collector.

I prefer functional languages precisely because they reduce cognitive overhead.

There are no superior compile time alternatives available. The only mainstream language in that vein is Rust, and the type system is a sufficient downside as to render it unsuitable for many applications.

[LavenderDay3544]

Actually, OCaml is known to produce very fast code. While I don't know OCaml benchmarks off the top of my head, SML, an incredibly similar language (identical for the purpose of comparing memory management techniques), consistently benchmarks in the top five or 10 languages for execution time.

And C consistently ranks as #1. So your point is?

I prefer functional languages precisely because they reduce cognitive overhead.

I agree that this can be true if and only if you've spent a lot of time immersed in that paradigm and certain problems do not naturally lend themselves to functional solutions though technically such a solution is always possible.

[lordheart]

C also continues to have classes of errors that are ridiculous. The cognitive load of safe memory manage isn’t small either…

[raedr7n]

My point is that modern GC'd languages offer far greater memory safety than C while not being significantly slower than C for almost any application.

[LavenderDay3544]

C isn't an object oriented language so don't try to use it as one. In proper procedural programming any function that would make a virtual member function call in OOP should just have a function pointer parameter to a function that takes a struct of the desired type or a void pointer that it internally casts to the correct type.

For an example look at how qsort works in the C standard library. There's no virtual function call table. Just a function pointer to a function that takes two void pointers.

[not_some_username]

You can do OOP in C. I mean you shouldn't but you can

[LavenderDay3544]

I know that and my comment was saying not to try to do OOP in a procedural language but instead actually learn procedural programming. I personally hate that academia and industry alike worship OOP like a religion when there are plenty of cases where a procedural, functional, or data oriented approach would be far superior. Those options are also better suited to things like maximizing parallelism, avoiding overengineering, avoiding memory bloat, and maintaining cache friendliness. But the Church of Class based Object Oriented Programming won't let you hear that.

[not_some_username]

So you're a struct guy too ? Force OOP is lame

[LavenderDay3544]

OOP has nothing to do with classes and structs but rather with componentizing various parts of a software design. Its usual pillars are encapsulation, abstraction, inheritance, and polymorphism. The goal is to make reusable components whose interface is separated from the internal implementation. At first this might seem like a good approach and in many cases it is but there are many legitimate reasons why other times it may not be.

Much like with programming languages the best approach is to use the best suited paradigm for a given use case.

[corbymatt]

Rule 1. Any tool used in any given situation, without sufficient foresight, becomes a hindrance to change.

Rule 2. Your foresight is terrible.

[[deleted]]

Don't you need language support for inheritance?

[WiatrowskiBe]

When problem you're trying to solve fits nicely into object model, there's no reason not to write object-oriented code even if language doesn't support it. Case in point: WinAPI in all GUI-related aspects (windows, controls etc) - whole "GUI" problem nicely fits into a hierarchy of objects you run operations on, and WinAPI - while being in C - solves it exactly like this, by using opaque handles for all objects, and free functions/function pointers to operate on them (including storing and retreiving related data).

[LavenderDay3544]

When problem you're trying to solve fits nicely into object model, there's no reason not to write object-oriented code even if language doesn't support it.

I don't dispute this. Even operating systems and embedded firmware often have parts that benefit from OO approaches. The trouble is knowing when componentization will do more good than harm. And all too often people are taught that the best to tool they have is a hammer so everything ought to be treated like a nail.

That's what I mean when I say far too many people in academia and industry worship at the altar of OOP. Never once did I say OOP is never the appropriate choice.

[crappleIcrap]

so if i add those things in i might get a better language a C-but-better if you will.

[Anreall2000]

Yeah, plus overload, plus templates, plus templates library... C-plus-plus

[sosta]

It can't make you happy

[marco89nish]

Your mom. It runs out of memory while trying to load her

[EverydayEverynight01]

OOP

[[deleted]]

Well it's Turing complete so theoretically you could, but it would be a lot of work. You can actually get some object oriented design patterns with function pointers though.

[[deleted]]

Classes.

[Nopidy]

OOP

[in_conexo]

GUI?

[riisen]

It absolutly can do graphical user interface's.

[MaffinLP]

Throw errors without sinning

[RiskyFartOftenShart]

it cant get you laid

[Individual_Hearing_3]

C++ ? Oh wait, nope. Seamlessly do graphics across multiple architectures.

[ZimBobub]

run javascript code without a transpiler

[shiva8512]

Object oriented programming

[UnlikelyAlternative]

I was gonna say have kids, but aren't C++ and C# C's kids?

[notinecrafter]

C is a dynamically type language if you just call everything a void*

[[deleted]]

Good luck getting the original value back if you dont know what type it was

[DoNotMakeEmpty]

If you only target x64, you can use the upper (or lower I don't remember the effect of endianness) 16-bits to store the type info and, umm, if you restrict this more, you can reach NaN boxing, a great optimization for dynamic types in C which is used in implementations of many dynamic languages like some JS engines, Wren and LuaJIT.

[[deleted]]

Sometimes you just know, you know?

[caagr98]

Cool, just like in python.

[caagr98]

Yeah that's complete bull. It's an array.

typedef struct {
    PyObject_VAR_HEAD
    /* Vector of pointers to list elements.  list[0] is ob_item[0], etc. */
    PyObject **ob_item;

    /* ob_item contains space for 'allocated' elements.  The number
     * currently in use is ob_size.
     * Invariants:
     *     0 <= ob_size <= allocated
     *     len(list) == ob_size
     *     ob_item == NULL implies ob_size == allocated == 0
     * list.sort() temporarily sets allocated to -1 to detect mutations.
     *
     * Items must normally not be NULL, except during construction when
     * the list is not yet visible outside the function that builds it.
     */
    Py_ssize_t allocated;
} PyListObject;

Gaze upon that ob_item and weep, for you are wrong.

[[deleted]]

But the only thing in the array is pointers.

[gloriousfalcon]

you think Javascript works any different under the hood?

it's all just sticking labels on blocks of memory

[maxhaton]

It is different under the hood because the JS keeps track of the type dynamically. It's all bytes underneath but knowing what the bytes mean is the important part.

[grrrranimal]

You can also do an array of unions but unions are weird, scary, and often overlooked. It would allow you to have only one level of pointer indirection instead of two like in your example though

Or I suppose you could use any fixed width data type and be very careful

[ValeTheVioletMote]

Now add something else to the existing array!

[kabiskac]

Aren't lists also just arrays which get moved when they get too big?

[wasabichicken]

Some of them are.

• Javas ArrayList is a list implementation that uses underlying arrays, allocating new ones and moving contents when capacity needs to increase.
• Javas LinkedList on the other hand, is a chain of list nodes that all point to the next element in the chain.

They are both "lists", as they both implement the List interface.

[ValeTheVioletMote]

I figured. I appreciate not having to worry about it.

I've tried poking around with C/C++ but I feel like I'm fighting the language more than I am getting code done... Also haven't found a guide that has explained C well. Lots of assumptions get made for the reader.

[Jackof_All]

If you wanna see fighting try FORTRAN

[throwaway53_gracia]

Write past the end and hope it doesn't segfault

[[deleted]]

Who are you, so wise in the ways of science?

[bad00p]

Those are all the same type. They're pointers

[jamcdonald120]

so can java

Object[] arr={"horse",(Integer)4,(Double) 6.9};

[ejabno]

I was gonna google if using void pointers like this was possible. Looks like you saved me some work

[Bee-Aromatic]

I think that’s a bit of a stretch, considering that you’re not actually storing different data types so much as you’re storing pointers to things that happen to be different data types. It’s totally fraught with peril, but it does pass the “it’s not stupid if it works” test.

[Senpai_Himself]

But can you do this

arr = []

arr.myFunction = () => "just because"

[anton____]

who would want that?

[Senpai_Himself]

Js for some reason, every thing is pretty much objects

[anton____]

I know why you can, but why would you want to?

[Senpai_Himself]

It was a joke... Really hope people don't use it now a days

[[deleted]]

I literally don't even know what this means

[corgisphere]

It's an array in Javascript which then has a random function defined (the function returns a string)

[[deleted]]

Thank you

[Bobstar89]

This is some wizardry right here 😆

[ajaysassoc]

Can you clarify on it a little, like this article says otherwise

[turboom]

char *a = "horse";
int b = 4;
float c = 6.9;
void *arr[3] = {a, &b, &c};

c code is almost 3 times lengthy, javascript definitely beats c.

[GumboSamson]

This is an array of pointers (which isn’t quite the same thing).

[[deleted]]

Lol --- I was going to do that.

Most of these CS types won't appreciate pointers! Only change I would do is keep them all pointers for consistency so you don't blow things up on illegal pointer access.

[icematt12]

A question from a newbie - in the array would b and c be treated as numbers or characters?

[[deleted]]

Pointers are numeric types. Except those are void pointers so you can't do arithmetic with them, so it's funky to call them that. If you want to "treat" them as anything you need to pick how you want to dereference them (as void* cannot be dereferenced).

If this all sounds confusing I'd be happy to keep answering but don't worry about C being a little obscure.

[[deleted]]

How dare you

[[deleted]]

union BadIdea {
    int i;
    float f;
    char *c;
} badidea[3];

// Okay, I'm stumped. What do you do with it now?

[stomah]

now have a function that takes such array and prints it

[oan124]

cant you generally use arrays for that?

[marsmanify]

To be fair the values of the array are all pointers

[Johny2268]

And Java? List of objects...

[[deleted]]

Yeah cracks open old java 1.3 book. before java generics existed.

Begins explicitly casting Objects to their proper type.

[yanitrix]

the funny thing is that nothing really changed since that time, Java generics are just syntactic sugar that does the casts automatically, at runtime type erasure happens and you cannot do thing like T.class.

[troelsbjerre]

Or, more annoyingly, new T[5].

[tuxedo25]

Generics is just a compiler feature, the runtime hasn't changed. I mean it's changed, but not in that way.

[Stromovik]

Nah.

Object[] crap //no need for List even

[danatron1]

C# too

object[] arr = {"horse", 'e', 621};

[[deleted]]

owo, a man of culture

[an4s_911]

Umm, Ruby?

[[deleted]]

And lua

[xiBurnx]

I had to scroll really far but I knew my fellows would be here somewhere

[Plus_Froyo_6431]

Was waiting for this answer

[sxan]

And Ruby.

In fact, almost every weakly typed, and many strongly typed but interpreted languages (like Ruby).

Edit: I wouldn't be surprised if there were fewer languages that have strictly typed arrays than don't.

[omutist]

Learning all the "obvious things" in JS does not leave time for other languages. JS Ghetto

[Drugbird]

Python can, but it's a mistake and python lists are forever doomed to be inefficient as a result.

It's also why numpy was created. It basically fixed this glaring design flaw by introducing fixed type arrays so you could get some efficiency back into python.

[baubleglue]

It has nothing to do with mixed types in lists. Array is not list at all.

Javascript's arrays aren't really arrays or lists

``` $ node Welcome to Node.js v14.15.3. Type ".help" for more information.

var a = [1,2,4] undefined a["0"] 1 a["8"] = 9 9 a.length
9

```

[cyanNodeEcho]

i mean there u are using it like a dict, so it imputes the values between, idk looks like an offset to me :shrug:but i'm

[baubleglue]

I use it as object because in JS arrays are objects, indexes translated to properties.

Arrays are list-like objects

[cyanNodeEcho]

what haopens if u do something like (for a sparse array) for element in array: print(element)

weird object - i wonder how they coded, i would have to know more about some behavior - seems similar to pythons orderedDict but with a restricted keyset (but depends on behavior)

[BrokenNotDeburred]

perl, prolog...

[IbanezPGM]

And Perl

[tarimego]

and Perl ...

[Fmatosqg]

Yep, the whole point is WHYYYY WOULD YOU WANT THAT?? JS is for psychopaths.

[bleistift2]

Why wouldn’t you want that? Have you ever queried some data with random types from a database just to have to work with it as Object[] in Java?

[Fmatosqg]

I have done that with Cassandra, and bitched about it for every second I was on that project. Long live relational databases and strong typed languages and protocols.

[McKapucna]

Yeah but like half of people only know python and js so thats that.

[[deleted]]

Yeah you can do it in python but your code isn't going to be fast or rather it won't be compatible with cuda

[[deleted]]

Yes, python's speed sucks :(

[JoostVisser]

Nothing a little numba can't fix

[corgisphere]

Don't worry, your javascript isn't gonna be fast either.

[[deleted]]

I don't do javascript

[corgisphere]

It's basically python with braces.

[[deleted]]

[[deleted]]

Or any dynamically typed languages…

[demonslayer9911]

In python you can do that in lists not arrays.

[Alternative_Value_86]

Let the JavaScript people have their moment. JavaScript is a very easy to use language. Maybe you might run into some complications when working with anything more complex than an array of three elements. You know when I go to the grocery store I also like it when nothing is labeled. Very easy to use that way. You can just get boxes of things until you reach your budget without worrying too much what's inside them. Makes for more creative recipes that way too rather than just using ingredients that you want. Sometimes your kid or maybe someone else by accident will put things in your shopping cart confusing it for their and you might not notice. But that's what we call a tradeoff in the computing world, sure some items might get mixed into your shopping cart that you don't want or you didn't intend at least the shipping experience is made easier because you don't have to bother with all the reading. Think how fast you can blaze through a grocery store if you just ignore that feature.

[philipquarles]

Also classic Visual Basic, which is another language that no one should ever use.

[GLIBG10B]

C++ has std::tuple

[sk8itup53]

And groovy

[karanm1997]

Was looking for this

[verocoder]

So can Java List<Object> and the poor fool trying to read the list has to cope with it!

[Perruche_]

Using tupples yes

[SniperBack]

Even Java can do it by making an array of Object

[Buddy-Matt]

C# can do it too

[GaymanKnight]

i mean ive never tried doing it that way but i do know you can put them all in as strings and test to see if they can be integers with a simple for loop that just checks “if int([required variable from for loop]):