humzashahid98

8 ms·

1.
by humzashahid98 2y ago
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 architecture is that, if you gather input into an immutable r
2.
Show HN: Pong Wars in Standard ML(github.com)
3 points by humzashahid98 2y ago|3 comments
3.
by humzashahid98 2y ago
Thank you for the insightful answer! That's nice to know. I hadn't considered that they had a system like that in place.
4.
by humzashahid98 2y ago
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 JIT on iOS would be possible but not accepte
5.
by humzashahid98 2y ago
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 language always returns result. Elm is an extreme case where ind
6.
by humzashahid98 2y ago
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 often have multiple answers to choose from too. Those feat
7.
by humzashahid98 2y ago
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 but with some value changed. You have to specify every field i
8.
by humzashahid98 2y ago
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....
9.
by humzashahid98 2y ago
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 in the tree often, but a B+ Tree would only have you jump to
10.
by humzashahid98 2y ago
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) devices. I was trying to point to the opini
11.
by humzashahid98 2y ago
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) summarises what I've seen here: "The w
12.
by humzashahid98 2y ago
Could you tell us what nuance you have in mind?
13.
by humzashahid98 2y ago
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.
14.
by humzashahid98 2y ago
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 also mentions) was the first to use the data structure. This
15.
by humzashahid98 2y ago
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 that didn't quite pan out. Rocq is similar to the Ro
16.
by humzashahid98 2y ago
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 having trouble with. The talk is about segmenting IO a
17.
by humzashahid98 2y ago
This made me think of that old TV show "Malcolm in the Middle".
18.
by humzashahid98 2y ago
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 regardless of that claim. There is the still the ongoing
19.
by humzashahid98 2y ago
You're not alone. It made me laugh too.
20.
by humzashahid98 2y ago
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.
21.
by humzashahid98 2y ago
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 value. Right now, I'm working o
22.
by humzashahid98 2y ago
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 address cross-cutting concerns in them, is a key
23.
by humzashahid98 2y ago
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 drawn to canvas (like how Flutter's web out
24.
by humzashahid98 2y ago
Uno wants applications to look the same across platforms (as Flutter does) but still wants to use native controls. So their approach[0] is to have default styling applied to every control which makes the native controls look the same on eac
25.
by humzashahid98 2y ago
vi-improved
26.
by humzashahid98 2y ago
The Java installer's installaation text "_ billion devices run Java" makes more sense after this. That's pretty amazing; thanks for the link.
27.
by humzashahid98 2y ago
I have a simple (well, simple by my standards because I've spent a long time with it) implementation of a rope in Standard ML [0], OCaml [1] and F# [2]. (See tiny_rope.sml, brolib.fs or lib/tiny_rope.ml for implementation if you c