Logs: freenode/#haskell
| 2021-03-30 23:09:27 | → | msgctl joins (~msgctl@ometochtli.centzontotochtin.org) |
| 2021-03-30 23:17:42 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-03-30 23:18:16 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-03-30 23:18:25 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-30 23:18:27 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 246 seconds) |
| 2021-03-30 23:20:32 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-30 23:25:50 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-03-30 23:26:59 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-30 23:27:18 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-30 23:29:51 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-30 23:30:44 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 246 seconds) |
| 2021-03-30 23:30:56 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-30 23:32:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-30 23:34:54 | × | Guest13757 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 268 seconds) |
| 2021-03-30 23:35:18 | × | tureba_ quits (~tureba@tureba.org) (Quit: leaving) |
| 2021-03-30 23:35:35 | → | tureba joins (~tureba@tureba.org) |
| 2021-03-30 23:36:22 | → | Guest41032 joins (~laudiacay@67.176.215.84) |
| 2021-03-30 23:37:06 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds) |
| 2021-03-30 23:40:49 | × | Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds) |
| 2021-03-30 23:41:51 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-03-30 23:41:58 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-03-30 23:45:27 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-30 23:45:30 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-xpdysnkajitxqqrt) (Quit: Connection closed for inactivity) |
| 2021-03-30 23:46:06 | × | clog quits (~nef@bespin.org) (Ping timeout: 240 seconds) |
| 2021-03-30 23:46:49 | → | clog joins (~nef@66.114.33.57) |
| 2021-03-30 23:48:13 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-03-30 23:49:18 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-03-30 23:49:42 | → | Z3ph0d joins (~peter@061092022201.ctinets.com) |
| 2021-03-30 23:52:00 | × | Tops2 quits (~Tobias@dyndsl-095-033-026-062.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-30 23:54:35 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-30 23:55:46 | × | Sgeo_ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-30 23:55:57 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-30 23:56:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-03-30 23:56:55 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-31 00:00:01 | → | Alleria joins (~textual@2603-7000-3040-0000-1143-d148-dab6-7a8a.res6.spectrum.com) |
| 2021-03-31 00:00:06 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-03-31 00:00:24 | Alleria | is now known as Guest90356 |
| 2021-03-31 00:01:33 | × | ephemient quits (uid407513@gateway/web/irccloud.com/x-abcfjjixtrhtzzix) (Quit: Connection closed for inactivity) |
| 2021-03-31 00:04:17 | × | Guest90356 quits (~textual@2603-7000-3040-0000-1143-d148-dab6-7a8a.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-03-31 00:05:43 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-31 00:10:31 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-31 00:11:31 | infinisi1 | is now known as infinisil |
| 2021-03-31 00:12:42 | × | gitgood quits (~gitgood@80-44-12-39.dynamic.dsl.as9105.com) (Ping timeout: 246 seconds) |
| 2021-03-31 00:12:45 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-03-31 00:12:49 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-31 00:12:55 | → | xelxebar_ joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-03-31 00:15:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-03-31 00:15:43 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-03-31 00:15:48 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-03-31 00:15:52 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-03-31 00:16:50 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-03-31 00:20:44 | × | bodisiw quits (~bodiskw@cpe-74-138-114-237.kya.res.rr.com) (Quit: Leaving) |
| 2021-03-31 00:21:25 | × | eldritch quits (~eldritch@unaffiliated/eldritch) (Read error: Connection reset by peer) |
| 2021-03-31 00:21:56 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 2021-03-31 00:25:44 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-03-31 00:26:31 | <koz_> | I have some trouble understanding the second and third case of this: https://hackage.haskell.org/package/extra-1.7.9/docs/src/Data.List.Extra.html#split |
| 2021-03-31 00:26:37 | × | Yumasi quits (~guillaume@2a01:e0a:5cb:4430:6c9e:d835:53cb:dfd2) (Quit: WeeChat 2.8) |
| 2021-03-31 00:26:48 | <koz_> | What is this actually saying? |
| 2021-03-31 00:26:59 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-03-31 00:27:11 | × | jpp_ quits (~jpp@47-220-44-237.htvlcmtk02.res.dyn.suddenlink.net) (Remote host closed the connection) |
| 2021-03-31 00:29:06 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-31 00:31:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 00:32:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-31 00:32:25 | <infinisil> | koz_: These lines are using pattern guards |
| 2021-03-31 00:32:34 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Client Quit) |
| 2021-03-31 00:32:37 | <int-e> | the second one is just a boolean guard |
| 2021-03-31 00:32:37 | → | lordyod joins (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) |
| 2021-03-31 00:32:50 | <koz_> | What about the third? |
| 2021-03-31 00:33:06 | <monochrom> | if split f xs matches the pattern y:ys |
| 2021-03-31 00:33:15 | <koz_> | And what happens if not? |
| 2021-03-31 00:33:32 | <int-e> | koz_: then it falls through, but it cannot happen |
| 2021-03-31 00:33:40 | <int-e> | since split never returns an empty list |
| 2021-03-31 00:33:52 | <koz_> | GHC doesn't believe me though. |
| 2021-03-31 00:34:07 | <koz_> | I tried reimplementing this using constructs I understand, and GHC says I have an incomplete match. |
| 2021-03-31 00:34:09 | <int-e> | sure, that's not surprising. it's still true |
| 2021-03-31 00:34:53 | <monochrom> | Right, this is an external reasoning based on the base case producing a non-empty list so the recursion produces a non-empty list by induction. |
| 2021-03-31 00:35:26 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-31 00:35:32 | <koz_> | So the honest type of split would be (a -> Bool) -> [a] -> NonEmpty [a] or so? |
| 2021-03-31 00:35:50 | <infinisil> | Yeah I think so |
| 2021-03-31 00:36:03 | <monochrom> | -fno-warn-obviously-total-functions |
| 2021-03-31 00:36:11 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-31 00:36:13 | <infinisil> | > words "" |
| 2021-03-31 00:36:14 | <lambdabot> | [] |
| 2021-03-31 00:36:21 | <infinisil> | The words function unfortunately doesn't work like that |
| 2021-03-31 00:36:42 | <koz_> | monochrom: Is that you being sarcastic or is that an actual option? :P |
| 2021-03-31 00:36:49 | <monochrom> | joke |
| 2021-03-31 00:37:00 | <koz_> | I figured, but had to be sure. |
| 2021-03-31 00:37:11 | × | Guest55480 quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 268 seconds) |
| 2021-03-31 00:37:14 | <monochrom> | And satire on warnings of all sorts of non-problems |
| 2021-03-31 00:37:58 | <int-e> | Hmm not sure I'd call that unfortunate. `word` is lossy, but it's a feature. |
| 2021-03-31 00:38:03 | <infinisil> | koz_: I'd add a final pattern match returning `error "Can't happen"` |
| 2021-03-31 00:38:03 | <monochrom> | Seriously IMO a warning on "do { foo; bar ; zed }" is ridiculous. |
| 2021-03-31 00:38:23 | <infinisil> | monochrom: What's the warning/ |
| 2021-03-31 00:38:25 | <koz_> | infinisil: Lol, fair. |
| 2021-03-31 00:38:25 | <infinisil> | ? |
| 2021-03-31 00:38:26 | <monochrom> | i.e., a warning on using "foo" instead of "pat <- foo" |
| 2021-03-31 00:38:55 | <infinisil> | monochrom: Doesn't it only do that if pattern wouldn't be ()? |
| 2021-03-31 00:38:55 | <monochrom> | I forgot the exact option name because good riddance. |
| 2021-03-31 00:39:13 | <monochrom> | Oh here is what I think is hypocritic about that. |
| 2021-03-31 00:39:39 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
All times are in UTC.