emersion is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

@kurisu @thanatos @sir @kaniini
we're talking about Drew's definition of meme software, which so far has succeeded to escape all attempts to apply common sense to it. What are you expecting?

@Wolf480pl @kaniini @sir @thanatos makes sense to me, did you read the definition?
@Wolf480pl @thanatos @sir because nobody uses it and its definitely not simple.

@kurisu @thanatos @sir
JaneStreet uses it for their mission-critical stuff.
Also, IMO it is simple. Way simpler than C++, and less weird edge cases than C.

@Wolf480pl @sir @thanatos and also so many people use C in mission critical its impossible to count. It doesn't matter if one person does it, it matters if everyone does it.

And using ocaml in production is a surprise, not a given.

@kurisu @sir @thanatos
C implementation is also complex, so it's a meme. And the standard is also complex (has Undefined Behaviour) so it's a meme.
And x86_64 is also meme.

@sir @Wolf480pl @kurisu @thanatos if all widely used compilers of a given languages are memes then the language is a meme

@sir @Wolf480pl @kurisu @thanatos please, if you can't use it without using memes, it's a meme

@Michcioperz @Wolf480pl @kurisu @thanatos also note that I intend to eventually write my own C compiler

@Michcioperz @Wolf480pl @kurisu @thanatos it does, but if the only criteria qualifying something as meme is lack of tenure, time will strip away its meme status for free

@sir @Michcioperz @kurisu @thanatos
so OCaml is also tenured - it's 22 years old, and the time has stripped away it's meme status.

@Wolf480pl @Michcioperz @kurisu @thanatos no. Look, you guys can continue to poke little holes in my definition of meme but the fact remains and has always been that this criteria is only a loose approximation of a process which boils down to gut feeling

@sir @Michcioperz @kurisu @thanatos
Well, then I'd say your gut feeling is not very useful outside of your mind. Feel free to use it in making decisions, but don't expect other to treat you saying "it's a meme" as a valid argument.

@Wolf480pl @thanatos @Michcioperz @sir the main problem with ocaml isn't even tenure, it's simplicity and the level of abstraction.

@kurisu @thanatos @Michcioperz @sir
the spec is simple. The compiler being a meme doesn't make the language a meme, similarly to how C is not a meme despite gcc and llvm being memes.

@Wolf480pl @kurisu @thanatos @Michcioperz does ocaml have a non-meme implementation though? C does

@wasamasa @Wolf480pl @kurisu @thanatos @Michcioperz functional programming languages which are not lisp are a meme

@wasamasa @Wolf480pl @kurisu @thanatos @Michcioperz obviously that's a broad generalization but in my experience pretty much all functional programming environments are designed by people who have no practical sensibility

@wasamasa @Wolf480pl @kurisu @thanatos @Michcioperz at some point functional programming must face the reality that their computers are procedural, and how they approach this problem is a gauge of their aptitude and odds of success and non-memeiness

emersion @emersion

@sir @wasamasa @Wolf480pl @kurisu @thanatos @Michcioperz Compilers generally do a good job at translating functional constructs to procedural ones though.

· Web · 0 · 1