0ch4rl3s.nfo

Also @[email protected]

[0ch4rl3s.nfo @acid2]

In light of all the recent decisions made, I've decided to wind down activity here now. I can't use this platform in good conscience, and will be moving to Mastodon. You can find me at @[email protected]. Peace ✌️ https://t.co/Z0YyM5Jljq

[0ch4rl3s.nfo @acid2]

@krisajenkins Can you answer 'id'?

[Tom Sydney Kerckhove @kerckhove_ts]

A new Haskell coverage report tool is ready to try out!
https://t.co/xoopLX1cwX

If you've been looking forward to try it, please have a look. I would be happy with any feedback.

[0ch4rl3s.nfo @acid2]

@aaronmblevin I see Source Direct, I give a like. Golden years of drum and bass

[0ch4rl3s.nfo @acid2]

@domenkozar NixOS secure boat

[sara :: panic! (the 'impossible' happened) 🇺🇦 @typed_hole]

Write your tests purely in terms of the public API, you will thank yourself 😭

[Jason Burne @Monty_Brogan69]

Tout plaquer et déposer son CV pour être testeur de jeux de parc pour enfants, clairement c'est l'objectif.

[0ch4rl3s.nfo @acid2]

@mpeytonjones @typed_hole This might sound like I'm just moving the goal posts, but there are plenty of cases where there isn't an obvious API/library that you can extract. In that case I keep it internal

[0ch4rl3s.nfo @acid2]

@mpeytonjones @typed_hole A user does care - the compiler! I don't think in terms of only the end-user of the whole product. A compiler is really acting like a controller, delegating work to subcomponents and then aggregating - it really doesn't do a huge amount. foo-ir sounds like a good library.

[0ch4rl3s.nfo @acid2]

@mpeytonjones @typed_hole I think exposing sub-parts can lead to what A Philosophy of Software Design calls "temporal leakage" (5.3)

[0ch4rl3s.nfo @acid2]

@mpeytonjones @typed_hole My personal take is biased to the first point though. If testing this composite becomes too difficult I take a step back and work out what change would make testing easier. Exposing all sub-parts is usually the answer answer, but not necessarily the best one.

[0ch4rl3s.nfo @acid2]

@kerckhove_ts @typed_hole Exactly, it's fine to be your own user!

[0ch4rl3s.nfo @acid2]

@typed_hole If you truly need to test something private that's probably a signal that there's a little library with a good API hiding in there

[0ch4rl3s.nfo @acid2]

@typed_hole 💯 I never got the argument that we should be able to test private functions. No, test the things your users actually get to use!

[0ch4rl3s.nfo @acid2]

@kosmikus @tomjaguarpaw Because it's not at all obvious what the intent of the call is. It's like using `id` for `traverse`. That said, perhaps there's a contribution of `traverseLens = toLensVL`?

[0ch4rl3s.nfo @acid2]

I'm exploring replacing a project's use of "lens" with "optics". Does anyone know how I traverse over a lens (not a traversal)? In lens this is `traverseOf`, but `traverseOf` in optics requires `Applicative f` (but `Functor f` is enough).

[0ch4rl3s.nfo @acid2]

@tomjaguarpaw Yea, that's all I found so far

[0ch4rl3s.nfo @acid2]

@Profpatsch Oh wait, almost two years! No, I don't believe that.

[0ch4rl3s.nfo @acid2]

Days since I lost hours of producitivity due accidentally writing let x = x: 0

[0ch4rl3s.nfo @acid2]

@Profpatsch Almost a year!