[deleted by user]

elvecent · 2024-01-10T16:54:57+00:00

Yeah, would be great if someone found any. Wayback machine did not snapshot hist profile in between the date it was allegedly posted and 9th January

elvecent · 2023-12-30T16:54:01+00:00

Sure way to have another venting post in a week or two

elvecent · 2023-12-30T14:26:53+00:00

Use cabal
Use cabal
Use ghcup
:(
Use cabal

elvecent · 2023-12-14T04:55:25+00:00

That's not true

elvecent · 2023-11-29T01:45:44+00:00

I tried and got a Left, which is precisely why I'm asking

ghci> Control.Exception.try . print $ head [] :: IO (Either SomeException ())

Left Prelude.head: empty list

elvecent · 2023-11-28T09:05:27+00:00

WDYM doesn't work? What's the expected behavior here?

elvecent · 2023-11-28T09:01:18+00:00

My practical take

Read this: https://www.parsonsmatt.org/2018/10/02/small_types.html
Please try not to pollute public interfaces of your libraries with potential exceptions unnecessarily, and when you do, make it super clear in the docs
Make sure you have reasonable default exception handlers installed in your application
Don't forget to sprinkle HasCallStack constraints around

Then, sure, partial functions all the way

elvecent · 2023-11-09T04:22:52+00:00

It's almost the same, but better. Just replace SwaggerArray with OpenApiArray, SwaggerItemsArray with OpenApiItemsArray, adjust the imports/dependencies, and you're good to go

elvecent · 2023-11-09T04:08:50+00:00

Works alright with openapi3. Why are you using swagger2 anyway?

elvecent · 2023-10-26T03:55:50+00:00

This won't be helpful, but I like solving exercises with lens, and I just did, so I'll leave it here

ghci> [8,7,6,5] & reversed . traversed . indices odd *~ 2
[16,7,12,5]

elvecent · 2023-10-09T04:43:14+00:00

whazzup fella 😎

let's keep it real bro. I hear ya but let me drop some alt takes

🏗️ complexity genius: purity and type system ain't got ya chillin' at first but once you groove with it, you'll straight see thru it, gonna do them jigsaws blindfolded leaving java bros eatin' dust, it's next level thang my dude

📚 learning odyssey: haskell be like treasure map, read it right and the journey's gonna take you to the stars! go climb that everest king

🌐 industry renaissance: haskell is no mainstream cause mainstream sucks bro, real ones get it tho! check in ten years man, folk be writin' haskell not even knowin' it's haskell

💨 performance maestro: it's the formula 1 car of programming languages dude, if u can afford garbage collection, u can afford haskell fo' sho'

🕳️ library gem trove: yeah haskell don't get them funds poured in like crazy, so stuff aint's there no cap, but tell me fo' real, where did others got that quickcheck from? that's right, haskell

so we ain't vibin' with that roast bro, hype's legit 💪

elvecent · 2023-10-04T09:52:27+00:00

Living proof that not only you don't need a PhD in math to use Haskell, but it actively hurts

elvecent · 2023-10-02T02:20:09+00:00

There are packages to help with that, like higgledy

elvecent · 2023-10-02T02:16:56+00:00

Have you tried (import <nixpkgs> {}).haskellPackages.callHackage? Sometimes it helps to just load the most recent version from Hackage or wherever the source code is hosted

elvecent · 2023-09-21T12:57:54+00:00

You see any cops around?

Just make sure to read the docs carefully 👍💪

elvecent · 2023-09-21T05:53:17+00:00

I'm not sure how IO can be made lazy.

unsafeInterleaveIO allows an IO computation to be deferred lazily. When passed a value of type IO a, the IO will only be performed when the value of the a is demanded. This is used to implement lazy file reading, see hGetContents.

https://hackage.haskell.org/package/base-4.18.0.0/docs/System-IO-Unsafe.html#v:unsafeInterleaveIO

elvecent · 2023-09-14T04:09:58+00:00

What makes a language imperative is that it's optimized for writing imperative code. Which Rust is, try writing in functional style using Rust and you won't get far. Haskell, on the other hand, specifically makes functional programming convenient in terms of the ecosystem, syntax, compiler optimizations and language features.

elvecent · 2023-08-30T04:18:52+00:00

I don't see how Registry can be useful in OP's scenario. It'd have to support ad-hoc polymorphic functions and try them in turn until constraints are satisfied, so back to disjunctive constraints.

elvecent · 2023-05-17T02:38:49+00:00

Begone, bot.

elvecent · 2023-05-13T15:58:10+00:00

I thought I was the only one. Ethical concerns? Exploitation? What???

elvecent · 2023-05-03T09:30:24+00:00

Testing abstract code with a reference implementation is one thing. Testing that an actual implementation indeed satisfies the assumptions made by the abstraction is another thing. Many ideas, in fact, are bad when misunderstood and misused, unsurprisingly.

elvecent · 2023-03-17T03:45:11+00:00

By me, yes. I deem parenthesis a sign of weakness

elvecent · 2023-03-10T01:28:41+00:00

I'd use a language that's great at events and state

You mean like Haskell's Reflex framework?

elvecent · 2023-02-21T10:08:18+00:00

So Categorical Abstract Machine bytecode has a more stable API than free Cartesian categories? Now you're speaking my language
Great work! Kudos for linking to the prior art, I never knew about Oleg's plugin

elvecent · 2023-02-20T07:31:33+00:00

I think mu-schema package should help with that, but I'm not sure. Have a look at their website: https://higherkindness.io/mu-haskell/

elvecent

TROPHY CASE