Logs: freenode/#haskell
| 2021-05-08 22:12:53 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-08 22:20:08 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-08 22:25:32 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-08 22:26:15 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
| 2021-05-08 22:27:42 | → | sheepduck joins (~sheepduck@2607:fea8:2a62:9600::5ac6) |
| 2021-05-08 22:29:30 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
| 2021-05-08 22:30:22 | × | antoniotrkdz quits (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) (Ping timeout: 252 seconds) |
| 2021-05-08 22:31:50 | → | sheepduck joins (~sheepduck@2607:fea8:2a62:9600::5ac6) |
| 2021-05-08 22:32:05 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
| 2021-05-08 22:33:31 | → | sheepduck joins (~sheepduck@2607:fea8:2a62:9600::5ac6) |
| 2021-05-08 22:33:47 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
| 2021-05-08 22:34:10 | → | sheepduck joins (~sheepduck@2607:fea8:2a62:9600::5ac6) |
| 2021-05-08 22:34:49 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-08 22:37:00 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 2021-05-08 22:37:14 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-08 22:37:41 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-05-08 22:37:55 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-08 22:42:32 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-08 22:43:16 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-08 22:44:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-08 22:45:01 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-05-08 22:50:07 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) |
| 2021-05-08 22:51:25 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-08 22:51:26 | × | malumore quits (~malumore@151.62.124.22) (Ping timeout: 240 seconds) |
| 2021-05-08 22:52:11 | × | alx741 quits (~alx741@181.196.68.205) (Ping timeout: 246 seconds) |
| 2021-05-08 22:56:16 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds) |
| 2021-05-08 22:59:07 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-08 22:59:26 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-08 22:59:31 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-05-08 22:59:31 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 2021-05-08 22:59:31 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-05-08 23:01:19 | × | Guest67296 quits (~textual@2603-7000-3040-0000-09a8-282f-3437-302a.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-08 23:03:13 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-08 23:03:57 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-08 23:04:56 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-05-08 23:05:07 | → | alx741 joins (~alx741@186.178.108.184) |
| 2021-05-08 23:05:41 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-08 23:06:44 | → | olle joins (~olle@mue-88-130-56-050.dsl.tropolys.de) |
| 2021-05-08 23:06:50 | → | Alleria joins (~textual@2603-7000-3040-0000-e8d4-b4be-a934-005b.res6.spectrum.com) |
| 2021-05-08 23:07:09 | <olle> | Is there a Haskell answer to the expression problem? Isolating change when adding new data vs adding new behaviour? |
| 2021-05-08 23:07:14 | Alleria | is now known as Guest53940 |
| 2021-05-08 23:08:09 | <olle> | Google helps |
| 2021-05-08 23:08:39 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-6831-3bef-c439-efb8.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-08 23:08:52 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-08 23:11:21 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-08 23:12:11 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-08 23:13:07 | <Rembane> | olle: Kinda, see the paper Data types a la carte. |
| 2021-05-08 23:14:20 | → | Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-a19f-b6a7-57ef-17ab.res6.spectrum.com) |
| 2021-05-08 23:14:52 | <seven_three> | is it possible to write a quickcheck `Property`, that prints out a extra message on success/failure? It seems that hspec has a `describe` function to do this. I would like my output from a call of `quickCheck` to print `+++ OK, passed 100 tests -- prop_reverse` |
| 2021-05-08 23:16:06 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-08 23:17:47 | <olle> | Rembane: Found some slides |
| 2021-05-08 23:17:48 | <olle> | https://userpages.uni-koblenz.de/~laemmel/TheEagle/resources/pdf/xproblem1.pdf |
| 2021-05-08 23:20:57 | <olle> | Wow, easy to both add new data and new behaviour in a separate module? Impressive. |
| 2021-05-08 23:21:26 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-08 23:21:57 | → | tlgl^nix joins (~damien@S0106f0f24986c533.su.shawcable.net) |
| 2021-05-08 23:22:11 | <Rembane> | olle: Yeah, I think it's really cool! :) |
| 2021-05-08 23:22:59 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-08 23:24:13 | <olle> | This was only Haskell 98, it seems |
| 2021-05-08 23:24:18 | <olle> | In the paper |
| 2021-05-08 23:24:21 | <olle> | sorry, slides |
| 2021-05-08 23:26:21 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-08 23:26:27 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
| 2021-05-08 23:28:31 | <Rembane> | Then it should absolutely work in later versions of Haskell. |
| 2021-05-08 23:30:12 | × | tlgl^nix quits (~damien@S0106f0f24986c533.su.shawcable.net) (Ping timeout: 240 seconds) |
| 2021-05-08 23:30:45 | <olle> | Using type-classes instead of pattern match |
| 2021-05-08 23:31:39 | × | shiraeeshi quits (~shiraeesh@46.34.206.174) (Ping timeout: 268 seconds) |
| 2021-05-08 23:32:01 | × | motersen quits (~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection) |
| 2021-05-08 23:32:15 | → | motersen joins (~motersen@gateway/tor-sasl/motersen) |
| 2021-05-08 23:33:52 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-08 23:33:56 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-08 23:35:52 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-08 23:36:18 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-08 23:37:12 | × | olle quits (~olle@mue-88-130-56-050.dsl.tropolys.de) (Ping timeout: 240 seconds) |
| 2021-05-08 23:37:16 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-08 23:41:11 | → | tlgl^nix joins (~damien@S0106f0f24986c533.su.shawcable.net) |
| 2021-05-08 23:42:27 | <monochrom> | Except that "data (Exp l, Exp r) => ..." is Haskell 98 but not Haskell 2010 :) |
| 2021-05-08 23:43:48 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-08 23:46:46 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-08 23:52:51 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-08 23:54:26 | × | tlgl^nix quits (~damien@S0106f0f24986c533.su.shawcable.net) (Ping timeout: 240 seconds) |
| 2021-05-08 23:57:22 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 2021-05-08 23:57:31 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-08 23:58:24 | × | bennofs__ quits (~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-08 23:58:42 | → | bennofs_ joins (~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de) |
| 2021-05-08 23:59:25 | → | arahael1 joins (~arahael@124-150-95-173.tpgi.com.au) |
| 2021-05-09 00:00:20 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-09 00:00:35 | → | desophos joins (~desophos@2601:249:1680:a570:45cb:bc96:d6c7:8cf9) |
| 2021-05-09 00:00:39 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-09 00:01:39 | × | Arahael quits (~arahael@123-243-38-74.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2021-05-09 00:03:52 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
| 2021-05-09 00:04:38 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 2021-05-09 00:06:59 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-09 00:08:45 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-05-09 00:13:06 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-09 00:13:27 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-09 00:13:44 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-09 00:14:45 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-09 00:16:21 | arahael1 | is now known as Arahael |
| 2021-05-09 00:16:45 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-09 00:17:54 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
All times are in UTC.