Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 995 996 997 998 999 1000 1001 1002 1003 1004 1005 .. 5022
— 502,152 events total
2020-11-01 20:10:26 × invaser quits (~Thunderbi@31.148.23.125) (Quit: invaser)
2020-11-01 20:10:42 <mgalese> Yeah, I meant more "morally" like Deriving Via. It just feels wrong to have an instance definition where every member f is nothing more than f = f . field
2020-11-01 20:10:49 × solonarv quits (~solonarv@astrasbourg-653-1-117-122.w90-33.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2020-11-01 20:11:17 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-01 20:11:18 <dminuoso> Not that I know of generally. For single member instances you could rig TH easily
2020-11-01 20:11:31 <dminuoso> *single method
2020-11-01 20:11:33 <dminuoso> gosh
2020-11-01 20:11:45 → brettgilio joins (~brettgili@brettgilio.com)
2020-11-01 20:12:17 <dminuoso> mgalese: Ive grown used to it honestly. You happen to see this often with classy lenses.
2020-11-01 20:12:43 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-01 20:15:48 → christo joins (~chris@81.96.113.213)
2020-11-01 20:17:22 <maerwald> tomsmeding: I'm considering to switch to dvorak, because it's optimized for alternating hands, which, I believe, reduces strain in your hand, because typing a single word is always distributed over both hands
2020-11-01 20:17:59 <maerwald> that might be a bit slower than the rolling finger model, but you probably don't notice that below 60wpm anyway
2020-11-01 20:18:00 <tomsmeding> not knowing much about the space, that sounds better ergonomically, indeed
2020-11-01 20:18:02 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:9a5a:7320:1bda:4e7f) (Ping timeout: 264 seconds)
2020-11-01 20:18:42 <maerwald> and if you do programming at more than 60wpm, I'm not sure I want to run your code :)
2020-11-01 20:19:19 <idnar> maerwald: it also reduces hand travel distance which reduces wrist strain
2020-11-01 20:19:34 <maerwald> idnar: nah, workman has better travel distance than dvorak
2020-11-01 20:20:03 <[exa]> random though, possibly a dumb question-- is there some straighforward way to use lens-ish accessors on mutable stuff, like MVectors?
2020-11-01 20:20:27 × christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-11-01 20:20:27 <koz_> [exa]: You could write getters, but the setting half would be a problem.
2020-11-01 20:20:34 <idnar> maerwald: ah well, I assumed switching from qwerty
2020-11-01 20:20:46 <koz_> Since mutable 'setters' don't return a new structure, they return ().
2020-11-01 20:21:02 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-11-01 20:21:21 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-01 20:21:57 <idnar> maerwald: guess that's what I get jumping in late ;)
2020-11-01 20:22:12 <maerwald> idnar: another note is that workman is heavier on the left hand than dvorak
2020-11-01 20:23:07 → christo joins (~chris@81.96.113.213)
2020-11-01 20:26:09 → invaser1 joins (~Thunderbi@31.148.23.125)
2020-11-01 20:27:28 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 268 seconds)
2020-11-01 20:27:28 × ransom quits (c4264035@gateway/vpn/protonvpn/c4264035) (Ping timeout: 268 seconds)
2020-11-01 20:27:28 invaser1 is now known as invaser
2020-11-01 20:28:32 <yushyin> a different layout was not for me, I tried and failed hard :D. I was already used to write with 10finger touch typing. So I'm back to qwerty with a custom layer for symbols.
2020-11-01 20:29:16 <maerwald> switching was rather quick for me, but it's still several weeks of pain and non-productivity
2020-11-01 20:29:32 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:24ed:9b41:b671:d88b)
2020-11-01 20:29:34 <maerwald> also, how do you explain that to your colleagues?
2020-11-01 20:29:57 <maerwald> that you need 6x the time for a regular PR
2020-11-01 20:30:25 × PerseusPlease quits (~{mikey}@79.140.120.95) (Quit: Leaving)
2020-11-01 20:30:47 <maerwald> get half the salary for the transition period? :o
2020-11-01 20:31:33 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-11-01 20:31:41 <maerwald> might as well learn coding on a unicycle
2020-11-01 20:32:46 <yushyin> maerwald: but I'm quite happy with my symbols layer and make good use of it while programming https://paste.xinu.at/LBy8/#n66
2020-11-01 20:32:48 <maerwald> (although, you might actually get funding for that, if you promise to make a youtube video about it)
2020-11-01 20:33:22 <yushyin> can recommend ^^
2020-11-01 20:33:24 <maerwald> yushyin: here's my layout https://configure.ergodox-ez.com/ergodox-ez/layouts/LMBRq/latest/0
2020-11-01 20:33:43 <koz_> [insert some kind of 'strong typing' joke here]
2020-11-01 20:34:41 <yushyin> maerwald: nice!
2020-11-01 20:38:36 <maerwald> yushyin: so basically, when you press your left ring finger, yo right hand homerow is on -<>=
2020-11-01 20:38:47 <maerwald> which is your most common haskell symbols
2020-11-01 20:38:51 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-01 20:39:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-01 20:40:34 → christo joins (~chris@81.96.113.213)
2020-11-01 20:42:41 <yushyin> true! unfortunately I write haskell the least often
2020-11-01 20:43:36 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-01 20:46:11 → christo joins (~chris@81.96.113.213)
2020-11-01 20:46:46 <[exa]> koz_: well technically setters can return the "reference" MVector
2020-11-01 20:46:55 <koz_> [exa]: Yeah, they could indeed.
2020-11-01 20:47:00 <[exa]> koz_: the problem is where to put the ordering effect
2020-11-01 20:47:19 <koz_> Yeah, that'd pose a problem.
2020-11-01 20:47:35 <koz_> Since you end up with 'm blah', and you need 'blah'.
2020-11-01 20:48:40 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-01 20:49:36 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-11-01 20:50:05 × brettgilio quits (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com>)
2020-11-01 20:50:15 <[exa]> hm, googling reveals `traverseOf` and `mapMOf`
2020-11-01 20:50:21 <[exa]> this is gonna be a long evening
2020-11-01 20:50:23 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-01 20:53:09 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-01 20:53:30 → wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-01 20:53:43 → brettgilio joins (~brettgili@brettgilio.com)
2020-11-01 20:53:47 → knupfer joins (~Thunderbi@200116b82ca86a0081cd9ea58e288a4a.dip.versatel-1u1.de)
2020-11-01 20:54:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-11-01 20:54:25 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 240 seconds)
2020-11-01 20:54:55 × wroathe_ quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Client Quit)
2020-11-01 20:55:02 → conal joins (~conal@64.71.133.70)
2020-11-01 20:55:09 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-01 20:55:35 → christo joins (~chris@81.96.113.213)
2020-11-01 20:56:50 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-01 20:58:37 → howdoi joins (uid224@gateway/web/irccloud.com/x-czxukgvxykkjyknw)
2020-11-01 20:58:46 → dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net)
2020-11-01 21:00:01 × nerdboy1 quits (~nerdboy@154.13.1.56) ()
2020-11-01 21:00:09 × christo quits (~chris@81.96.113.213) (Ping timeout: 268 seconds)
2020-11-01 21:02:27 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-11-01 21:06:10 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-01 21:06:17 → christo joins (~chris@81.96.113.213)
2020-11-01 21:06:47 × mgalese quits (60e67243@pool-96-230-114-67.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-11-01 21:16:26 <Tuplanolla> Upon seeing the 2020 State of Haskell Survey, I realized I haven't really used Haskell in 2020.
2020-11-01 21:17:04 × Neo-- quits (~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 240 seconds)
2020-11-01 21:17:12 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-01 21:17:34 <suzu_> what have you been using instead?
2020-11-01 21:17:48 <Tuplanolla> It has been a year of OCaml.
2020-11-01 21:18:19 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-01 21:19:02 × geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection)
2020-11-01 21:22:28 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-11-01 21:23:36 → christo joins (~chris@81.96.113.213)
2020-11-01 21:24:35 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-01 21:25:16 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-01 21:27:13 × nkly quits (~nkly@ip5b403944.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2020-11-01 21:27:19 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2020-11-01 21:28:20 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-11-01 21:28:50 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
←Prev  Next→
Page 1 .. 995 996 997 998 999 1000 1001 1002 1003 1004 1005 .. 5022

All times are in UTC.