Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Why I love OCaml (2023)

mccd.space

Post reply on HN
Print view View original

241–250 of 313 posts

Re: Why I love OCaml (2023)

#241

Post by DeathArrow »

mrkeen wrote: post #200
neonsunset wrote: post #156

Earlier quoted context omitted.

> has an edge on some domains due to having unboxed types If a language makes "unboxed types" a feature, a specific distinction, and has to sell "removing global lock" as something that is a massive breakthrough and not table stakes from 1.0, it can't possibly be compared to F# in favourable light.

Where can I read more on F# unboxed types? My searches are only turning up examples of unboxed primitives. Where's the equivalent to https://hackage-content.haskell.org/package/vector-0.13.2.0/... ?

In .NET the unboxed types are value types and boxed types are reference types. And you can box and unbox them.

Re: Why I love OCaml (2023)

#242

Post by gigatexal »

rkomorn wrote: post #232
gigatexal wrote: post #230

Earlier quoted context omitted.

That makes sense. But LinkedIn lists are horrible for cache efficient things no? I think there was an article on HN from a Golang perspective padding structs or something such that they are efficient wrt to cache hits.

> But LinkedIn lists are horrible for cache efficient things no? LinkedIn Lists you say? (Sorry. (But not that sorry.)) Edit meta sidenote: in this modern meme world, it's virtually impossible to know if a typo is a typo or just a meme you haven't heard of yet.

lol my phone autocorrected ugh.

But you know what I mean. Some grace would be nice.

Re: Why I love OCaml (2023)

#243

Post by StopDisinfo910 »

I find it interesting that 80% of the Ocaml discussions here are similar to what I encounter during the change management phase on every complex project I work on: "But it’s different from what I’m used and must therefore be bad. Look, the syntax, it doesn’t look like usual. Scary."

15% are people trying to sell their own language of choice sometimes with the argument that "it’s less scary, look".

I would be shocked if a mere 5% is actual engagement with the topic at hand sometimes while pointing flaws which are very real.

From there, I gather two things, the main one being: maybe Meta was right actually. People are that limited and the syntax should have been changed just to be done with the topic.

Re: Why I love OCaml (2023)

#244

Post by greener_grass »

Bootvis wrote: post #234
greener_grass wrote: post #20

Earlier quoted context omitted.

F# is a practical choice but the language features are quite far behind OCaml now. {Ecosystem, Functors} - choose 1

What about a strict subset of C#. The use case for F# seems to be shrinking because MS is putting all its energy in language.

This isn't true, because more is not always better.

C# has lots of anti-features that F# does not have.

Re: Why I love OCaml (2023)

#245

Post by [deleted] »

nitros wrote: post #82
cyberpunk wrote: post #71

Earlier quoted context omitted.

immutability? Interactive Elixir (1.19.0) - press Ctrl+C to exit (type h() ENTER for help) iex(1)> x = 1 1 iex(2)> x = 2 2 iex(3)> What's immutable about elixir? It's one of the things which I MISS from Erlang -- immutability.

This is like saying Haskell doesn't have immutability because it has the state monad, or that rust doesn't because you can shadow with let. Data is immutable and thats much more important than whether local variables can be modified imo.

[deleted]

Re: Why I love OCaml (2023)

#246

Post by rkomorn »

gigatexal wrote: post #242
rkomorn wrote: post #232

Earlier quoted context omitted.

> But LinkedIn lists are horrible for cache efficient things no? LinkedIn Lists you say? (Sorry. (But not that sorry.)) Edit meta sidenote: in this modern meme world, it's virtually impossible to know if a typo is a typo or just a meme you haven't heard of yet.

lol my phone autocorrected ugh. But you know what I mean. Some grace would be nice.

I know. It was just too hard to pass up. :)

Re: Why I love OCaml (2023)

#247

Post by spooky_deep »

m3at wrote: post #184
agentultra wrote: post #103

Why isn't it more popular? I think Richard Feldman [0] proposed some of the most reasonable theories as to why functional programming isn't the norm. Your language needs to be the platform-exclusive language for a widely used platform, have a killer application for a highly desired application domain, or be backed by a monster war-chest of marketing money to sway opinions. Since Feldman's talk, Python has grown much…

> mostly because it's the scripting language of choice for PyTorch and AI-adjacent libraries/tooling/frameworks I would politely disagree. Torch started in Lua, and switched to Python because of its already soaring popularity. Whatever drove Python's growth predates modern AI frameworks

Google blessed Python at a time when Java didn’t even have lambdas.

Re: Why I love OCaml (2023)

#248

Post by keyle »

VirusNewbie wrote: post #177
olivia-banks wrote: post #160

> It just genuinely felt like the Go language designers didn’t want to engage with any of the ideas coming from functional programming. You'd be right. "The key point here is our programmers are Googlers, they’re not researchers. They’re typically, fairly young, fresh out of school, probably learned Java, maybe learned C or C++, probably learned Python. They’re not capable of understanding a brilliant language but we…

You would be surprised how many Googlers think the Go team is making bad decision after bad decision.

Not just Googlers. There is a certain pragmatism and then there is being stubborn.

Re: Why I love OCaml (2023)

#249

Post by anthk »

bsder wrote: post #205
agentultra wrote: post #103

Why isn't it more popular? I think Richard Feldman [0] proposed some of the most reasonable theories as to why functional programming isn't the norm. Your language needs to be the platform-exclusive language for a widely used platform, have a killer application for a highly desired application domain, or be backed by a monster war-chest of marketing money to sway opinions. Since Feldman's talk, Python has grown much…

[flagged]

TCL it's almost Lisp with strings instead of atom lists. I prefer it a little over Perl.
Post reply on HN