Name: Anonymous 2018-12-25 20:36
Front page poast on H*ckernews, which is full of degenerates and weebs after all:
https://react-kawaii.now.sh/
https://react-kawaii.now.sh/
<!DOCTYPE html><html><head><meta charset="UTF-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta http-equiv="X-UA-Compatible" content="ie=edge"><title>React Kawaii</title><meta name="description" content="Cute React SVG Components"><link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Source+Sans+Pro:400,600"></head><body><div id="rsg-root"></div><script src="build/bundle.dc34e0ce.js"></script></body></html> I assume it builds a website out of SVG?type relationsAlso known as functions from types to types.. something that OCaml lacks.
before the dependent types and proofs became a fadHaskell now supports dependent types, no proofs though as it is too inconsistent for that.
Also known as functions from types to typesThose are type constructors.
You can't have Maybe List in OCamlWhat do you mean?
nor can you have typeclasses.Typeclasses are anti-modular. OCaml has functors which can implement what typeclasses do just as well, if a bit heavy on syntax. In a few years we'll have modular implicits to fix the syntax too, but even now there's syntax extensions for do notation that let you plug in you're own monad.
Those are type constructors.Type relations are type constructors (though the reverse is not true, I was incorrect in my previous post to claim that functions from types to types are type relations).
What do you mean?\(Maybe : * \to *\
portable, fast, secureC++
thermostatsAssembly. C has no benefits on these targets and can only hurt since the compilers generate bad code.
spacecraftsThey probably use C, but they shouldn’t. They will keep blowing up their spacecrafts and rovers because they have unlimited tax money.
when is cl ever a better choice than java or c#?CL is on par with Java and C# because at least Java and C# are proper high level languages with some safety guarantees. CL is better when your problem is suited to its own DSL (most problems) and when you are working alone or with good programmers. CL and Java are equally good choices though.
(funcall) everywhere you use lambdas (inb4 muh namescpaes) C++not as portable because it's way more complex
Assembly. C has no benefits on these targets and can only hurt since the compilers generate bad code.except development speed, portability and maintainability?
They probably use C, but they shouldn’t. They will keep blowing up their spacecrafts and rovers because they have unlimited tax money.then why didn't the mars rover blow up?
CL is on par with Java and C#no. worse tooling, worse compilers, bloat, bad documentation, no libraries
DSLdied out for a good reason. they're are garbage.
xDcheck out compcert.
Ada, they are already using it.seems like it.
except development speed, portability and maintainability?super low-level stuff like microcontrolles in thermostat isn't significantly faster to write in C, and even then you need non-standard stuff like inline assembly which makes it non-portable
no. worse tooling, worse compilers, bloat, bad documentation, no librariesSBCL is a really good compiler. tooling sucks unless you go proprietary, unfortunately
died out for a good reason. they're are garbage.but they didn't die out