Logs: freenode/#haskell
| 2021-04-11 19:35:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 19:39:40 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-11 19:41:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 19:43:40 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-11 19:46:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 19:47:32 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 19:50:00 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 19:50:01 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-11 19:50:27 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 19:50:57 | → | zeenk joins (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) |
| 2021-04-11 19:52:37 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 19:53:11 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-11 19:53:14 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-11 19:55:39 | × | gitgoood quits (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Ping timeout: 265 seconds) |
| 2021-04-11 20:00:26 | × | myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds) |
| 2021-04-11 20:01:22 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 20:01:45 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-11 20:02:14 | → | gitgood joins (~gitgood@host-78-145-142-133.as13285.net) |
| 2021-04-11 20:02:16 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-04-11 20:03:30 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 20:03:35 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 2021-04-11 20:04:07 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 20:05:51 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-11 20:09:46 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-11 20:10:09 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-11 20:11:22 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 20:11:41 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 20:13:38 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-11 20:13:40 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 20:16:39 | → | RandomArcher joins (~RandomArc@90.153.229.57) |
| 2021-04-11 20:19:57 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-04-11 20:20:18 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 20:20:31 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-11 20:20:59 | → | Feuermagier_ joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-04-11 20:21:52 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Read error: Connection reset by peer) |
| 2021-04-11 20:22:14 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.11) (Ping timeout: 260 seconds) |
| 2021-04-11 20:25:12 | → | jneira joins (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-04-11 20:27:24 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 20:28:12 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 20:30:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 20:31:43 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed) |
| 2021-04-11 20:32:55 | × | worc3131 quits (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Ping timeout: 260 seconds) |
| 2021-04-11 20:33:14 | → | worc3131 joins (~quassel@90.221.179.224) |
| 2021-04-11 20:33:51 | × | alx741 quits (~alx741@181.196.69.222) (Ping timeout: 268 seconds) |
| 2021-04-11 20:37:34 | × | worc3131 quits (~quassel@90.221.179.224) (Ping timeout: 252 seconds) |
| 2021-04-11 20:39:20 | <monochrom> | I'm done with letting solvr waste our time every few days with their "haskell should be more mutable" drivel. |
| 2021-04-11 20:39:47 | <monochrom> | Next time it will be a ban. |
| 2021-04-11 20:40:48 | <maerwald> | oh, was it supposed to be a troll attempt? |
| 2021-04-11 20:41:23 | <monochrom> | I can't tell the difference between trolling and lunacy. |
| 2021-04-11 20:41:42 | <monochrom> | But it's drivel either way. |
| 2021-04-11 20:42:05 | <monochrom> | And it's repeating offence. |
| 2021-04-11 20:42:13 | <monochrom> | s/repeating/repeated/ |
| 2021-04-11 20:42:43 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 20:43:06 | → | myShoggoth joins (~myShoggot@75.164.73.93) |
| 2021-04-11 20:43:11 | <maerwald> | Popularity is a double edged sword anyway... too much and you have too many mediocre maintainers, too little and you have no ecosystem. |
| 2021-04-11 20:43:35 | <monochrom> | Repeated offenders and lenient liberals alike complain about my bans because they don't have state to remember that I don't ban until I see repeaated offense. |
| 2021-04-11 20:43:46 | × | RandomArcher quits (~RandomArc@90.153.229.57) (Ping timeout: 240 seconds) |
| 2021-04-11 20:44:08 | <monochrom> | Oh popularity is just their newest excuse. |
| 2021-04-11 20:44:45 | <monochrom> | Previously they cited other excuses to demand mutability such as "interface boundary" and "data structure efficiency". |
| 2021-04-11 20:45:46 | <monochrom> | and ""Functional programming is to turn on the light, you need to rebuild your house" |
| 2021-04-11 20:46:27 | <monochrom> | and http://tunes.org/~nef/logs/haskell/21.04.06 search for <solvr> |
| 2021-04-11 20:46:54 | <maerwald> | haha |
| 2021-04-11 20:47:01 | <maerwald> | that's a good one |
| 2021-04-11 20:48:18 | → | alx741 joins (~alx741@181.196.68.37) |
| 2021-04-11 20:48:42 | <maerwald> | maybe it's sophisticated critique about the lack of modular and composable effects systems |
| 2021-04-11 20:49:13 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-11 20:49:22 | <maerwald> | well, or not... |
| 2021-04-11 20:50:53 | × | malumore quits (~malumore@151.62.120.195) (Ping timeout: 240 seconds) |
| 2021-04-11 20:51:18 | × | astroanax quits (~astroanax@cosmic.voyage) (Ping timeout: 240 seconds) |
| 2021-04-11 20:51:49 | nckx | is now known as jorts |
| 2021-04-11 20:51:51 | <monochrom> | I once saw a genuinely sophisticated critique. It was from one of the Oz people IIRC. I say that it is genuinely sophisticated because it included a convincing, concrete example. |
| 2021-04-11 20:52:26 | × | zyeri quits (zyeri@tilde.team/users/zyeri) (Ping timeout: 276 seconds) |
| 2021-04-11 20:53:14 | <monochrom> | The difference between genuine sophisticated critique and lunacy is that the lunatic one just keeps talking and keeps talking bigger and bigger. |
| 2021-04-11 20:53:14 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-04-11 20:53:39 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-11 20:53:43 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-04-11 20:53:43 | <monochrom> | Equivalently if it's indistinguishable from a Markov-Mealy machine then it's lunacy. |
| 2021-04-11 20:53:44 | → | m_miro joins (4c4829bb@76.72.41.187) |
| 2021-04-11 20:53:53 | <monochrom> | i.e., armchair philosopher |
| 2021-04-11 20:53:58 | <maerwald> | I didn't find it disruptive until now, but I only noticed them today |
| 2021-04-11 20:56:33 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-11 20:56:58 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-11 20:57:44 | <d34df00d> | hololeap: oh, right. |
| 2021-04-11 20:57:55 | <d34df00d> | Commuting monads is hard! Let me try to internalize that. |
| 2021-04-11 20:58:40 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 20:59:40 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-11 21:01:06 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 240 seconds) |
| 2021-04-11 21:05:15 | <m_miro> | Excuse me, is it possible to have a data type that contains a definition like: |
| 2021-04-11 21:05:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-11 21:05:18 | <m_miro> | data Custom = Custom Custom | Something |
| 2021-04-11 21:05:40 | <m_miro> | and then have a variable like: |
| 2021-04-11 21:05:57 | <m_miro> | myVariable = Something Something? |
| 2021-04-11 21:06:21 | <dcbdan> | Do you mean myVariable = Custom Something ? |
| 2021-04-11 21:06:49 | <dcbdan> | Something Something does not work, because the Something constructor is just of type Custom |
| 2021-04-11 21:06:59 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 21:07:10 | <m_miro> | Oh I see |
| 2021-04-11 21:07:24 | <monochrom> | Perhaps please don't use the same "Custom" name for two unrelated things. |
| 2021-04-11 21:07:58 | <maerwald> | data Custom = MkCustom Custom | MkSomething |
| 2021-04-11 21:08:10 | <dcbdan> | ^one 'Custom' is a constructor, the other is a type |
| 2021-04-11 21:08:16 | <m_miro> | So if I wanted Something Something I'd have to define Something as Custom? |
All times are in UTC.