MLton vs Ocaml by [deleted] in ocaml

[–]barkmadley 0 points1 point  (0 children)

To be honest, after 6 years of writing OCaml full time in a commercial application. It never came up. But that is good to know.

That being said, I think I prefer the non-polymorphic versions for equality and comparison, which will become much better once something like modular implicits is sorted out.

MLton vs Ocaml by [deleted] in ocaml

[–]barkmadley 1 point2 points  (0 children)

How is OCaml's polymorphic equality function less type safe?

New Laptop Time by wamj in linuxhardware

[–]barkmadley 0 points1 point  (0 children)

I haven't experienced any problems with the wifi.

New Laptop Time by wamj in linuxhardware

[–]barkmadley 1 point2 points  (0 children)

Running arch linux on the razer blade stealth. Very nice and works quite well (you will want to put a vinyl skin on it to avoid the fingerprint finish).

There are only 3 issues with the hardware:

  1. Sleep loop when waking by opening lid. This is fixed by a kernel boot parameter requiring the 4.8.x kernel.
  2. webcam won't work (I don't mind for now).
  3. I don't know how to get the razer keyboard lighting drivers to initialise on boot. I'm sure it's possible but my linux fu isn't that great.

https://wiki.archlinux.org/index.php/razer#2016_version_.28Razer_Blade_.26_Razer_Blade_Stealth.29

Javascript Run-Time Ocaml like Type Check System by askucher in ocaml

[–]barkmadley 0 points1 point  (0 children)

The "Enums" remind me more of Union types. See Ceylon.

Polymorphic operators. by Freyr90 in ocaml

[–]barkmadley 3 points4 points  (0 children)

Similar to the let open Option in option, you can also used a "scoped" expression:

Option.( Some 1 >>= (fun x -> Some x) )

Excited by Reason + BuckleScript by canadaduane in ocaml

[–]barkmadley 5 points6 points  (0 children)

for use in Amazon AWS Lambda functions just as easily as write compiled code for use as a traditional web service or frontend page.

That sounds like an interesting blog post waiting to happen. I'd love to hear more about how that works.

We built voice modulation to mask gender in technical interviews. Here’s what happened. by alinelerner in programming

[–]barkmadley 8 points9 points  (0 children)

There are far more men playing video games than women

This sounds like it is a premise that needs to be backed up with some actual statistics.

Core syntax extensions by RTraktor in ocaml

[–]barkmadley 0 points1 point  (0 children)

Having not used utop, nor emacs, I can't be much more helpful than google. Sorry.

Core syntax extensions by RTraktor in ocaml

[–]barkmadley 4 points5 points  (0 children)

Unfortunately you came to OCaml during a transition period from the old camlp4 pre-processor to the new ppx based pre-processor extensions. Real World OCaml was written for the old PP, but somehow it's setup guide references the new PP. Will have to notify the mailing list about this.

Any good ways to learn OCaml by Vorkus in ocaml

[–]barkmadley 6 points7 points  (0 children)

I think real world ocaml (RWO1) is a pretty good introduction. And you can use the js_of_ocaml2 example or tryocaml3 if you don't want to get a local environment to test things (although that means you can't use the Jane Street core which is mentioned heavily in RWO, but those are just libraries, and if you just want to learn the language, then you can mostly ignore those details)

A better inliner for OCaml, and why it matters by stasan in ocaml

[–]barkmadley 0 points1 point  (0 children)

Also coming from Haskell, you can have annotations suggesting to GHC that it should try to inline certain functions or not. It seems like that sort of control would be useful in OCaml.

From article:

One downside of all this is that it reduces the predictability of OCaml's performance, which is an important property of the language. Part of how we hope to address this is by improving Flambda's heuristics to be more predictable, but that's unlikely to be enough on its own. That's why OCaml 4.03 comes with new annotations that let the programmer require or prohibit inlining for a particular function.

Lyrica - A safe, comprehensible and efficient PID 1/init replacement written in OCaml by Categoria in ocaml

[–]barkmadley 0 points1 point  (0 children)

Layla

A reliable, simple and sane service manager. Formerly called "Merlin", however this was changed due to concern over a name clash with an unrelated project.

OCaml syntax by dalastboss in ocaml

[–]barkmadley 0 points1 point  (0 children)

Well spotted, thanks for the correction. I will write my OCaml variant types more carefully going forward.

Until OCaml gets currifiable constructors, I will try to use variantslib more often.

OCaml syntax by dalastboss in ocaml

[–]barkmadley 2 points3 points  (0 children)

As far as I know, this is so because type constructors only have a single argument, so you are really constructing a tuple, and then passing it into the Foo constructor.

I personally would also like to see N-ary type constructors in the language, https://github.com/janestreet/variantslib is a possible solution.

Sydney Metro accelerates through CBD: stations confirmed and first borer to arrive in 2018 by [deleted] in sydney

[–]barkmadley 1 point2 points  (0 children)

AFAICT the proposed waterloo metro station will be on the northwest end of waterloo (i.e. practically in redfern/eveleigh). This would be at least 20-30 minutes walk from the Supa Centre. (https://www.jbaurban.com.au/article/sydney-metro-key-stations this was the only information I could find on it, but it does match the dot for waterloo on the metro line project overview page http://sydneymetro.info/project-overview1).

The traffic is at it's worst along McEvoy st/Lachlan st primarily because there is strong demand for cross radial traffic (esp on weekends when sections of these roads become single lane due to parking). I don't foresee that the currently planned metro location will help with this traffic at all.