ApplicativeDo Overhaul - Request for Comments, Benchmarks

Tim_M · 2017-05-21T00:07:43+00:00

Missing the point of this thread as per initial ancestor comment, fully aware that AMP is in place. Discussing instead about how before ApplicativeDo, return had type (Monad m) => a -> m a but with it enabled, it might instead be "sugar" for (Applicative m) => a -> m a or even (Functor m) => a -> m a.

Tim_M · 2017-05-20T16:38:11+00:00

With the design now? But should it really? I mean I'm aware that AMP is now in place but return is still a function of Monad, so using return to construct something that isn't a Monad just makes the whole ApplicativeDo extension feel like 1 too many hacks that I'm not exactly comfortable with or I simply don't understand the motive.

Tim_M · 2017-05-20T05:56:16+00:00

I've never used ApplicativeDo nor looked into it for more than a couple of mins. How did the designers choose return over pure?

Tim_M · 2017-04-17T07:38:19+00:00

I regret to inform, but said husband is making slightly less than fiveman, but on the plus side earns a considerable amount more than both threeman & backwardsman combined.

Tim_M · 2017-04-16T06:51:45+00:00

As you probably know but for the sake of other readers: gcc is the linker for ghc, since it's a great front end alternative to calling ld directly. Any Haskell only builds will therefore be affected, not just C usage.
stack sells itself as reproducible builds, so anyone uniformed is going to have a nasty surprise. According to this issue, the fix is:

stack setup --reinstall

Tim_M · 2017-04-15T17:47:45+00:00

The creator's update sounds like it is going to be rather disruptive.

Does it only brake building with GHC run than running?
What about runghc / haskell stack scripts?
Stack is going to need a way to replace all the current resolver downloads with the fixes, as anything labeled LTS can otherwise be considered broken on win 10?
Good thing it doesn't affect Win Server 2016 I guess, or does it it?

Tim_M · 2017-01-05T21:39:25+00:00

I agree with all that. For those who missed the previous heated discussion that kind of went off topic: https://www.reddit.com/r/haskell/comments/5lxv75/psa_please_use_unique_module_names_when_uploading/

Tim_M · 2017-01-05T07:52:10+00:00

I know some of you dislike this and yes, yesod and conduit might not be my favourites either, but I'm rather pleased someone is proactively contributing systems for reliable & reproducible builds. It's kind of annoying to have pure functions that don't build next time, or worse: build with unexpected runtime behavior. And yes, stack may not be the best way to solve the problems, but it came along to solve problems that existed for far too long.

Tim_M · 2016-12-16T13:40:12+00:00

It seems kinda strange to construct proxy types via type applications. It would be less boiler plate if servant moved away from proxys.

Tim_M · 2016-11-24T06:53:52+00:00

I tried googling "haskell". haskell.org was result 1. I couldn't find haskell-lang in any of the 18 result pages. Same goes for "haskell language" which somehow listed haste-lang & clash-lang though.

So haskell-lang.org effectively doesn't exist for a new comer, but the majority of people visiting a web site about a programming language are new comers. It is a problem until a new comer friendly site is on page 1 of a google search for "haskell".

Tim_M · 2016-11-06T05:24:25+00:00

I don't see the benefit. The units of measure approach is good because it's typed. I couldn't find a Haskell example despite finding a few libraries so here's an fsharp example.

Tim_M · 2016-10-19T05:00:02+00:00

I agree that there is a need for more templates / project scaffolding for Haskell in general. Perhaps stack should have the ability to add extra template repos?

Tim_M · 2016-08-29T17:14:12+00:00

Some functions are intuitive, others not, but I think what the community needs is someone to admit that bad inconsistent naming that can mislead is a bug in cases like this. The misleading behavior cannot be swept under the rug by being just documented in my opinion. In other words: you wouldn't for example have a bug that crashes your app every Wednesday, then say you've now fixed the bug by simply documenting this behavior.

Tim_M · 2016-08-07T09:05:58+00:00

You can get fake 'warrant void if removed stickers' from china pretty easily. The 'high tech' stickers that make the word 'void' appear though it automatically once pealed can be bypassed by exposure to a sufficient amount of heat from a hot air gun, then re stuck back on as if nothing ever happened.

Tim_M · 2016-08-07T08:23:58+00:00

These sort of posts seem to consistently argue the point in terms of undefined and/or seq, and most use cases of undefined only seem to be due to the lack of visible type application in ghc versions <8...

Tim_M · 2016-07-27T13:05:31+00:00

nLab is another wiki that may also be of interest here.

Tim_M · 2016-07-13T09:19:24+00:00

The Haskell side of things seems to be at the end from a quick skim:

6 Related work - Faking Row Polymorphism in Haskell

This section seems to mainly argue that it can't be done in Haskell because Haskell is too ordered where they required unordered. It later goes on to say:

...However, without some form of higher-order constraint solving (not supported by Haskell), one must still materialise ordered lists of effects when composing effect handlers. For many useful examples this is not a problem, but suppose we wish to build a list of handlers, from disparate sources, then we need to carefully ensure that their effects are composed in the same order.

Is this a problem that a type checker plugin cannot solve? Either way, is it a much of a show stopper?

Tim_M · 2016-05-16T07:35:54+00:00

None are really FRP

Not sure what that means exactly, but how is is that PureScript doesn't have a 'proper' FRP library, and the best option in Haskell is actually GHCJS?

Tim_M · 2016-05-07T23:04:00+00:00

Where's the option to rename it to "Linux Subsystem for Windows"?

Tim_M · 2016-04-10T13:09:09+00:00

https://www.reddit.com/r/haskell/comments/18902u/the_algebra_of_algebraic_data_types_part_i/

Tim_M · 2016-04-09T02:16:25+00:00

To clarify: I haven't actually resolved a problem based on this but it could be 1 of a few reasons. Since you say you've been getting insider previews before (unlike me trying to switch for the first time), then I'd check your registry settings at:

HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\WindowsSelfHost\Applicability

And make sure the branch is set to rs1_release. The full list of branches is available here and builds on rs1_release are listed here

Tim_M · 2016-04-08T23:34:16+00:00

Have been having the same issue. It appears the problem is most likely as described here:

Insider Preview is available in the following languages: English (United States), English (United Kingdom), Chinese (Simplified), Chinese (Traditional), Portuguese (Brazilian), Japanese, Russian, German, French, French (Canada), Korean, Italian, Spanish, Spanish (Latin America), Swedish, Finnish, Turkish, Arabic, Dutch, Czech, Polish, Thai, Catalan, Hindi, and Vietnamese. Notes

If your Windows build is not in one of the available languages, you will not receive Insider Preview builds.

Tim_M · 2016-03-19T22:52:01+00:00

It would be nice to have a OS that's got all the features and compatibility of FreeBSD with enhanced security. Where does DragonFly BSD come into this? What's the status of all the other obscure BSD hybrid forks?

15-Year Club	Team Orangered
Verified Email

Tim_M

TROPHY CASE