Logs: freenode/#haskell
| 2021-04-24 15:56:41 | <ski> | you could also use `find' instead of `filter' |
| 2021-04-24 15:56:44 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-04-24 15:57:00 | <emetrusky> | oh yeah i could shit |
| 2021-04-24 15:57:04 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Read error: Connection reset by peer) |
| 2021-04-24 15:57:13 | → | is_null_ joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-24 15:57:42 | <ski> | findCity name0 cities = head (filter ((name0 ==) . name) cities) -- a rephrasing of that predicate, using function composition |
| 2021-04-24 15:58:06 | <ski> | (you might or might not find that clearer) |
| 2021-04-24 15:58:08 | <emetrusky> | ok that seems more confusing |
| 2021-04-24 15:58:58 | <ski> | what do you want to happen, if the sought city is not there to be found ? |
| 2021-04-24 15:59:18 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Quit: leaving) |
| 2021-04-24 16:00:05 | × | juliendehos[m] quits (juliendeho@gateway/shell/matrix.org/x-vouozuyzgovkqdyo) (Quit: Idle for 30+ days) |
| 2021-04-24 16:00:07 | <emetrusky> | umm idk tbh. That wasn't on my mind |
| 2021-04-24 16:00:15 | <emetrusky> | when creating the code |
| 2021-04-24 16:00:37 | <ski> | is it something that shouldn't happen, with proper data and code ? |
| 2021-04-24 16:00:49 | <ski> | or can it reasonably happen, in some cases ? |
| 2021-04-24 16:01:19 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-24 16:01:52 | × | is_null_ quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
| 2021-04-24 16:01:58 | <emetrusky> | it is something that shouldn't happen since i will be doing the demonstration and i don't quite know how to do exception handling |
| 2021-04-24 16:02:02 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-24 16:02:09 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-24 16:02:42 | <ski> | well. you could be handling failures, rather simplistically, by using `Maybe'. it's not very hard |
| 2021-04-24 16:02:55 | <ski> | i.e., if you wanted to catch them |
| 2021-04-24 16:03:12 | <emetrusky> | nahh i think it will be find for know |
| 2021-04-24 16:03:15 | <emetrusky> | tbh |
| 2021-04-24 16:03:22 | ski | nods |
| 2021-04-24 16:03:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-24 16:03:54 | × | e quits (e@freenode/staff/spy.edk) (Quit: edk) |
| 2021-04-24 16:04:03 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
| 2021-04-24 16:05:59 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Read error: Connection reset by peer) |
| 2021-04-24 16:07:15 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-24 16:07:45 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-04-24 16:08:46 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-24 16:09:06 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-24 16:10:24 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds) |
| 2021-04-24 16:11:33 | × | mith[m] quits (mithmatrix@gateway/shell/matrix.org/x-tlapkgppewplnptl) (Ping timeout: 250 seconds) |
| 2021-04-24 16:11:39 | × | Guillaum quits (guiboumatr@gateway/shell/matrix.org/x-mugmiqkelizccvxg) (Ping timeout: 245 seconds) |
| 2021-04-24 16:12:25 | × | my_name_is_not_j quits (mynameisno@gateway/shell/matrix.org/x-hhwvpqfmykooxqsa) (Ping timeout: 250 seconds) |
| 2021-04-24 16:12:25 | × | jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-letamvhzjtbwxmeu) (Ping timeout: 250 seconds) |
| 2021-04-24 16:12:52 | → | elliott_ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-24 16:13:34 | → | Guillaum joins (guiboumatr@gateway/shell/matrix.org/x-rnvdqawoouwzijnb) |
| 2021-04-24 16:13:54 | → | my_name_is_not_j joins (mynameisno@gateway/shell/matrix.org/x-ooxznpdftgbscqkq) |
| 2021-04-24 16:14:33 | × | twk- quits (~thewormki@unaffiliated/twk-) (Quit: WeeChat 2.5) |
| 2021-04-24 16:16:01 | → | mith[m] joins (mithmatrix@gateway/shell/matrix.org/x-lrdejlaijmmvhxim) |
| 2021-04-24 16:16:35 | → | twk- joins (~thewormki@unaffiliated/twk-) |
| 2021-04-24 16:16:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-24 16:17:02 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-24 16:20:16 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-wixcztqkasbhacii) |
| 2021-04-24 16:20:32 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 2021-04-24 16:21:31 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 2021-04-24 16:22:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-24 16:25:11 | → | alx741 joins (~alx741@181.196.69.117) |
| 2021-04-24 16:27:12 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-24 16:27:32 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-24 16:28:27 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:bd68:2e0:1f11:8b3a) (Ping timeout: 250 seconds) |
| 2021-04-24 16:30:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-24 16:33:36 | → | minoru_shiraeesh joins (~shiraeesh@46.34.206.138) |
| 2021-04-24 16:34:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-24 16:34:43 | × | __minoru__shirae quits (~shiraeesh@46.34.206.138) (Remote host closed the connection) |
| 2021-04-24 16:37:57 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-24 16:38:21 | × | Guest13213 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-24 16:38:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-24 16:39:12 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-04-24 16:39:42 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-24 16:41:14 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:9e02:7bf3:beb9:eefe) |
| 2021-04-24 16:43:28 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-24 16:44:48 | × | knupfer quits (~Thunderbi@200116b82b743500b4b3cc7adcbc939f.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-04-24 16:44:57 | → | knupfer joins (~Thunderbi@200116b82b743500c4eb8f5452e52d74.dip.versatel-1u1.de) |
| 2021-04-24 16:45:16 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 252 seconds) |
| 2021-04-24 16:46:09 | → | Guest6509 joins (~laudiacay@67.176.215.84) |
| 2021-04-24 16:46:55 | × | minoru_shiraeesh quits (~shiraeesh@46.34.206.138) (Remote host closed the connection) |
| 2021-04-24 16:47:04 | → | minoru_shiraeesh joins (~shiraeesh@46.34.206.138) |
| 2021-04-24 16:47:05 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-24 16:51:11 | × | Guest6509 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-24 16:51:18 | × | dxld quits (~dxld@rush.pub.dxld.at) (Remote host closed the connection) |
| 2021-04-24 16:51:29 | × | roconnor quits (~roconnor@host-45-58-225-218.dyn.295.ca) (Ping timeout: 265 seconds) |
| 2021-04-24 16:53:21 | → | roconnor joins (~roconnor@host-45-58-195-183.dyn.295.ca) |
| 2021-04-24 16:54:42 | × | jemarch quits (~jemarch@185.204.1.185) (Remote host closed the connection) |
| 2021-04-24 16:54:47 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-24 16:56:02 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-04-24 16:59:31 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-24 17:00:02 | → | Alleria joins (~textual@69.202.254.168) |
| 2021-04-24 17:00:26 | Alleria | is now known as Guest51272 |
| 2021-04-24 17:00:32 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-24 17:02:53 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 246 seconds) |
| 2021-04-24 17:03:05 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-04-24 17:06:29 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-24 17:07:59 | → | mav2 joins (~mav@200116b800796100c8792d652148769e.dip.versatel-1u1.de) |
| 2021-04-24 17:08:45 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-24 17:10:38 | × | elliott_ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-04-24 17:10:48 | → | dfreedm joins (~dfreedm@185.163.110.100) |
| 2021-04-24 17:14:08 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:e89f:1e95:a362:ce44) |
| 2021-04-24 17:18:00 | → | Guest6509 joins (~laudiacay@67.176.215.84) |
| 2021-04-24 17:23:20 | × | HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving) |
| 2021-04-24 17:23:50 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:bc8e:6b02:6bdc:e788) |
| 2021-04-24 17:23:59 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-listalaenmlgtgtz) |
| 2021-04-24 17:27:54 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:bc8e:6b02:6bdc:e788) (Ping timeout: 245 seconds) |
| 2021-04-24 17:30:07 | → | federd8 joins (5d2e77a4@93-46-119-164.ip107.fastwebnet.it) |
| 2021-04-24 17:30:28 | <federd8> | hello |
| 2021-04-24 17:31:29 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Remote host closed the connection) |
| 2021-04-24 17:32:28 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:35c4:856c:8487:6e07) |
All times are in UTC.