Viewing profile — humzashahid98

Raylib is definitely a pretty fun and simple library. I used it with OCaml (which has bindings to it already) before. One thing I like about the Functional Core, Imperative Shell a…

Thank you for the insightful answer! That's nice to know. I hadn't considered that they had a system like that in place.

Is the "no JIT' policy somehow baked into the hardware/software of iOS devices, instead of something Apple finds by doing an app review? I thought it was the latter (that running a…

I prefer to build result-passing, no-exception-throwing systems out of an exception-throwing core where the language itself may throw exceptions but the thing I build from the lang…

Stack Overflow is a community with an answer-rating system and there is often some level of review from other people commenting on the answer's advantages and shortcomings. You oft…

Standard ML is pretty simple and easy to pick up, but a weak point is the lack of { record with updatedValue } syntax to create a new record which is the same as an existing one bu…

This is a very cool project. There is also MLKit's SMLtoJs which compiles to Javascript, but not to Lua. https://github.com/melsman/mlkit/blob/master/README_SMLTOJS....

B+ Trees (which store data at leaves) rather than B-Trees are what you want for good iteration performance usually. An ordered B-Tree iteration would jump between different arrays …

Thanks; I didn't see that debate on security and I can see it being a valid point, especially with the burden of a technically-inclined person having to fix others' (family/friends…

I don't really have the same impression that you have had when it comes to discussions about Apple's approach to HN. This linked comment (which I randomly found on HN's search) sum…

Could you tell us what nuance you have in mind?

This is plainly true considering how hard Apple fought to suppress alternatives to the "App Store". I don't know why your comment was downvoted.

I appreciate the history section in particular. VS Code is known to use a Piece Tree (Piece Table represented as a balanced binary tree) and I thought AbiWord (which this article a…

I thought to myself a rename to FACT Prover (Formerly known As Coq Theorem Prover) would be nice when seeing they wanted to rename the project and it's a bit of a disappointment th…

You might benefit from this video [1] on the "Functional Core, Imperative Shell" pattern in Ruby (a very object-oriented language), which sounds like one of the things you are havi…

This made me think of that old TV show "Malcolm in the Middle".

I think you're right to point out that it's too strong a claim to say that sum types are a basic building block of thought, although I believe they are very useful in coding regard…

You're not alone. It made me laugh too.

If emulators in general were illegal, Nintendo would be in trouble too and would be obliged to remove the emulated games it sells on the Virtual Console.

You're right. We also have proverbs like "two heads are better than one" and "standing on the shoulder of giants" so people recognise that both sides are important and have their v…

Related to this subject is Casey Muratori's video about Conway's law and a possible extension to it. The communication overhead of working in teams, and the fact it's harder to add…

Hi there. Appreciate the response! I didn't know that the HTML DOM is being used for Uno's web output but that's good to hear. I was under the impression that things were being dra…