Viewing profile — mhanberg

It's somewhat common in the context of cooking. A recipe may refer to something as "scratch made" when its "made from scratch". In this case, its an extension of the phrase but usi…

beep boop

Correct, a gradual type system is a form of type system and not the method for rolling it out.

The author does not own Petal Pro nor is he affiliated with it in any way.

Next LS author here, thanks for the kind words!

Next LS author here! I would love to hear about how your emacs experience went and what your setup/config is. My emacs skills are not the best (zero), so I've not been able to real…

Next LS author here! Feel free to reach out with any questions! My contact links should be discoverable on the website: https://www.elixir-tools.dev

That's fine, but generally people on use that expression in a negative way, so I think it's reasonable to ask for explanation of why you think that. In general I don't think it's f…

I have also switched to rtx, and even use it in the Next LS build pipeline as an easy way to install Elixir & OTP. https://github.com/elixir-tools/next-ls/blob/main/.cirrus.ym...

I wonder if waynesonfire will ever return to elaborate on what the mean exactly by that. I'm not really sure how 'Not Invented Here' applies to someone building an OSS project.

What?

Well sounds like you came to the right place! You can get started easily by installing the elixir-tools.vscode extension for VSCode and be off to the races! https://marketplace.vis…

Thanks!

Author here! The answer to your question is in the FAQ on the website for Next LS in particular, and a motivation for the whole elixir-tools family of projects on the home page htt…

Are you aware of any of the recent advances? There is the set theoretic types work [1] lead by Jose and a couple of PhDs and also eqwalizer by WhatsApp [2] [1] https://elixir-lang.…

Author here! Happy to answer any questions .

Literally read halfway down the article before they say that "working overnight" is also in the "probably carcinogenic" category and that the organization is known for publishing c…

I interpreted their message as saying Erlang is more functional than Elixir, which didn't really make sense to me personally. (I think they are both the same amount of "functional"…

I'm not really following your comment about "more functional style". Which are you saying is more functional? And why?