c-cube

21 ms·

211.
by c-cube 5y ago
If you're going to spout pseudo scientific babble, at least spell "Casimir effect" properly. Please enlighten us poorly educated about this upcoming revolution, though!
212.
by c-cube 5y ago
Does Go's runtime do generational collection? No. Does it support tailcalls? I have no idea but I doubt so. Without these there cannot be any chance for OCaml-on-go; more blockers would probably come to mind quite quickly.
213.
PR to Merge Multicore OCaml(github.com)
388 points by c-cube 5y ago|155 comments
214.
by c-cube 5y ago
What about people who want to use several programs on one computer, possibly even written in different languages? This idea is ridiculous unless you think everyone shares your dream of running everything in a smalltalk image.
215.
by c-cube 5y ago
If you still have the source code for your rust code, it contains the lock file. Look in there and you'll see all dependencies and their version. Why do you want to look at the binary instead?
216.
by c-cube 5y ago
Zig has tagged unions and the corresponding switch expressions, is that not equivalent?
217.
by c-cube 5y ago
Away from centralization and straight into energy inefficient pyramidal schemes.
218.
by c-cube 5y ago
Standard ML certainly has clear specifications and proofs of soundness of the type system.
219.
by c-cube 5y ago
It's not just the function's body, it's any block. Blocks in rust are expressions and return their last statement's value. It's nothing like Javascript's ASI where it's just inserting ; implicitly and only
220.
by c-cube 5y ago
It's not just about UB, it's about the design encouraging good code and defensive programming. That includes enums, non nullability, immutability by default, etc.
221.
by c-cube 5y ago
Wait, can these@ same browsers render a table made of 500,000 divs + css without crashing?
222.
by c-cube 5y ago
Because it's hard to believe that Twitter has been that incompetent for that long. It seems more likely that they're trying to push people to log in.
223.
by c-cube 5y ago
Unless you generate code with very large pattern matches it's an absolute non issue in practice :-)
224.
by c-cube 5y ago
"coupled with the preprocessor" is a bit of a cop-out :-). Do you have a concrete example of what typeof would enable? Like a basic implementation of a vector type?
225.
by c-cube 5y ago
If people can understand functions, they can understand generics. Nothing more complicated, generics are just functions on a few type arguments.
226.
by c-cube 5y ago
Not in the commonly understood sense of "generics", no. You get to switch on a type, but you don't have generic functions or types. A reusable, type-safe Vec or HashMap are still not possible in C...
227.
by c-cube 5y ago
Like you say, FSD beta is new, so, no. The autopilot software has killed people though. The sunk cost fallacy is stronger when it's not just R&D but thousands of people who paid 10k$ on the promise that their car had all the hardwa
228.
by c-cube 5y ago
Just because not needing lidar would be great for Tesla, doesn't make it real. That's wishful thinking. Tesla is not entitled to a well working lidar-free solution just because they need to sell cars right now.
229.
by c-cube 5y ago
And cameras are no substitutes for eyes yet.
230.
by c-cube 5y ago
Closer than ever :) There is a monthly post on ocaml's discourse that reports progress in upstreaming patches into mainline ocaml (see https://discuss.ocaml.org/t/multicore-ocaml-july-2021/8232 for the latest
231.
by c-cube 5y ago
Functional languages will typically guarantee you that tail recursion is constant space. The exception is languages running on a FP adverse runtime such as the jvm, and they tend to provide a special keyword and rewrite into a loop. Also, m
232.
by c-cube 5y ago
It's a promise you can send to other processes, even to the machine that is supposed to fulfill that promise. That allows batching of calls that depend on one another.
233.
by c-cube 5y ago
In what way is it a lisp? It's based on symbolic rewriting, not lambda calculus. These are entirely different things.
234.
by c-cube 5y ago
You should give a serious try to sum types, btw. They're unambiguously good, and have been in use for the last 40 years at least. To me, not having them is an immediate disqualifier for a modern static language (along with some basic f
235.
by c-cube 5y ago
Numbers in python also allocate memory. Integers are arbitrary precision, so the difference between + and += might also be very relevant for them. And of course there's numpy and matrices which also behave like numbers, or at least lik
236.
by c-cube 5y ago
Not all proof assistants are based on dependent type theory. The HOL family is based on simple type theory + a classical axioms: you get choice, excluded middle, extensionality etc. in exchange for a less powerful type system. Maybe not coi
237.
by c-cube 5y ago
For the HOL family (HOL-light, HOL4, Isabelle/HOL) at least, there is such a VM: OpenTheory ( http://opentheory.gilith.com/ ). It's a stack machine with a very simple input format (line based).
238.
by c-cube 5y ago
You do need a JIT, but a simpler one, like AOT-on-demand, since it's very static compared to other formats. It's not that far from shipping LLVM IR, except it's specified. As for the memory overhead, where have you seen that?
239.
by c-cube 5y ago
Doesn't the jvm weight dozens of megabytes, with tracing JIT, baked in OO semantics, GCs, etc.? That seems hardly comparable with wasm which currently works best for languages like C++ or rust with pretty small runtime. Just like peopl
240.
by c-cube 5y ago
What if all of them do at least one egregious thing? Especially when "all" means just apple and Google?

More ›