Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 .. 5022
— 502,152 events total
2020-11-11 07:07:07 × todda7 quits (~torstein@ppp-2-84-27-210.home.otenet.gr) (Read error: Connection reset by peer)
2020-11-11 07:07:41 → todda7 joins (~torstein@ppp-2-84-27-210.home.otenet.gr)
2020-11-11 07:09:05 → feliocrat joins (~feliocrat@95.70.185.239)
2020-11-11 07:09:45 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-11-11 07:10:26 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-11 07:15:59 × alx741 quits (~alx741@186.178.110.199) (Ping timeout: 265 seconds)
2020-11-11 07:18:14 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-11 07:18:34 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-11-11 07:19:27 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-11 07:20:14 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds)
2020-11-11 07:20:14 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-11 07:21:15 <dsal> That thing where you make a beautiful generic function for a bunch of things you're doing, then realize you only really need this generic form in ~one case.
2020-11-11 07:23:07 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:68e3:2348:6146:33b5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-11 07:23:30 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-11-11 07:27:59 → Digifox03 joins (~Digifox03@151.74.213.204)
2020-11-11 07:28:12 → alx741 joins (~alx741@186.178.110.202)
2020-11-11 07:29:26 → gproto23 joins (~gproto23@unaffiliated/gproto23)
2020-11-11 07:29:27 <MarcelineVQ> dsal: every single time
2020-11-11 07:29:39 <bqv> that's the fun part
2020-11-11 07:30:15 × jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-11 07:30:29 <MarcelineVQ> Functional programming lets me do all these amazing things [that I don't need to do].
2020-11-11 07:31:09 × Digifox03 quits (~Digifox03@151.74.213.204) (Client Quit)
2020-11-11 07:32:38 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-111.revip7.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-11 07:32:56 <dsal> Then you try to show your friends and they're like. eh. "No, but it's typesafe!"
2020-11-11 07:33:59 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-11-11 07:34:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-11 07:35:04 <dsal> I'm a little sad about how much of my Haskell makes me feel good about how it works in a way that my friends can't appreciate. Not *clever* code, but just like, code that looks understandable, but works for a really satisfying reason.
2020-11-11 07:36:13 × nahcetan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-11 07:36:36 → jedws joins (~jedws@101.184.150.81)
2020-11-11 07:36:42 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-11 07:37:39 × jedws quits (~jedws@101.184.150.81) (Client Quit)
2020-11-11 07:38:49 <MarcelineVQ> I show my friends and they go "why is there a function in that type?" and I'm like.. "because I want to look more clever than I am"
2020-11-11 07:40:19 <bqv> lmao
2020-11-11 07:40:54 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-11 07:44:21 → adm joins (~adm@43.229.89.44)
2020-11-11 07:44:41 → graf_blutwurst joins (~user@2001:171b:226e:adc0:dd8e:2c6a:398f:6a09)
2020-11-11 07:45:34 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-11 07:45:40 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-11 07:46:53 → brodie_ joins (~brodie@207.53.253.137)
2020-11-11 07:47:06 brodie_ is now known as brodie
2020-11-11 07:49:20 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-11 07:50:29 → Digifox03 joins (~Digifox03@151.74.213.204)
2020-11-11 07:51:49 × Digifox03 quits (~Digifox03@151.74.213.204) (Remote host closed the connection)
2020-11-11 07:54:18 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-11-11 07:55:32 <bqv> I find Haskell and rust are both refreshingly different, but with rust, while the borrow checker provides security, it feels ultimately restrictive, whereas haskell's type expressibility, while somewhat strict, feels ultimately freeing
2020-11-11 07:56:59 <bqv> Now I'm off to enable functionaldependencies and at least 5 other extensions
2020-11-11 07:57:43 → Sanchayan joins (~Sanchayan@122.181.216.76)
2020-11-11 07:58:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-11 08:00:29 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-11 08:01:30 hackage ghc-check 0.5.0.3 - detect mismatches between compile-time and run-time versions of the ghc api https://hackage.haskell.org/package/ghc-check-0.5.0.3 (PepeIborra)
2020-11-11 08:04:08 → daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-11 08:06:53 × cheater quits (~user@unaffiliated/cheater) (Quit: (BitchX) Reserve your copy of BitchX for the PalmPilot today!)
2020-11-11 08:07:18 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-11 08:08:02 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-11 08:08:02 → jedws joins (~jedws@101.184.150.81)
2020-11-11 08:09:01 × jedws quits (~jedws@101.184.150.81) (Client Quit)
2020-11-11 08:09:07 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-11-11 08:09:10 → plutoniix joins (~q@ppp-223-24-62-205.revip6.asianet.co.th)
2020-11-11 08:09:55 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 258 seconds)
2020-11-11 08:10:16 <maerwald> bqv: restrictive is good
2020-11-11 08:10:38 <maerwald> it gives you clear rules to reason about
2020-11-11 08:10:38 → Digifox03 joins (~Digifox03@151.74.213.204)
2020-11-11 08:10:45 × alp quits (~alp@88.126.45.36) (Ping timeout: 256 seconds)
2020-11-11 08:11:08 <maerwald> after enabling a few advanced haskell extensions, I doubt most ppl are able to reason about what's going on anymore
2020-11-11 08:11:18 → alp joins (~alp@2a01:e0a:58b:4920:7dab:bd6a:30b1:7abd)
2020-11-11 08:11:27 <bqv> Heh
2020-11-11 08:13:07 × Digifox03 quits (~Digifox03@151.74.213.204) (Remote host closed the connection)
2020-11-11 08:13:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-11 08:13:44 <nshepperd> well, restrictiveness is necessary for clear rules for reasoning but not sufficient imo
2020-11-11 08:15:04 <maerwald> Rust rejects a lot of perfectly well-formed memory-safe programs. It doesn't attemtp to be a memory safety checker. I think that's why it's so successful
2020-11-11 08:15:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-11 08:15:19 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-11 08:16:09 <maerwald> It's a smart balance between ergonomics and complexity
2020-11-11 08:18:02 × adm quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-11 08:19:48 → bquest_123 joins (~bquest_12@89.47.70.167)
2020-11-11 08:20:13 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-11 08:21:30 → adm joins (~adm@43.229.89.44)
2020-11-11 08:21:37 → cheater joins (~user@unaffiliated/cheater)
2020-11-11 08:23:37 → raichoo joins (~raichoo@213.240.178.58)
2020-11-11 08:23:54 × graf_blutwurst quits (~user@2001:171b:226e:adc0:dd8e:2c6a:398f:6a09) (Ping timeout: 244 seconds)
2020-11-11 08:24:15 × thunderrd quits (~thunderrd@183.182.111.177) (Ping timeout: 272 seconds)
2020-11-11 08:24:15 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-11 08:25:34 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-11-11 08:25:50 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 264 seconds)
2020-11-11 08:26:07 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-11 08:27:45 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-11-11 08:27:48 → solonarv joins (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr)
2020-11-11 08:32:37 → asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-11-11 08:33:28 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-11 08:34:14 × tenniscp25 quits (~tenniscp2@node-14js.pool-125-25.dynamic.totinternet.net) ()
2020-11-11 08:34:51 × daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2020-11-11 08:35:14 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-11 08:35:26 × xff0x quits (~fox@2001:1a81:5388:cb00:74db:2531:7cfd:25e2) (Ping timeout: 264 seconds)
2020-11-11 08:35:45 → xff0x joins (~fox@2001:1a81:5388:cb00:8fe4:ec20:878e:f666)
2020-11-11 08:36:13 → thunderrd joins (~thunderrd@183.182.112.251)
2020-11-11 08:36:38 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-11 08:37:30 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-11 08:39:38 × brodie quits (~brodie@207.53.253.137) (Quit: brodie)
2020-11-11 08:40:43 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-11 08:41:53 → graf_blutwurst joins (~user@2001:171b:226e:adc0:8d7a:9cf6:2993:a9ab)
←Prev  Next→
Page 1 .. 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 .. 5022

All times are in UTC.