Logs: freenode/#haskell
| 2021-04-18 16:19:16 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-18 16:19:50 | → | Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-04-18 16:22:26 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-18 16:23:01 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
| 2021-04-18 16:24:21 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-18 16:25:21 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 268 seconds) |
| 2021-04-18 16:26:35 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-18 16:27:15 | <xe4> | https://www.twanvl.nl/blog/haskell/overloading-functional-references |
| 2021-04-18 16:27:34 | <xe4> | I was following along with this article up until name = FRef { get = name_ , set = \n e -> e { name_ = n } } -- which doesn't compile |
| 2021-04-18 16:27:54 | <xe4> | and the function below that doesn't compile either: name = ref name_ (\n e -> e { name_ = n }) |
| 2021-04-18 16:28:18 | <xe4> | suggestions on getting the examples to compile? |
| 2021-04-18 16:28:57 | × | Komrad_Kafuka quits (1b04ce5c@27.4.206.92) (Quit: Connection closed) |
| 2021-04-18 16:30:46 | × | DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-18 16:34:04 | → | jluttine joins (~jluttine@85-23-66-6.bb.dnainternet.fi) |
| 2021-04-18 16:34:19 | → | v01d4lph4 joins (~v01d4lph4@122.162.20.198) |
| 2021-04-18 16:42:53 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-18 16:43:38 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-18 16:43:46 | × | Zunaka quits (~IceChat9@176.24.159.82) (Ping timeout: 260 seconds) |
| 2021-04-18 16:44:21 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-18 16:46:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-18 16:47:13 | × | jluttine quits (~jluttine@85-23-66-6.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2021-04-18 16:48:38 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-18 16:49:12 | × | ddellacosta quits (~ddellacos@86.106.143.92) (Ping timeout: 240 seconds) |
| 2021-04-18 16:49:14 | <monochrom> | What is the exact verbatim error message? |
| 2021-04-18 16:50:32 | × | mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-18 16:51:07 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-04-18 16:55:05 | → | toorevitimirp joins (~tooreviti@117.182.181.144) |
| 2021-04-18 16:55:44 | <int-e> | gentauro: btw, what is [Safe {H}askel] (see https://uniprocess.org/effects.html )? |
| 2021-04-18 16:56:10 | × | toorevitimirp quits (~tooreviti@117.182.181.144) (Remote host closed the connection) |
| 2021-04-18 16:56:20 | <int-e> | (both the {H} from bibtex (presumably) and the missing l are slightly odd) |
| 2021-04-18 16:56:47 | → | Wizek joins (uid191769@gateway/web/irccloud.com/x-imzvaajwbwqznbhg) |
| 2021-04-18 16:58:35 | × | elliott__ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-04-18 16:59:38 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-18 17:00:21 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-18 17:00:31 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-18 17:01:09 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-18 17:03:34 | → | Zunaka joins (~IceChat9@176.24.159.82) |
| 2021-04-18 17:03:58 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-18 17:04:35 | <hpc> | int-e: scroll all the way down the page |
| 2021-04-18 17:07:38 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-18 17:08:00 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-18 17:08:19 | <int-e> | hpc: ... not sure why you're pointing me there. It replicates the exact same problem. |
| 2021-04-18 17:09:23 | <int-e> | I mean, I can identify the paper, but the title is still messed up. |
| 2021-04-18 17:11:44 | <hpc> | ah, you were asking why the formatting is messed up then? |
| 2021-04-18 17:11:49 | <hpc> | not actually "what" it was? |
| 2021-04-18 17:11:59 | <int-e> | Yes, sorry. |
| 2021-04-18 17:14:26 | → | jluttine joins (~jluttine@85-23-66-6.bb.dnainternet.fi) |
| 2021-04-18 17:14:48 | × | v01d4lph4 quits (~v01d4lph4@122.162.20.198) (Remote host closed the connection) |
| 2021-04-18 17:15:21 | → | v01d4lph4 joins (~v01d4lph4@122.162.20.198) |
| 2021-04-18 17:16:02 | → | AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 2021-04-18 17:16:35 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-18 17:17:02 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-18 17:17:45 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-18 17:17:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-18 17:18:43 | → | DavidEichmann joins (~david@147.136.46.217.dyn.plus.net) |
| 2021-04-18 17:19:16 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-18 17:19:56 | × | v01d4lph4 quits (~v01d4lph4@122.162.20.198) (Ping timeout: 260 seconds) |
| 2021-04-18 17:19:57 | → | Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-04-18 17:20:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-18 17:22:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-18 17:23:40 | → | elliott__ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-18 17:23:52 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-18 17:24:05 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 17:24:25 | × | gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 260 seconds) |
| 2021-04-18 17:24:27 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-18 17:25:50 | → | mudfog joins (~mudfog@ec2-54-152-211-54.compute-1.amazonaws.com) |
| 2021-04-18 17:28:33 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-18 17:30:21 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-18 17:30:55 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:dc4d:c0e7:8d0c:41f6) |
| 2021-04-18 17:33:01 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-18 17:33:13 | × | xff0x quits (~xff0x@2001:1a81:52bc:3c00:e093:d566:52f:38b9) (Ping timeout: 250 seconds) |
| 2021-04-18 17:34:22 | → | xff0x joins (~xff0x@2001:1a81:52bc:3c00:45ea:1449:467:f132) |
| 2021-04-18 17:35:28 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:dc4d:c0e7:8d0c:41f6) (Ping timeout: 258 seconds) |
| 2021-04-18 17:35:44 | <nut> | do people use linked list in Haskell ? |
| 2021-04-18 17:36:20 | <nut> | How is it often done? |
| 2021-04-18 17:38:31 | <koz_> | nut: Yes, and using [], since that's a (singly) linked list. |
| 2021-04-18 17:38:45 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-18 17:42:11 | × | asheshambasta quits (~user@ptr-e1lysav1t8vxyatkqxm.18120a2.ip6.access.telenet.be) (Ping timeout: 248 seconds) |
| 2021-04-18 17:43:08 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-18 17:43:22 | <gentauro> | int-e: good catch with Haskell missing one `l`. The {H} was taking from the CEFP bibtex file: https://simonmar.github.io/bib/par-tutorial-cefp-2012_abstract.html |
| 2021-04-18 17:43:40 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-04-18 17:44:27 | <gentauro> | ups, wrong link https://simonmar.github.io/bib/safe-haskell-2012.bib |
| 2021-04-18 17:45:59 | <gentauro> | int-e: I guess I forgot to remove the {} aroudn the H |
| 2021-04-18 17:48:20 | → | endofexclusive joins (~asdf@c188-150-152-7.bredband.comhem.se) |
| 2021-04-18 17:50:18 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-18 17:51:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-18 17:52:28 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-18 17:54:29 | × | haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-04-18 17:55:41 | <int-e> | gentauro: no big deal, but it does look strange :) |
| 2021-04-18 17:56:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-18 17:57:00 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-18 17:58:42 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 2021-04-18 17:58:57 | <gentauro> | int-e: If I recall from my days in uni, the {H} in bibtex ment something (I just can recall it) |
| 2021-04-18 17:59:10 | <gentauro> | any peeps still in academia that can tell? |
| 2021-04-18 17:59:35 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-18 18:01:09 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-18 18:01:13 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-18 18:01:46 | <gentauro> | int-e: fixed now :) https://uniprocess.org/effects.html |
| 2021-04-18 18:01:57 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-18 18:03:13 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
All times are in UTC.