spion

41 ms·

391.
by spion 4y ago
I presume it didn't have realtime collaborative editing or comments?
392.
by spion 4y ago
Haskell probably has a much better concurrency model too with STM being quite awesome
393.
by spion 4y ago
I find the reference is not really great. Some of it stems from the fact that function argument names aren't really present in the documentation. Most languages that have excellent documentation will explicitly state what each argument
394.
by spion 4y ago
Yes, I think there is a culture in mathematics where people believe this to be the case, and I think its not correct. I can think of several ways to motivate software engineers to learn more category theory (e.g. "did you know that Map
395.
by spion 4y ago
There are many things competing for people's time and attention. Why should I learn this is a valid question when you have several dozen other potential things you're looking at learning.
396.
by spion 4y ago
I've tried to articulate this through pointing out that the documentation culture of Haskell is lacking and indeed I've been called "willingly ignorant, and proud to state that fact publicly" IMO thats really the only re
397.
by spion 4y ago
> The result is its widespread adoption in its niche And everywhere else, unfortunately. Go is an overreaction in the opposite direction. In 2010 I can't agree that there is a good reason to make a language without generics and reas
398.
by spion 4y ago
This is not the ask. Its just to have some kind of API.
399.
by spion 4y ago
As the world changes, we can't always expect new behaviors to ideally fit existing moral principles. Is there a moral principle preventing a power company from providing you with all your electrical appliances and forbidding you from u
400.
by spion 4y ago
A study group, a programming community, any social group that you want to be a part of and they've decided to use Discord. Don't like the Discord client or have trouble using it? Pay the price of not participating in dozens of com
401.
by spion 4y ago
They aren't very different. With Spotify we actually gave up a lot of power that custom clients had for the lowest-common-denominator sort of stuff, which is really sad. With each of these products we keep giving up more and more of th
402.
by spion 4y ago
This is not true for platforms. If a community decides they're going to use Discord, then you, the individual, are out of luck. You either use that or miss out on the community or convince the entire community not to use Discord.
403.
by spion 4y ago
Even if I did share them, its too late for GraphQL to make that change - they are design decisions and people probably already rely on them Here is a few: - Less fine-grained field selection - allow for fields selected by default. This woul
404.
by spion 4y ago
In languages with exceptions there typically isn't much of a distinction between expected and unexpected errors.
405.
by spion 4y ago
Rust does allow you to easily call functions or methods that may error by using the `?` operator (formerly `try!` macro) https://doc.rust-lang.org/std/macro.try.html You can also implement `From` (see `impl From` in th
406.
by spion 4y ago
Its a reasonable looking wrapper. Could benefit from the ability to build queries with variables, although not sure if that would be useful in the Scala ecosystem. To make it clear, I disagree I'm conflating things. I'm currently
407.
by spion 4y ago
> I've never written a GraphQL scema or query by hand, always used a good wrapper Could you give me an example of a good client wrapper that doesn't require you to write queries as strings?
408.
by spion 4y ago
I have no idea what you mean.
409.
by spion 4y ago
> Then you're able to conclude that `a` is a monoid Yep, which is why I'm saying all the interesting bits come from `a` being the monoid in that example. In the free monad interpreter example, I have no idea though.
410.
by spion 4y ago
LINQ lets you write SQL queries using the (.NET) language in which you write all your other code. This means you get to take full advantage of the language (and language service) features, including the typechecker, code completion etc. Exa
411.
by spion 4y ago
> Says who? Says me, and also any other person that has tried to build a type-safe GraphQL query builder > Consumers of the APIs I work on are mostly written in Typescript and constructing types based on the GraphQL schema is a comple
412.
by spion 4y ago
I don't understand how this is related to monads - there is nothing in the general monad interface that even allows you to go `m a -> a`, so something being a monad doesn't seem sufficient to be able to define that algebra. See
413.
by spion 4y ago
The GP is right. GraphQL is especially annoying because it looks so close to JS/JSON, yet since no thought was put into how it might integrate into existing typed languages its actually surprisingly difficult to build a type-safe API a
414.
by spion 4y ago
Not sure what you mean, I added the expected resulting GraphQL queries and they're about the same size. They aren't really normal queries, because I'm trying to exercise all of the features at once in the tests :)
415.
by spion 4y ago
Agreed. I'm working on a typed query builder for GraphQL and TS but secretly I'm a little mad that nobody gave some thought to making it easier to integrate in a type-safe way at least in the client languages https://gi
416.
by spion 4y ago
Oh I understand the usefulness of individual monads and infact am very happy that the NodeJS community finally switched to promises from callbacks (even though they violate some of the monad laws, you still get a lot of the same benefits).
417.
by spion 4y ago
I do know what concepts map to it, I understand all common monads (including IO) as well as monad transformers. I think ZIO style monads (combined reader, error and effect monad) are pretty awesome for building backend apps, especially the
418.
by spion 4y ago
I find it a bit strange that I didn't have this experience at all once I found out what monads are. In fact I felt quite a bit underwhelmed, because (in the context of programming) it turned out they're just a generic interface (l
419.
by spion 4y ago
I'm afraid I don't know of examples that don't take advantage of the much larger storage availability of the cloud, especially for things like search.
420.
by spion 4y ago
Not sure this works. For example, how do you implement search? I'm not looking forward to having to download the entire search index catalog of a web store in order to find out whether they have something.

More ›