Logs on 2022-04-24 (liberachat/#haskell)
| 00:00:58 | <abastro[m]> | yushyin: I mean enforcing forall. |
| 00:01:08 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 00:01:17 | <abastro[m]> | Seen beginners have problems reading the typevars. |
| 00:01:38 | <abastro[m]> | "What is this `a`, where is it from" |
| 00:01:49 | → | chenqisu1 joins (~chenqisu1@183.217.203.102) |
| 00:02:22 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 00:03:07 | <yushyin> | ah yes, i see your argument |
| 00:06:30 | <abastro[m]> | Yep, a highly controversial one |
| 00:06:56 | → | namkeleser joins (~namkelese@124.188.206.148) |
| 00:11:47 | → | vysn joins (~vysn@user/vysn) |
| 00:13:15 | → | redb joins (~nmh@136.49.49.211) |
| 00:14:08 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:14:08 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 00:14:28 | <EvanR> | explicitness is a slippery slope, at first more explicitness seems great, then it turns into a nightmare |
| 00:14:48 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 00:15:33 | → | kilolympus joins (~kilolympu@31.205.200.235) |
| 00:16:19 | × | alp_ quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 00:17:20 | × | cheategg quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 00:17:59 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 00:19:56 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 00:22:31 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 00:22:38 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 272 seconds) |
| 00:23:25 | → | cheater joins (~Username@user/cheater) |
| 00:28:57 | → | kaph joins (~kaph@151.57.146.102) |
| 00:36:15 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 00:39:01 | → | erenyaegerdidnot joins (~erenyaege@104-191-147-117.lightspeed.dybhfl.sbcglobal.net) |
| 00:41:29 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:41:29 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:41:29 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:42:52 | × | erenyaegerdidnot quits (~erenyaege@104-191-147-117.lightspeed.dybhfl.sbcglobal.net) (Quit: Client closed) |
| 00:43:59 | × | nate1 quits (~nate@12.222.71.83) (Ping timeout: 240 seconds) |
| 00:46:21 | → | redb joins (~nmh@136.49.49.211) |
| 00:47:41 | → | xff0x_ joins (~xff0x@om126158190036.30.openmobile.ne.jp) |
| 00:49:35 | → | kaph_ joins (~kaph@151.43.155.190) |
| 00:49:47 | × | kaph quits (~kaph@151.57.146.102) (Read error: Connection reset by peer) |
| 00:50:29 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 00:52:34 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 00:53:00 | → | oxide joins (~lambda@user/oxide) |
| 00:53:46 | → | gpncarl joins (~gpncarl@120.244.221.62) |
| 00:54:49 | × | nehsou^ quits (~nehsou@50.233.120.162) (Ping timeout: 256 seconds) |
| 00:57:23 | → | nate1 joins (~nate@12.222.71.83) |
| 00:58:38 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 00:58:44 | × | gpncarl quits (~gpncarl@120.244.221.62) (Ping timeout: 272 seconds) |
| 00:59:39 | → | zincy joins (~zincy@2a00:23c8:970c:4801:1590:f2fa:4c6c:1738) |
| 01:00:00 | → | slack1256 joins (~slack1256@191.125.99.79) |
| 01:00:33 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 01:00:41 | × | namkeleser quits (~namkelese@124.188.206.148) (Quit: Client closed) |
| 01:03:54 | × | zincy quits (~zincy@2a00:23c8:970c:4801:1590:f2fa:4c6c:1738) (Ping timeout: 250 seconds) |
| 01:05:29 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 01:10:48 | × | nate1 quits (~nate@12.222.71.83) (Ping timeout: 248 seconds) |
| 01:11:13 | → | vicfred joins (~vicfred@user/vicfred) |
| 01:12:14 | → | redb joins (~nmh@136.49.49.211) |
| 01:13:56 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 01:17:28 | → | andrey_ joins (~andrey@p200300dbcf3c0d0097a34303aa7c56ea.dip0.t-ipconnect.de) |
| 01:19:59 | × | andrey__ quits (~andrey@p200300dbcf2d4700b75a627523ede51a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:20:16 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 01:22:34 | → | sleym joins (~sleym@156.146.54.59) |
| 01:24:17 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Ping timeout: 256 seconds) |
| 01:24:48 | → | nate1 joins (~nate@12.222.71.83) |
| 01:25:56 | → | joo-_ joins (~joo-_@87-49-45-171-mobile.dk.customer.tdc.net) |
| 01:25:56 | × | joo-_ quits (~joo-_@87-49-45-171-mobile.dk.customer.tdc.net) (Changing host) |
| 01:25:56 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 01:26:41 | × | sleym quits (~sleym@156.146.54.59) (Changing host) |
| 01:26:41 | → | sleym joins (~sleym@user/sleym) |
| 01:26:52 | <jackdk> | Trying to use polymorphic code in Dhall, for example, is often worse than writing stuff out longhand |
| 01:27:57 | <abastro[m]> | Why? |
| 01:30:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 01:32:11 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 01:34:13 | × | kilolympus quits (~kilolympu@31.205.200.235) (Quit: Quitting IRC :() |
| 01:34:39 | → | kilolympus joins (~kilolympu@31.205.200.235) |
| 01:35:04 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 01:35:15 | → | frost joins (~frost@user/frost) |
| 01:36:59 | → | redb joins (~nmh@136.49.49.211) |
| 01:37:45 | × | kimjetwav quits (~user@2607:fea8:2362:b400:96b1:77a5:e350:efea) (Read error: Connection reset by peer) |
| 01:38:06 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 01:38:26 | → | EvanR joins (~EvanR@user/evanr) |
| 01:39:59 | × | nate1 quits (~nate@12.222.71.83) (Ping timeout: 240 seconds) |
| 01:41:42 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 01:41:55 | × | sleym quits (~sleym@user/sleym) (Quit: sleym) |
| 01:43:22 | <monochrom> | I don't think anyone is suggesting unconditional universal explicitness. Just explicit forall specifically. |
| 01:45:04 | <monochrom> | Here is an example where you will have trouble confusing yourself under explicit forall: f :: forall a. a -> a; f x = let { y :: forall a. a; y = x } in y |
| 01:46:13 | <abastro[m]> | Is this one assuming ScopedTypeVariables on? |
| 01:47:18 | <monochrom> | It is showing a common error "f :: a -> a; f x = let { y :: a; y = x } in y" which looks very intuitive and people cannot spot what went wrong. |
| 01:47:21 | → | redb joins (~nmh@136.49.49.211) |
| 01:47:57 | <monochrom> | An erroneous code snippet that looks so intuitive you can't see why the computer would reject it |
| 01:48:30 | <monochrom> | vs under explict forall it looks so wrong you can't see why any human would write it in the first place. |
| 01:48:31 | → | kimjetwav joins (~user@2607:fea8:2362:b400:5a18:8a8f:a66d:49c0) |
| 01:48:53 | → | abastro joins (~abab9579@220.75.216.63) |
| 01:50:19 | <abastro[m]> | Oh, I see. you meant an example where explicit forall is good |
| 01:50:19 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 01:52:06 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 01:54:32 | → | razetime joins (~quassel@117.254.35.14) |
| 01:55:22 | <jackdk> | Dhall requires explicit type application and explicit forall. It's noisu |
| 01:55:35 | <jackdk> | Still better than straight YAML though |
| 01:56:12 | → | gentauro joins (~gentauro@user/gentauro) |
| 01:56:22 | × | tommd quits (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 272 seconds) |
| 01:56:34 | → | redb joins (~nmh@136.49.49.211) |
| 02:02:31 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 02:05:07 | <abastro> | I did not mean the explicit type application though. |
| 02:05:39 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 02:05:49 | → | gpncarl joins (~gpncarl@222.249.231.3) |
| 02:08:33 | <EvanR> | actually I've seen a lot of beginners (used to other programming langauges) also get confused by the syntax of application (or lack there of) |
| 02:08:42 | <EvanR> | too |
| 02:09:08 | <EvanR> | f @ x may help them xD |
| 02:09:24 | × | maerwald quits (~maerwald@mail.hasufell.de) (Changing host) |
| 02:09:24 | → | maerwald joins (~maerwald@user/maerwald) |
| 02:10:18 | <jackdk> | I was referring to EvanR's comment about explicitness being a slippery slope |
| 02:11:00 | × | sammelweis_ quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 02:15:54 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 02:23:52 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 02:28:45 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 02:31:23 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::c90f) (Ping timeout: 260 seconds) |
| 02:33:18 | <monochrom> | On the other side of the debate, there are proponents of "#2 - #1" to mean (\x y -> y - x). There are even proponents of "# - #" at which point everyone goes bananas. |
| 02:39:51 | <EvanR> | @pl (\x y -> y - x) |
| 02:39:51 | <lambdabot> | subtract |
| 02:40:04 | × | td_ quits (~td@94.134.91.10) (Ping timeout: 272 seconds) |
| 02:40:10 | <EvanR> | even less letters than #2 - #1 xD |
| 02:40:48 | <EvanR> | ok, less letters than "#2 - #1 xD" |
| 02:41:27 | → | td_ joins (~td@muedsl-82-207-238-135.citykom.de) |
| 02:47:15 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 02:48:30 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 02:50:26 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 02:53:45 | × | dostoevsky quits (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 02:54:11 | → | dostoevsky joins (~5c42c5384@user/dostoevsky) |
| 03:04:20 | × | roconnor quits (~roconnor@coq/roconnor) (Quit: Konversation terminated!) |
| 03:14:14 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 03:15:57 | × | abastro quits (~abab9579@220.75.216.63) (Ping timeout: 276 seconds) |
| 03:17:48 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 03:22:05 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:317a:9a8d:5793:3644) (Remote host closed the connection) |
| 03:22:07 | × | xff0x_ quits (~xff0x@om126158190036.30.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 03:26:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 03:34:09 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 276 seconds) |
| 03:34:58 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 03:36:07 | → | oxide joins (~lambda@user/oxide) |
| 03:36:10 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 03:37:49 | × | kimjetwav quits (~user@2607:fea8:2362:b400:5a18:8a8f:a66d:49c0) (Read error: Connection reset by peer) |
| 03:38:11 | → | stefan-_ joins (~cri@42dots.de) |
| 03:42:35 | → | kimjetwav joins (~user@2607:fea8:2362:b400:ee25:bee9:9ea5:5eff) |
| 03:49:39 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 03:51:44 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 03:51:48 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 03:53:22 | × | kimjetwav quits (~user@2607:fea8:2362:b400:ee25:bee9:9ea5:5eff) (Remote host closed the connection) |
| 03:53:51 | → | kimjetwav joins (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) |
| 03:54:16 | → | deadmarshal_ joins (~deadmarsh@95.38.112.91) |
| 03:54:38 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 04:17:09 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 04:26:54 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 04:31:26 | × | slack1256 quits (~slack1256@191.125.99.79) (Remote host closed the connection) |
| 04:31:32 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 272 seconds) |
| 04:32:16 | → | mbuf joins (~Shakthi@122.162.69.23) |
| 04:34:39 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 04:43:37 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 04:49:35 | → | kaph__ joins (~kaph@151.43.147.59) |
| 04:51:59 | × | kaph_ quits (~kaph@151.43.155.190) (Ping timeout: 246 seconds) |
| 04:53:24 | → | zaquest joins (~notzaques@5.130.79.72) |
| 04:57:01 | → | coot joins (~coot@213.134.190.95) |
| 04:59:06 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 04:59:45 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 05:01:19 | × | rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 05:08:43 | → | sevvie joins (~sevvie@ip70-189-239-121.lv.lv.cox.net) |
| 05:10:12 | × | sevvie quits (~sevvie@ip70-189-239-121.lv.lv.cox.net) (Client Quit) |
| 05:11:38 | <jackdk> | Let's rename the channel to #h then |
| 05:25:12 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 05:27:38 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 05:28:28 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 05:28:33 | × | deadmarshal_ quits (~deadmarsh@95.38.112.91) (Ping timeout: 276 seconds) |
| 05:34:52 | × | napping quits (~brandon@65.128.49.110) (Ping timeout: 272 seconds) |
| 05:35:51 | → | zmv joins (~zmv@2804:431:c7f2:dad8:449e:66e7:6a42:644) |
| 05:36:05 | → | napping joins (~brandon@209-181-225-137.mpls.qwest.net) |
| 05:36:06 | × | zmv quits (~zmv@2804:431:c7f2:dad8:449e:66e7:6a42:644) (Changing host) |
| 05:36:06 | → | zmv joins (~zmv@user/notzmv) |
| 05:37:39 | × | kimjetwav quits (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) (Read error: Connection reset by peer) |
| 05:37:53 | zmv | is now known as notzmv |
| 05:39:59 | → | Pickchea joins (~private@user/pickchea) |
| 05:40:58 | → | Core4993 joins (~Core4993@222.249.231.3) |
| 05:41:36 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:43:19 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 05:57:55 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 05:59:06 | → | kimjetwav joins (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) |
| 06:01:46 | <jonathanx> | I have two values :: Lens' (Matrix a) (Vector a) |
| 06:02:10 | <jonathanx> | I want to combine them, by mappending the output vector |
| 06:02:45 | <jonathanx> | I assumed I could do (lens1 <> lens2) :: Lens' (Matrix a) (Vector a) |
| 06:03:07 | <jonathanx> | But it complains about not being able to deduce semigroup |
| 06:08:05 | × | kaph__ quits (~kaph@151.43.147.59) (Read error: Connection reset by peer) |
| 06:08:05 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 06:12:32 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:12:49 | → | img joins (~img@user/img) |
| 06:16:20 | × | jargon quits (~jargon@174-22-223-120.phnx.qwest.net) (Remote host closed the connection) |
| 06:19:09 | → | acidjnk_new joins (~acidjnk@p200300d0c73b4573454e68cab0ae2c9f.dip0.t-ipconnect.de) |
| 06:21:10 | <jonathanx> | (context: I want to have a lens into two of the columns of the matrix, combined into a vector, for read/write access into the column pair) |
| 06:26:02 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 06:35:41 | → | kenran joins (~kenran@200116b82b78bb0022722e84be41e14c.dip.versatel-1u1.de) |
| 06:37:24 | × | kimjetwav quits (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) (Read error: Connection reset by peer) |
| 06:39:22 | → | kimjetwav joins (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) |
| 06:41:45 | × | kenran quits (~kenran@200116b82b78bb0022722e84be41e14c.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 06:46:06 | <abastro[m]> | Note that this operation is unlawful |
| 06:46:28 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 06:46:34 | <abastro[m]> | Since it violates lens laws when the two columns are the same parts |
| 06:48:33 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 06:50:19 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 06:52:00 | <jonathanx> | are the same parts? |
| 06:52:25 | <abastro[m]> | Same columns |
| 06:52:36 | → | deadmarshal_ joins (~deadmarsh@95.38.112.91) |
| 06:52:47 | → | monochrom joins (trebla@216.138.220.146) |
| 06:53:07 | <abastro[m]> | It is problematic when the two columns are the same columns of the matrix |
| 06:53:16 | <jonathanx> | okay, but if I combine two different columns then there should not be a problem right? |
| 06:53:24 | <abastro[m]> | Because you cannot distinguish which one you set |
| 06:53:27 | <abastro[m]> | Indeed. |
| 06:53:49 | <abastro[m]> | So, there is relevant lens combinator in Unsound module |
| 06:53:56 | <abastro[m]> | Let me recall the full name.. |
| 06:54:41 | <abastro[m]> | Control.Lens.Unsound |
| 06:55:24 | <abastro[m]> | You can work with `lensProduct` then combine 2 into one vector using Iso I guess |
| 06:59:03 | <jonathanx> | I'll look into it, thanks :) |
| 07:03:27 | × | razetime quits (~quassel@117.254.35.14) (Ping timeout: 276 seconds) |
| 07:07:51 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 07:18:23 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 07:23:59 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Ping timeout: 240 seconds) |
| 07:26:02 | → | joo-_ joins (~joo-_@80-62-116-228-mobile.dk.customer.tdc.net) |
| 07:26:03 | × | joo-_ quits (~joo-_@80-62-116-228-mobile.dk.customer.tdc.net) (Changing host) |
| 07:26:03 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 07:27:17 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 07:28:19 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 07:33:13 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 07:35:58 | <jonathanx> | Thank you, it worked out quite nicely! |
| 07:37:31 | → | razetime joins (~quassel@117.254.35.241) |
| 07:38:23 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:39:45 | <abastro[m]> | Good! =D |
| 07:40:44 | → | odnes joins (~odnes@5-203-167-164.pat.nym.cosmote.net) |
| 07:47:19 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 07:50:40 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 07:50:52 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 08:11:42 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 08:11:44 | → | Kevin578_ joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 08:12:10 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 08:12:34 | × | deadmarshal_ quits (~deadmarsh@95.38.112.91) (Ping timeout: 272 seconds) |
| 08:15:00 | × | chenqisu1 quits (~chenqisu1@183.217.203.102) (Quit: Leaving) |
| 08:18:08 | → | deadmarshal_ joins (~deadmarsh@95.38.112.91) |
| 08:18:51 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 08:21:12 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:21:41 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 08:22:15 | → | titibandit joins (~titibandi@xdsl-89-0-37-242.nc.de) |
| 08:22:45 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 08:23:00 | → | coot joins (~coot@213.134.190.95) |
| 08:23:20 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 08:24:00 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 08:32:50 | × | coot quits (~coot@213.134.190.95) (Ping timeout: 272 seconds) |
| 08:36:37 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 08:37:02 | → | pavonia joins (~user@user/siracusa) |
| 08:38:26 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 08:38:37 | × | titusg quits (~user@2a00:23c6:ab8a:3c00:4d5b:fb1b:c853:9282) (Remote host closed the connection) |
| 08:40:19 | × | Kevin578_ quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 08:40:31 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 08:40:35 | → | vorpuni joins (~pvorp@2001:861:3881:c690:4284:9da1:fed4:ffd5) |
| 08:43:36 | × | jinsun__ quits (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 08:43:38 | → | jinsun joins (~jinsun@user/jinsun) |
| 08:43:48 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 08:49:49 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:49:59 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 08:51:30 | → | tzh_ joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 08:51:42 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 08:57:10 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:00:08 | × | kevin[m] quits (~pnotequal@2001:470:69fc:105::a54) (Quit: You have been kicked for being idle) |
| 09:00:08 | × | cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Quit: You have been kicked for being idle) |
| 09:04:52 | → | dextaa4 joins (~dextaa@user/dextaa) |
| 09:10:50 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 09:14:59 | × | acidjnk_new quits (~acidjnk@p200300d0c73b4573454e68cab0ae2c9f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 09:16:56 | → | odnes_ joins (~odnes@5-203-167-164.pat.nym.cosmote.net) |
| 09:16:57 | × | odnes quits (~odnes@5-203-167-164.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 09:18:25 | <[exa]> | Is there any good tutorial/reading material that would support stuff implemented in recursion-schemes-ix ? |
| 09:18:37 | <[exa]> | ("recursion schemes over indexed functors") |
| 09:19:08 | <[exa]> | looks valid for one of my usecases but I can't decide if there's an overlap, guessing a bit of extra reading material might help |
| 09:20:58 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:27:47 | × | odnes_ quits (~odnes@5-203-167-164.pat.nym.cosmote.net) (Ping timeout: 246 seconds) |
| 09:27:50 | × | Core4993 quits (~Core4993@222.249.231.3) (Remote host closed the connection) |
| 09:30:20 | → | fr33domlover joins (~fr33@141.226.11.192) |
| 09:32:46 | → | odnes joins (~odnes@5-203-167-164.pat.nym.cosmote.net) |
| 09:36:24 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:36:59 | × | odnes quits (~odnes@5-203-167-164.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 09:39:56 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:45:03 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 09:46:55 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 09:48:33 | × | mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 276 seconds) |
| 09:49:30 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 09:49:54 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 09:51:50 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 09:53:20 | → | acidjnk joins (~acidjnk@p200300d0c73b4573454e68cab0ae2c9f.dip0.t-ipconnect.de) |
| 09:53:41 | → | abastro joins (~abab9579@192.249.26.196) |
| 09:53:57 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 09:58:19 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 240 seconds) |
| 09:58:19 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:58:48 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:58:58 | × | dcoutts_ quits (~duncan@host86-150-41-186.range86-150.btcentralplus.com) (Ping timeout: 272 seconds) |
| 09:59:39 | → | Midjak joins (~Midjak@82.66.147.146) |
| 10:00:45 | → | oxide joins (~lambda@user/oxide) |
| 10:02:47 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 10:02:55 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 10:05:01 | → | razetime_ joins (~quassel@117.254.35.241) |
| 10:05:08 | × | razetime_ quits (~quassel@117.254.35.241) (Client Quit) |
| 10:08:18 | → | xff0x_ joins (~xff0x@om126158190036.30.openmobile.ne.jp) |
| 10:11:12 | → | shiraeeshi joins (~shiraeesh@109.166.59.6) |
| 10:18:47 | → | kaph joins (~kaph@151.37.192.71) |
| 10:23:10 | → | Core4993 joins (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) |
| 10:26:22 | → | vysn joins (~vysn@user/vysn) |
| 10:28:40 | × | acidjnk quits (~acidjnk@p200300d0c73b4573454e68cab0ae2c9f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 10:29:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 10:31:00 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:33:51 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 10:39:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 10:39:41 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 10:41:28 | × | Core4993 quits (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) (Read error: Connection reset by peer) |
| 10:41:32 | → | dcoutts_ joins (~duncan@host86-150-41-186.range86-150.btcentralplus.com) |
| 10:41:42 | → | Core4993 joins (~Core4993@222.249.231.3) |
| 10:44:37 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 10:44:40 | × | sprout quits (~quassel@2a02-a467-ccd6-1-1ca0-7883-960c-afa4.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 10:47:35 | × | titibandit quits (~titibandi@xdsl-89-0-37-242.nc.de) (Ping timeout: 246 seconds) |
| 10:53:00 | × | kaph quits (~kaph@151.37.192.71) (Read error: Connection reset by peer) |
| 10:54:06 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 10:55:07 | → | jargon joins (~jargon@174-22-223-120.phnx.qwest.net) |
| 11:00:47 | × | wolfshappen quits (~waff@irc.furworks.de) (Quit: later) |
| 11:02:33 | × | gpncarl quits (~gpncarl@222.249.231.3) (Quit: WeeChat 3.4.1) |
| 11:02:46 | → | gpncarl joins (~gpncarl@222.249.231.3) |
| 11:02:59 | × | abastro quits (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 11:03:16 | <tomsmeding> | abastro[m]: https://play-haskell.tomsmeding.com/play now has dark mode |
| 11:03:46 | <geekosaur> | yay |
| 11:04:28 | <tomsmeding> | though the code syntax highlighting is still javascript lol |
| 11:07:11 | → | sprout joins (~quassel@2a02-a45f-f170-1-d440-811c-5d38-df76.fixed6.kpn.net) |
| 11:11:22 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 11:11:47 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 11:12:39 | × | fr33domlover quits (~fr33@141.226.11.192) (Ping timeout: 240 seconds) |
| 11:13:24 | → | fr33domlover joins (~fr33@2.52.77.70) |
| 11:13:29 | → | abastro joins (~abab9579@192.249.26.196) |
| 11:15:20 | × | acarrico1 quits (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (Ping timeout: 250 seconds) |
| 11:15:49 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 11:18:06 | → | fr33domlover_ joins (~fr33@141.226.11.192) |
| 11:18:08 | × | fr33domlover quits (~fr33@2.52.77.70) (Ping timeout: 272 seconds) |
| 11:18:23 | → | __monty__ joins (~toonn@user/toonn) |
| 11:20:14 | × | xff0x_ quits (~xff0x@om126158190036.30.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 11:23:52 | → | acidjnk joins (~acidjnk@p200300d0c73b45731d480a45a50d1d12.dip0.t-ipconnect.de) |
| 11:25:36 | → | xff0x_ joins (~xff0x@om126158190036.30.openmobile.ne.jp) |
| 11:26:12 | → | zincy joins (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) |
| 11:28:57 | → | nehsou^ joins (~nehsou@96-89-88-129-static.hfc.comcastbusiness.net) |
| 11:29:14 | × | abastro quits (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 11:29:24 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 11:31:45 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 11:32:38 | → | crazazy joins (~user@130.89.171.62) |
| 11:35:27 | → | phma_ joins (~phma@2001:5b0:212a:9cb8:383f:bd93:eb4e:975d) |
| 11:36:16 | → | abastro joins (~abab9579@192.249.26.196) |
| 11:36:51 | × | phma quits (phma@2001:5b0:211c:2208:de38:aa3a:26f9:1136) (Read error: Connection reset by peer) |
| 11:39:02 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:40:42 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:44:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 11:45:34 | → | jerry99 joins (~339ea9ea@cerf.good1.com) |
| 11:48:09 | × | nehsou^ quits (~nehsou@96-89-88-129-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 11:53:08 | × | abastro quits (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 11:54:42 | → | abastro joins (~abab9579@192.249.26.196) |
| 11:56:32 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:58:11 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 12:00:23 | × | shiraeeshi quits (~shiraeesh@109.166.59.6) (Ping timeout: 246 seconds) |
| 12:00:40 | × | jargon quits (~jargon@174-22-223-120.phnx.qwest.net) (Remote host closed the connection) |
| 12:01:18 | × | abastro quits (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 12:01:33 | → | jargon joins (~jargon@174-22-223-120.phnx.qwest.net) |
| 12:02:55 | × | razetime quits (~quassel@117.254.35.241) (Ping timeout: 256 seconds) |
| 12:07:41 | → | MajorBiscuit joins (~MajorBisc@c-001-011-047.client.tudelft.eduvpn.nl) |
| 12:10:28 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 12:10:48 | → | califax joins (~califax@user/califx) |
| 12:12:13 | → | zebrag joins (~chris@user/zebrag) |
| 12:12:55 | × | jargon quits (~jargon@174-22-223-120.phnx.qwest.net) (Remote host closed the connection) |
| 12:14:19 | × | sander quits (~sander@user/sander) (Ping timeout: 240 seconds) |
| 12:15:12 | → | sander joins (~sander@user/sander) |
| 12:26:02 | → | abastro joins (~abab9579@192.249.26.196) |
| 12:26:44 | × | abastro quits (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 12:28:35 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:29:15 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 12:29:24 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 12:29:39 | → | califax joins (~califax@user/califx) |
| 12:30:20 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 12:30:41 | × | caubert quits (~caubert@136.244.111.235) (Ping timeout: 256 seconds) |
| 12:30:50 | → | razetime joins (~quassel@117.254.34.198) |
| 12:30:58 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 12:31:39 | × | acidjnk quits (~acidjnk@p200300d0c73b45731d480a45a50d1d12.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 12:31:54 | → | caubert joins (~caubert@136.244.111.235) |
| 12:32:00 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:37:59 | → | abastro joins (~abab9579@192.249.26.196) |
| 12:38:00 | → | pera joins (~pera@user/pera) |
| 12:38:55 | × | abastro quits (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 12:40:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 12:44:30 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 12:46:51 | → | abastro joins (~abab9579@192.249.26.196) |
| 12:48:36 | → | dextaa42 joins (~dextaa@user/dextaa) |
| 12:50:10 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 12:50:39 | × | dextaa4 quits (~dextaa@user/dextaa) (Ping timeout: 240 seconds) |
| 12:50:39 | dextaa42 | is now known as dextaa4 |
| 12:55:16 | × | abastro quits (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 12:55:52 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 248 seconds) |
| 12:59:28 | × | dextaa4 quits (~dextaa@user/dextaa) (Ping timeout: 272 seconds) |
| 13:00:45 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:01:34 | → | abastro joins (~abab9579@192.249.26.196) |
| 13:01:59 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 13:05:15 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 13:07:03 | → | dextaa4 joins (~dextaa@user/dextaa) |
| 13:09:04 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 13:09:40 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:10:25 | × | abastro quits (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 13:10:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 13:13:02 | × | jerry99 quits (~339ea9ea@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 13:13:20 | × | dextaa4 quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 13:14:41 | → | dextaa4 joins (~dextaa@user/dextaa) |
| 13:14:50 | × | dextaa4 quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 13:15:48 | → | dextaa4 joins (~dextaa@user/dextaa) |
| 13:18:00 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:21:27 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 13:24:27 | × | Core4993 quits (~Core4993@222.249.231.3) (Read error: Connection reset by peer) |
| 13:24:46 | → | Core4993 joins (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) |
| 13:24:58 | × | Core4993 quits (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) (Read error: Connection reset by peer) |
| 13:25:11 | → | Core4993 joins (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) |
| 13:26:19 | × | Core4993 quits (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) (Read error: Connection reset by peer) |
| 13:38:09 | → | Pickchea joins (~private@user/pickchea) |
| 13:42:11 | × | pera quits (~pera@user/pera) (Quit: leaving) |
| 13:52:21 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 13:54:00 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 14:06:23 | → | coot joins (~coot@213.134.190.95) |
| 14:07:19 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 14:12:56 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 14:13:55 | → | andrey joins (~andrey@p200300dbcf4488004d3181a4567cdd4f.dip0.t-ipconnect.de) |
| 14:15:35 | × | andrey_ quits (~andrey@p200300dbcf3c0d0097a34303aa7c56ea.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 14:17:58 | → | vysn joins (~vysn@user/vysn) |
| 14:19:24 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:20:34 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:20:34 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:20:34 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:33:12 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds) |
| 14:34:30 | <abastro[m]> | tomsmeding: Cheers!!! |
| 14:34:46 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 14:35:28 | → | Core4993 joins (~Core4993@120.244.220.254) |
| 14:36:41 | → | coot joins (~coot@213.134.190.95) |
| 14:36:47 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 14:36:48 | × | Core4993 quits (~Core4993@120.244.220.254) (Client Quit) |
| 14:37:49 | → | Dslyexic joins (~Dslyexic@node-1w7jr9upi8kshj80883knja3d.ipv6.telus.net) |
| 14:39:04 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 14:40:26 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 14:41:04 | → | odnes joins (~odnes@5-203-219-132.pat.nym.cosmote.net) |
| 14:43:51 | phma_ | is now known as phma |
| 14:45:13 | × | vorpuni quits (~pvorp@2001:861:3881:c690:4284:9da1:fed4:ffd5) (Quit: bye) |
| 14:45:30 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::c90f) |
| 14:47:32 | → | vorpuni joins (~pvorp@2001:861:3881:c690:119e:5bf7:b034:3dc7) |
| 14:47:49 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 14:48:10 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 14:52:55 | × | pooryorick quits (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds) |
| 14:58:17 | × | Dslyexic quits (~Dslyexic@node-1w7jr9upi8kshj80883knja3d.ipv6.telus.net) (Remote host closed the connection) |
| 14:58:22 | × | haveo quits (~haveo@sl35.iuwt.fr) (Remote host closed the connection) |
| 15:00:30 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 15:05:27 | × | haveo quits (~haveo@sl35.iuwt.fr) (Remote host closed the connection) |
| 15:09:42 | → | pooryorick joins (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 15:09:52 | × | frost quits (~frost@user/frost) (Ping timeout: 252 seconds) |
| 15:10:30 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 15:12:11 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds) |
| 15:15:10 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 15:15:40 | × | odnes quits (~odnes@5-203-219-132.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 15:15:46 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 15:15:52 | → | odnes joins (~odnes@5-203-219-132.pat.nym.cosmote.net) |
| 15:15:57 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 15:16:34 | → | kmein joins (~weechat@user/kmein) |
| 15:18:33 | × | razetime quits (~quassel@117.254.34.198) (Remote host closed the connection) |
| 15:21:00 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 15:23:29 | <zebrag> | How do I setup `stack` system wide resolver? I do have a `~/.stack/global-project/stack.yaml` file, but should I edit it by hand? |
| 15:24:16 | <zebrag> | I'm just trying to upgrade pandoc, which is stuck to a very old version |
| 15:25:34 | × | dextaa4 quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 15:26:09 | <napping> | I don't know how to do that, but if you just want to build a newer pandoc cabal install should work |
| 15:27:49 | <zebrag> | yeah, it's just I digged out some stack command for pandoc from my bash history, so I want to reuse it. I'll edit the stack.yaml file by hand |
| 15:30:14 | <napping> | Ah, if you did install with stack in the first place that sounds good. I was trying to get ghc-core the other day and found it wasn't even in any stackage revisions |
| 15:30:18 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 15:33:04 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 15:33:19 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 15:33:41 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 15:33:54 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 15:34:19 | → | neurocyte8614492 joins (~neurocyte@IP-195080054226.dynamic.medianet-world.de) |
| 15:34:20 | × | neurocyte8614492 quits (~neurocyte@IP-195080054226.dynamic.medianet-world.de) (Changing host) |
| 15:34:20 | → | neurocyte8614492 joins (~neurocyte@user/neurocyte) |
| 15:35:35 | <zebrag> | Initially I just wanted to "build" some pdf documentation file. The whole process already has installed GB of dependencies, and worked my cpu to its limits for an almost an hour |
| 15:35:51 | <tomsmeding> | pandoc is not the lightest binary :p |
| 15:35:59 | <tomsmeding> | s/binary/library/ |
| 15:36:02 | <napping> | Did that pull in TeX too? |
| 15:36:23 | <tomsmeding> | there may be a pandoc in your system package manager too, just in case |
| 15:36:41 | <zebrag> | I think I already had tex, otherwise it'd been endless |
| 15:36:56 | <zebrag> | it's not all done yet |
| 15:36:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 15:37:16 | <napping> | Ah, being able to reuse more compiled packages is nice part of stack |
| 15:37:45 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:38:08 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 15:38:11 | <zebrag> | I need a bigger computer |
| 15:39:06 | <tomsmeding> | zebrag: https://tomsmeding.com/ss/get/tomsmeding/bv3cAL |
| 15:40:28 | <zebrag> | yeah, I'm sure I could have pulled it out of debian packages, but I've got standards |
| 15:40:47 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 15:41:14 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 15:41:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:42:14 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
| 15:42:16 | <zebrag> | what is that tool you are using, it's rater cute |
| 15:43:06 | <tomsmeding> | htop |
| 15:43:17 | <tomsmeding> | (this is a university machine, don't have that at home lol) |
| 15:45:08 | → | boxscape_ joins (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 15:50:32 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 15:53:23 | <boxscape_> | % () |
| 15:53:26 | <boxscape_> | hm what happened to yahb? |
| 15:53:42 | <tomsmeding> | rip yahb |
| 15:53:57 | <tomsmeding> | play-haskell.tomsmeding.com needs ghci functionality |
| 15:54:13 | <boxscape_> | that does sound like it would be neat |
| 15:54:22 | <tomsmeding> | stretch goal though :p |
| 15:54:34 | <boxscape_> | understandable |
| 15:55:51 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 15:56:39 | → | dextaa4 joins (~dextaa@user/dextaa) |
| 15:59:01 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 16:00:10 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: You have been kicked for being idle) |
| 16:03:55 | <geekosaur> | mm, mniip isn't around either |
| 16:04:18 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 16:05:29 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 16:08:17 | × | xff0x_ quits (~xff0x@om126158190036.30.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 16:11:39 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 16:14:20 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 250 seconds) |
| 16:24:40 | × | neurocyte8614492 quits (~neurocyte@user/neurocyte) (Ping timeout: 272 seconds) |
| 16:27:20 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:30:21 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 16:32:14 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:37:43 | × | qy quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 16:37:53 | → | ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 16:39:14 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 16:42:11 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 16:44:41 | → | jinsun joins (~jinsun@user/jinsun) |
| 16:44:52 | × | mbuf quits (~Shakthi@122.162.69.23) (Quit: Leaving) |
| 16:46:50 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:47:46 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:48:02 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 16:52:03 | × | cdman quits (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 16:58:14 | × | dextaa4 quits (~dextaa@user/dextaa) (Ping timeout: 246 seconds) |
| 17:04:41 | → | titibandit joins (~titibandi@xdsl-89-0-37-242.nc.de) |
| 17:04:47 | × | sprout quits (~quassel@2a02-a45f-f170-1-d440-811c-5d38-df76.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 17:05:20 | → | hololeap joins (~hololeap@user/hololeap) |
| 17:08:13 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:09:04 | → | azimut_ joins (~azimut@gateway/tor-sasl/azimut) |
| 17:10:08 | → | econo joins (uid147250@user/econo) |
| 17:11:34 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 17:12:48 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 17:12:59 | fendor__ | is now known as fendor |
| 17:14:01 | × | boxscape_ quits (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 17:14:43 | → | boxscape_ joins (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 17:15:40 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:15:45 | → | shiraeeshi joins (~shiraeesh@109.166.59.6) |
| 17:16:05 | <Andrew> | Any ideas/packages to help create an async tcp server? |
| 17:16:56 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:19:23 | fr33domlover_ | is now known as fr33domlover |
| 17:20:23 | → | f-a joins (f2a@f2a.jujube.ircnow.org) |
| 17:20:49 | <f-a> | hello. windows question: I am invoking ghci (9.2.2) with ghci -with-rtsopts=--io-manager=native |
| 17:21:01 | → | alp_ joins (~alp@user/alp) |
| 17:21:05 | <f-a> | but it still errors on |
| 17:21:06 | <f-a> | ghci> putStrLn "→" |
| 17:21:06 | <f-a> | *** Exception: <stdout>: hPutChar: invalid argument (invalid character) |
| 17:22:56 | <geekosaur> | hm. should you be using -with-rtsopts or +RTS? |
| 17:23:30 | → | sprout joins (~quassel@2a02-a467-ccd6-1-5483-9565-9dfd-ed25.fixed6.kpn.net) |
| 17:23:32 | <f-a> | geekosaur: how would I invoke ghc w/ +RTS? |
| 17:24:27 | <geekosaur> | ghc understands +RTS. I'm not sureif the Windows wrapper for ghci will do the right thing with it though, might need to use ghc --interactive directly |
| 17:24:42 | <geekosaur> | hrm, Phyx isn't in here |
| 17:25:00 | <geekosaur> | I don't have Windows so I can't test it locally |
| 17:25:04 | <exarkun> | Andrew: Which part are you stuck on? |
| 17:26:00 | <EvanR> | Andrew, sounds obvious but... 'async' xD |
| 17:26:07 | <EvanR> | (the library) |
| 17:26:09 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 17:26:50 | <dsal> | i.e., you don't make an async service a la libev or whatever. |
| 17:28:44 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 17:28:46 | <f-a> | ghc --interactive -with-rtsopts=--io-manager=native ← still errors, geekosaur , I will try to send my friend a cabal project and see if it works |
| 17:29:10 | <geekosaur> | with that one you definitely want +RTS instead of -with-rtsopts |
| 17:29:24 | <geekosaur> | -with-rtsopts applies to a program you compile with ghc, not to ghc itself |
| 17:29:45 | <f-a> | ah I see |
| 17:31:00 | <geekosaur> | it basically bakes in a +RTS to a program |
| 17:31:10 | × | titibandit quits (~titibandi@xdsl-89-0-37-242.nc.de) (Ping timeout: 272 seconds) |
| 17:33:04 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 17:34:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:37:35 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:b841:3aa3:64b1:7cea) |
| 17:40:08 | → | vicfred joins (~vicfred@user/vicfred) |
| 17:41:48 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:44:17 | <Andrew> | I see, thanks |
| 17:48:15 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 17:50:19 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 17:51:03 | × | zincy quits (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) (Remote host closed the connection) |
| 17:52:39 | × | qhong quits (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
| 17:53:07 | × | mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 256 seconds) |
| 17:53:58 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:55:16 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 18:01:00 | × | ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 18:01:09 | → | ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 18:03:19 | × | deadmarshal_ quits (~deadmarsh@95.38.112.91) (Ping timeout: 240 seconds) |
| 18:14:16 | <zebrag> | 3GB later, hours of cpu, `aptitude install texlive-xetex`, I'm sure I'll have my pdf soon, if I don't run out of disk space before. I have to move tex/latex in user space, not enough room in "root" partition |
| 18:14:44 | ← | f-a parts (f2a@f2a.jujube.ircnow.org) () |
| 18:15:01 | <dsal> | If you use nixos, you can use tex without even intalling it! |
| 18:15:59 | <monochrom> | What magic is that? Can I also use GHC without installing it? |
| 18:16:39 | → | mixfix41 joins (~sdenyninn@user/mixfix41) |
| 18:16:40 | <exarkun> | just flexible definition of "install" |
| 18:16:42 | <zebrag> | my nixos laptop is in the cupboard, not enough room on my desk to put it on |
| 18:17:05 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:17:13 | <monochrom> | Haha you run out of room on both your desktop and your desktop |
| 18:17:21 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 18:17:53 | <monochrom> | Achievement unlock: Both logical and physical space exhaustion. |
| 18:17:55 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 18:18:04 | <hpc> | that's the nice thing about laptops |
| 18:18:04 | <exarkun> | in this project I started w/ cabal, I am getting away with `data (HasThings t, HasContainment c) => BigWorld t c = BigWorld` but when I extract this while trying to produce a minimal example of something, bare `ghc ...` tells me it is illegal. what's going on? |
| 18:18:10 | <hpc> | but they're really hard to use with a standing desk :P |
| 18:19:23 | <sclv> | missing some ghc extensions enabled in the extracted bit? |
| 18:19:45 | <geekosaur> | ugh, don't use DatatypeContexts |
| 18:20:03 | <exarkun> | sclv: I mean, I guess so, but I didn't turn DatatypeContexts on in my cabal file |
| 18:20:22 | <exarkun> | ghc suggests I turn it on, then when I turn it on with a pragma, it tells me it is deprecated and I shouldnt use it :) |
| 18:20:27 | <geekosaur> | Haskell98? |
| 18:20:45 | <exarkun> | cabal file says `default-language: Haskell2010` |
| 18:20:58 | <exarkun> | What does `ghc Some.hs` do? |
| 18:21:39 | <exarkun> | I wonder (1) why cabal is giving me this extension (and w/o the deprecation warning) and (2) why DatatypeContexts is bad and (3) what I should do instead |
| 18:22:02 | → | xkuru joins (~xkuru@user/xkuru) |
| 18:22:15 | <geekosaur> | DatatypeContexts is bad because it only does something during construction; you can't recover the conmtext with pattern matching |
| 18:22:42 | <geekosaur> | whihc makes it close to useless (some would argue worse than useless; SPJ calls it "stupid theta") |
| 18:22:48 | → | carl joins (~gpncarl@120.244.220.254) |
| 18:23:53 | × | carl quits (~gpncarl@120.244.220.254) (Client Quit) |
| 18:24:22 | <geekosaur> | you can get a working version with GADTs |
| 18:25:40 | <geekosaur> | I can't answer (1) |
| 18:25:58 | <geekosaur> | (or reproduce it, for that matter) |
| 18:27:48 | → | zincy joins (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) |
| 18:28:43 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 18:29:40 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:33:57 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 18:35:14 | <exarkun> | refreshing my memory of GADTs now |
| 18:36:29 | → | tzxun joins (~tzxun@183.128.119.95) |
| 18:38:20 | <tomsmeding> | `data BigWorld t c where BigWorld :: (HasThings t, HasContainment c) => BigWorld t c` |
| 18:39:10 | <tomsmeding> | the notation is nicely (and accurately, in fact) suggestive that the context becomes a field in the data type this way |
| 18:39:19 | ← | tzxun parts (~tzxun@183.128.119.95) () |
| 18:39:51 | → | gawen joins (~gawen@user/gawen) |
| 18:39:56 | <hpc> | it also has some nice parallels with type class definitions |
| 18:40:12 | → | tzxun joins (~tzxun@183.128.119.95) |
| 18:40:16 | <hpc> | and it's (imo) a bit easier to learn than regular syntax |
| 18:40:43 | <tomsmeding> | opinions differ on the latter point :) |
| 18:40:44 | <hpc> | data Type type = Value Type | Value type | ... |
| 18:40:59 | × | tzxun quits (~tzxun@183.128.119.95) (Quit: Leaving) |
| 18:41:33 | → | tzxun joins (~tzxun@183.128.119.95) |
| 18:41:51 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 18:42:25 | × | simeon quits (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 18:43:02 | × | tzxun quits (~tzxun@183.128.119.95) (Client Quit) |
| 18:48:18 | → | coot joins (~coot@213.134.190.95) |
| 18:48:33 | → | tzxun joins (~Thunderbi@183.128.119.95) |
| 18:51:02 | × | tzxun quits (~Thunderbi@183.128.119.95) (Quit: tzxun) |
| 18:51:26 | → | tzxun joins (~tzxun@183.128.119.95) |
| 18:51:34 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:51:40 | × | fr33domlover quits (~fr33@141.226.11.192) (Quit: fr33domlover) |
| 18:53:00 | × | tzxun quits (~tzxun@183.128.119.95) (Client Quit) |
| 18:53:03 | → | gensyst joins (gensyst@user/gensyst) |
| 18:53:13 | → | redb joins (~nmh@136.49.49.211) |
| 18:53:36 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 18:53:53 | → | simeon joins (~pi@dslb-088-078-150-105.088.078.pools.vodafone-ip.de) |
| 18:55:26 | <gensyst> | If this question makes any sense, look forward to answers: Creating a typeclass with data types as instances of that type class VERSUS a bit more complex data type with type parameters and records where the "instances" are just new values of that data type (with each "instance creation function" simply having whatever parameters makes sense). |
| 18:55:49 | <gensyst> | It seems it's sometimes not clear which design pattern to pick :S |
| 18:57:00 | <tomsmeding> | one is open-world (advantage: anyone can add new instances; disadvantage: no exhaustive case analysis), the other is closed-world (advantage: you know for sure what the full list of cases is; disadvantage: not extensible without access to the declaration) |
| 18:57:56 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 18:58:00 | <gensyst> | tomsmeding, how do you know this stuff lol :D |
| 18:58:07 | <gensyst> | thanks! |
| 18:58:11 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 18:58:12 | <hpc> | this is a fairly common question |
| 18:58:16 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 18:58:22 | <tomsmeding> | is this not also "the expression problem" |
| 18:58:39 | <tomsmeding> | that the big brains of FP have been thinking about since the inception of FP |
| 18:58:51 | <hpc> | usually you want the data type approach though |
| 18:58:54 | <hpc> | for example, Handle |
| 18:58:58 | → | anomal joins (~anomal@87.227.196.109) |
| 18:59:08 | <tomsmeding> | and every few years someone designs a construction where you can have both somehow, and somehow it's always less convenient in practice than one of the two |
| 18:59:08 | <hpc> | it can be an open file, an open network connection, etc |
| 18:59:18 | <hpc> | but they all have send, receive, and close |
| 18:59:22 | <tomsmeding> | +1 if a data type works, probably a data type is nicest |
| 18:59:38 | <hpc> | and you want to be able to mix and match, so they all have to be Handle if you want to make a [Handle] |
| 18:59:42 | → | vicfred joins (~vicfred@user/vicfred) |
| 19:00:37 | → | redb joins (~nmh@136.49.49.211) |
| 19:01:28 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:05:32 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 19:05:38 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 19:06:33 | × | ubert quits (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Quit: ubert) |
| 19:06:46 | → | redb joins (~nmh@136.49.49.211) |
| 19:07:37 | <gensyst> | I still don't get when you should pick which :) |
| 19:07:45 | <gensyst> | I guess it's a hard decision sometimes! |
| 19:08:58 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::c90f) (Ping timeout: 250 seconds) |
| 19:09:13 | <tomsmeding> | gensyst: another important difference: with type classes, there's exactly one implementation per "constructor" |
| 19:09:25 | <tomsmeding> | because you cannot have two different instances of the same class for the same type |
| 19:09:48 | <tomsmeding> | in return for that restriction, you don't have to explicitly pass the objects around, it gets done implicitly using type class resolution |
| 19:10:03 | <EvanR> | usually if it seems like both would work, but you feel that you should go with type class "because it's there", you probably should go with a data type xD |
| 19:10:05 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 19:11:08 | <EvanR> | type classes work well when they take the place of some kind of mathematical thing that would have an annoying context passed around everywhere |
| 19:11:32 | <EvanR> | that is invisible in actual math because of the power of clever notation |
| 19:18:44 | <gensyst> | tomsmeding, aaaah. when you said "list of cases", you're probably talking about sum types. yet i didn't even have in mind sum types at all. i was talking about a single type with one value constructor. the function creating values of this type can have a bunch of parameters (for purposes of populating the records). |
| 19:18:58 | <gensyst> | so in this case, there is no question of "knowing all cases" benefit. |
| 19:19:09 | <tomsmeding> | ah, there would be only one instance anyway? |
| 19:19:32 | <tomsmeding> | (yes, I was thinking about sum types :p) |
| 19:19:43 | <tomsmeding> | If there would only be one case, this is exactly what record types are for |
| 19:19:48 | <tomsmeding> | use a record type :p |
| 19:19:53 | <gensyst> | sure at the type level, but in practice you can create a bunch of instances because the records can be FUNCTIONS |
| 19:20:04 | <gensyst> | man... so much flexibility |
| 19:20:06 | <gensyst> | no idea which to use |
| 19:20:13 | <tomsmeding> | I'm not sure I follow there |
| 19:20:24 | <tomsmeding> | a function is still a single value, right? |
| 19:20:36 | <tomsmeding> | if you say "the records", do you mean "the record fields" or something else? |
| 19:20:39 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:20:42 | <gensyst> | yes, record fields |
| 19:20:57 | <tomsmeding> | data MyThing = MyThing { field1 :: a -> b, field2 :: Int |
| 19:20:58 | <tomsmeding> | } |
| 19:21:11 | <tomsmeding> | what's wrong with functions in a record |
| 19:22:39 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 19:24:32 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 19:25:56 | <gensyst> | Nothing, but the question is more when to pick |
| 19:25:56 | <gensyst> | data Beast beast = Beast { initBeast :: IO (), echoBeast :: IO String } and later niceBeast :: Int Double Float String -> Beast VERSUS |
| 19:25:56 | <gensyst> | class Beast a where and make a NiceBeast instance of Beast. |
| 19:26:25 | <gensyst> | (with all those Int, Double, Float, String being records of NiceBeast) |
| 19:26:43 | <tomsmeding> | s/records/record fields/? |
| 19:26:50 | <gensyst> | yeah |
| 19:26:52 | <tomsmeding> | the record is the entire thing :p |
| 19:27:12 | <hpc> | do you need the type variable? |
| 19:27:44 | <gensyst> | hpc, in that example nope, sorry about that |
| 19:27:49 | <tomsmeding> | given the example, I feel like it makes no sense to go with a type class here, because there is not by definition only one possible value of Beast |
| 19:28:29 | → | laolmtdea^ joins (~laolmtdea@50.227.69.228) |
| 19:28:42 | <tomsmeding> | oh your point is that the different instantiations would be different instances, _NOW_ I get it lol |
| 19:29:16 | <hpc> | i mean, once you are done with the type |
| 19:29:18 | <tomsmeding> | yes for sure a record, not a type class |
| 19:29:22 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 19:29:22 | <gensyst> | and also that I could do badBeast :: Double -> Double -> Double -> Beast |
| 19:29:36 | <tomsmeding> | because if you go with a type class, you will have to communicate to functions what instance you want them to use |
| 19:29:43 | <tomsmeding> | hence you need some kind of tag type to put the instance on |
| 19:29:50 | <tomsmeding> | so you're passing around a data value anyhow |
| 19:30:01 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:30:40 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 19:30:51 | → | redb joins (~nmh@136.49.49.211) |
| 19:31:06 | <Unhammer> | https://i.imgur.com/hpTMCxF.png searched for haskell brick :D |
| 19:31:12 | <tomsmeding> | if you want you can even use -XRecordWildCards so that you can write `f Beast{..} = ... {- can simply use 'echoBeast' here, which references the field from the parameter -}` |
| 19:31:41 | <tomsmeding> | Unhammer: https://www.haskellfoundation.org/ |
| 19:32:18 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 19:32:37 | <tomsmeding> | gensyst: "and also that I could do badBeast :: Double -> Double ->Double -> |
| 19:32:40 | <tomsmeding> | oops |
| 19:32:57 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Client Quit) |
| 19:33:05 | <tomsmeding> | but re that line: only with the data type version, with the type class version you'd need to make `data BadBeast = BadBeast; instance Beast BadBeast where ...` |
| 19:34:28 | <gensyst> | well, data BadBeast = BadBeast { arm1 :: Double, arm2 :: Double, arm3 :: Double }; instance Beast BadBeast where |
| 19:34:38 | <gensyst> | so in a way function parameters go into record fields |
| 19:34:41 | <gensyst> | hmmmmmm |
| 19:34:44 | <tomsmeding> | true |
| 19:34:57 | <tomsmeding> | still, go with data type until you notice that it really doesn't work |
| 19:35:00 | <Rembane> | Unhammer: That's a good find! :) |
| 19:35:09 | <tomsmeding> | in most cases data types are nicer to work with |
| 19:35:17 | <tomsmeding> | (if you have the choice) |
| 19:36:09 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 19:36:54 | → | redb joins (~nmh@136.49.49.211) |
| 19:37:45 | <gensyst> | tomsmeding, it feels to me like "badBeast :: Double -> Double -> Double -> Beast" would be just thunks sitting there as opposed to " data BadBeast = BadBeast { arm1 :: Double, arm2 :: Double, arm3 :: Double }" which are full-fledged things in memory (not that this makes any huge difference) |
| 19:37:49 | <Unhammer> | tomsmeding haha good one |
| 19:38:08 | <tomsmeding> | gensyst: 0 difference in thunk behaviour |
| 19:38:28 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 19:38:46 | <tomsmeding> | also the two things you're giving are not alternatives of each other? |
| 19:38:48 | <hpc> | how about data Beast = Beast {..., bad :: Bool} |
| 19:38:53 | <Unhammer> | The 4th Annual Haskell Foundation Golf Classic |
| 19:39:25 | <Unhammer> | (was looking to compare brick with https://www.textualize.io/ ) |
| 19:40:05 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 19:42:17 | × | odnes quits (~odnes@5-203-219-132.pat.nym.cosmote.net) (Quit: Leaving) |
| 19:43:36 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:43:59 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.5) |
| 19:44:41 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 19:44:59 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 19:45:19 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 19:45:28 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 19:46:25 | → | pavonia joins (~user@user/siracusa) |
| 19:49:34 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 19:51:44 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 19:53:04 | → | acidjnk joins (~acidjnk@p200300d0c73b4573e8a6f1626a35c03c.dip0.t-ipconnect.de) |
| 19:54:40 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 19:55:27 | → | titibandit joins (~titibandi@xdsl-89-0-37-242.nc.de) |
| 19:55:51 | → | redb joins (~nmh@136.49.49.211) |
| 19:56:38 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 19:56:39 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 19:56:55 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:00:35 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 20:02:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:05:06 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 20:05:19 | → | acarrico1 joins (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) |
| 20:09:12 | → | deadmarshal_ joins (~deadmarsh@95.38.112.91) |
| 20:09:58 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 20:12:13 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 20:13:56 | × | deadmarshal_ quits (~deadmarsh@95.38.112.91) (Ping timeout: 272 seconds) |
| 20:14:42 | → | haskellberry joins (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 20:14:52 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 20:15:19 | × | laolmtdea^ quits (~laolmtdea@50.227.69.228) (Remote host closed the connection) |
| 20:17:06 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 20:18:19 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 20:19:09 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:21:08 | → | fendor_ joins (~fendor@178.115.54.135.wireless.dyn.drei.com) |
| 20:21:31 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: WeeChat 3.0) |
| 20:22:06 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 20:22:50 | <shiraeeshi> | I've installed haskell-language-server and I'm trying to use it with ircbrowse project to see if it works |
| 20:23:19 | × | fendor quits (~fendor@178.115.77.64.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 20:23:26 | × | boxscape_ quits (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 20:23:44 | <shiraeeshi> | when I run "haskell-language-server-wrapper" command from inside the project folder, it gives me the error |
| 20:24:00 | → | redb joins (~nmh@136.49.49.211) |
| 20:24:27 | <tomsmeding> | shiraeeshi: what error |
| 20:24:50 | <shiraeeshi> | the source of error is the command "cabal v2-exec ghc -v0 -- --numeric-version" (I shortened it a bit) |
| 20:25:03 | <shiraeeshi> | cabal: Could not resolve dependencies: |
| 20:25:17 | <tomsmeding> | full output in a paste perhaps? |
| 20:25:18 | <tomsmeding> | @where paste |
| 20:25:19 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 20:25:31 | <tomsmeding> | (because it works for me) |
| 20:25:51 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:25:52 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:25:52 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:26:23 | <shiraeeshi> | here is the output |
| 20:26:24 | <shiraeeshi> | https://paste.tomsmeding.com/gae89eFT |
| 20:26:50 | <tomsmeding> | ah |
| 20:26:55 | <tomsmeding> | git submodule update --init --recursive |
| 20:27:49 | <shiraeeshi> | tried it, the error persists |
| 20:28:06 | <tomsmeding> | does a 'cabal build' work? |
| 20:28:07 | <geekosaur> | base 4.9?? |
| 20:28:09 | <shiraeeshi> | perhaps it's caused by version mismatch? |
| 20:28:22 | <shiraeeshi> | I'm running it with cabal-3.4 |
| 20:28:24 | <tomsmeding> | clogparse should be vendored in with a submodule, the hackage version is mega old |
| 20:28:30 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 20:28:48 | <tomsmeding> | oh wait it's not even a submodule, it's just in the tree |
| 20:28:59 | <tomsmeding> | is HLS not seeing the cabal.project or something |
| 20:29:04 | <geekosaur> | [__1] rejecting: base-4.9.1.0/installed-4.9.1.0 (constraint from project config TODO requires ==4.14.3.0) |
| 20:29:26 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 20:29:27 | × | zincy quits (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) (Remote host closed the connection) |
| 20:29:28 | <tomsmeding> | /upstream/clogparse/clogparse.cabal has an updated version |
| 20:29:33 | <tomsmeding> | and /cabal.project refers to it |
| 20:30:54 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 20:31:07 | <tomsmeding> | OH |
| 20:31:10 | <geekosaur> | as I read that, installed base version 4.9 which corresponds to ghc 8.0 |
| 20:31:18 | <tomsmeding> | shiraeeshi: I suddenly realise you're probably using chrisdone's original repo |
| 20:31:21 | <tomsmeding> | that's mega old |
| 20:31:33 | <tomsmeding> | shiraeeshi: https://github.com/tomsmeding/ircbrowse is the version that's currently running |
| 20:31:44 | <shiraeeshi> | tomsmeding, no, I'm using your version |
| 20:31:48 | <tomsmeding> | ah |
| 20:32:04 | <shiraeeshi> | I've used stack before |
| 20:32:05 | → | Pickchea joins (~private@user/pickchea) |
| 20:32:15 | → | redb joins (~nmh@136.49.49.211) |
| 20:32:28 | <shiraeeshi> | I've installed cabal and ghc today |
| 20:32:53 | <tomsmeding> | if I literally do 'git clone git@github.com:tomsmeding/ircbrowse; cd ircbrowse; haskell-language-server-wrapper' then it works |
| 20:32:57 | <tomsmeding> | ghc 8.10.7 |
| 20:34:29 | <shiraeeshi> | "ghc -- --version" outputs 8.0.2 |
| 20:34:36 | <tomsmeding> | O.o |
| 20:34:39 | <tomsmeding> | please upgrade lol |
| 20:34:53 | <tomsmeding> | so that's where the 4.9 comes from |
| 20:34:59 | <tomsmeding> | how did you install ghc? |
| 20:35:57 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 20:35:59 | <shiraeeshi> | apt install ghc-8.8 |
| 20:36:10 | <tomsmeding> | why does ghc-8.8 give ghc-8.0 |
| 20:36:14 | <shiraeeshi> | but I think I've installed an older version before |
| 20:36:18 | <tomsmeding> | right |
| 20:36:28 | <tomsmeding> | scour all ghcs from your system and use ghcup |
| 20:36:30 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 20:36:34 | → | zincy joins (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) |
| 20:36:36 | <tomsmeding> | or use hvr's ppa I think |
| 20:37:23 | <tomsmeding> | hm the ppa only goes to 8.10.4, but that should also work I guess (but use ghcup if you're at all willing to do so) |
| 20:38:34 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:38:42 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:38:59 | × | titibandit quits (~titibandi@xdsl-89-0-37-242.nc.de) (Ping timeout: 240 seconds) |
| 20:40:52 | → | mshiraeeshi joins (~shiraeesh@109.166.57.76) |
| 20:40:58 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:41:01 | <mshiraeeshi> | now it gives the same error, but with base-4.13.0.0 instead of 4.9 |
| 20:42:01 | <tomsmeding> | mshiraeeshi: right, because you're using ghc-8.8 instead of 8.10.7; you can try 'rm cabal.project.freeze' and then try again |
| 20:42:10 | <tomsmeding> | may work, 8.8 should be recent enough |
| 20:42:37 | <tomsmeding> | (the freeze file pins all dependencies, including 'base' which as a side effect pins the GHC version -- see also https://wiki.haskell.org/Base_package ) |
| 20:43:11 | <mshiraeeshi> | now it says "unknown package: timezone-series (dependency of clogparse)" |
| 20:43:26 | × | shiraeeshi quits (~shiraeesh@109.166.59.6) (Ping timeout: 250 seconds) |
| 20:43:30 | <tomsmeding> | https://hackage.haskell.org/package/timezone-series |
| 20:43:34 | <tomsmeding> | have you run 'cabal update'? |
| 20:43:41 | <mshiraeeshi> | no |
| 20:43:47 | <tomsmeding> | ah, you have to, at least once |
| 20:44:03 | <tomsmeding> | then it downloads the list of packages from hackage so that it knows what exists |
| 20:44:35 | <tomsmeding> | (and at what versions -- so if something requires a package version newer than what was available the last time you ran 'cabal update', you may need to run it again) |
| 20:45:10 | → | dextaa4 joins (~dextaa@user/dextaa) |
| 20:45:12 | <tomsmeding> | stack automatically downloads whatever snapshot a stack.yaml prescribes; cabal doesn't automatically download the package index for some reason |
| 20:45:50 | <geekosaur> | it does print a warning if it's missing or old |
| 20:46:11 | <tomsmeding> | maybe it got lost in the output that HLS-wrapper also puts out |
| 20:46:26 | <mshiraeeshi> | I've run out of space while updating, I need to free some |
| 20:46:30 | <tomsmeding> | :') |
| 20:46:37 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 20:47:08 | <tomsmeding> | mshiraeeshi: make 1GiB free or something |
| 20:47:40 | <tomsmeding> | ircbrowse itself including compiled products is ~200MiB, and there's a bunch of dependencies as well that it puts in ~/.cabal that I don't know the sizes of |
| 20:47:43 | → | redb joins (~nmh@136.49.49.211) |
| 20:48:12 | <tomsmeding> | note also, in case you weren't aware, that ircbrowse requires a running instance of postgresql that needs to be set up with a user account in some manner |
| 20:48:41 | <tomsmeding> | (I don't like its dependency on postgresql precisely because it's annoying to set up quickly, but I haven't gotten around to removing that dependency yet) |
| 20:49:19 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 20:49:42 | <mshiraeeshi> | I can check that postgresql credentials in configs, right? |
| 20:49:59 | <tomsmeding> | there's instructions in README.md |
| 20:50:17 | <tomsmeding> | (oh I see that still references stack lol) |
| 20:50:29 | × | acarrico1 quits (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 20:50:34 | <tomsmeding> | (well, maybe stack still works, I haven't tried in a while) |
| 20:50:39 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:51:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:51:07 | <tomsmeding> | but editing and compiling ircbrowse should work of course, it will just throw an error at runtime if there's no postgresql |
| 20:52:11 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 20:53:22 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:54:02 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 20:55:44 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 20:56:18 | → | redb joins (~nmh@136.49.49.211) |
| 20:56:19 | × | dextaa4 quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 20:56:26 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:57:00 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::c90f) |
| 20:58:26 | × | gensyst quits (gensyst@user/gensyst) (Quit: Leaving) |
| 20:59:15 | <tomsmeding> | (I'm off to bed) |
| 21:00:55 | <mshiraeeshi> | thanks for the help, I'm freeing some space, gonna try after |
| 21:01:53 | → | dextaa4 joins (~dextaa@user/dextaa) |
| 21:03:54 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 276 seconds) |
| 21:03:59 | × | vorpuni quits (~pvorp@2001:861:3881:c690:119e:5bf7:b034:3dc7) (Ping timeout: 240 seconds) |
| 21:08:39 | × | MajorBiscuit quits (~MajorBisc@c-001-011-047.client.tudelft.eduvpn.nl) (Ping timeout: 240 seconds) |
| 21:08:51 | → | kaph joins (~kaph@fi-19-197-87.service.infuturo.it) |
| 21:10:43 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 21:11:11 | → | Brandon_IX joins (~brandon@178-79-138-117.ip.linodeusercontent.com) |
| 21:11:34 | × | dextaa4 quits (~dextaa@user/dextaa) (Ping timeout: 272 seconds) |
| 21:12:04 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 21:12:14 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 21:15:30 | → | vicfred joins (~vicfred@user/vicfred) |
| 21:16:12 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 21:16:35 | × | zincy quits (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) (Remote host closed the connection) |
| 21:18:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 21:19:10 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 21:19:15 | × | vicfred quits (~vicfred@user/vicfred) (Client Quit) |
| 21:20:54 | → | mmhat joins (~mmh@55d4c572.access.ecotel.net) |
| 21:20:56 | → | vicfred joins (~vicfred@user/vicfred) |
| 21:21:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 21:22:04 | × | theproffesor quits (~theprofff@user/theproffesor) (Read error: Connection reset by peer) |
| 21:22:20 | × | haskellberry quits (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 21:25:03 | → | hololeap joins (~hololeap@user/hololeap) |
| 21:25:27 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 21:28:43 | <Brandon_IX> | is it possible to write a list comprehension that lists all possible pairs of numbers in a list without including a pairs made up of the same element |
| 21:28:51 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 21:29:11 | <Brandon_IX> | I'm not sure if that's a clear enough question |
| 21:29:28 | <exarkun> | You want to exclude the diagonal from top left to bottom right, sounds like? |
| 21:29:38 | <Brandon_IX> | exarkun: yeah |
| 21:29:39 | → | zmv joins (~zmv@2804:431:c7f2:dad8:449e:66e7:6a42:644) |
| 21:29:53 | <exarkun> | it is surely possible. the real question is how many different ways can #haskell imagine to do it. |
| 21:30:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 21:30:58 | <Brandon_IX> | exarkun: okay, ill give it another go and come back, thanks |
| 21:31:09 | <exarkun> | :) |
| 21:32:30 | × | kaskal quits (~kaskal@2001:4bb8:2e0:b5bd:e3c0:d71b:f32:84d8) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:32:30 | × | mshiraeeshi quits (~shiraeesh@109.166.57.76) (Read error: Connection reset by peer) |
| 21:37:43 | × | kaph quits (~kaph@fi-19-197-87.service.infuturo.it) (Read error: Connection reset by peer) |
| 21:39:38 | × | fendor_ quits (~fendor@178.115.54.135.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:39:50 | zmv | is now known as notzmv |
| 21:39:52 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:40:02 | × | notzmv quits (~zmv@2804:431:c7f2:dad8:449e:66e7:6a42:644) (Changing host) |
| 21:40:02 | → | notzmv joins (~zmv@user/notzmv) |
| 21:41:11 | <yushyin> | if you need a hint, let us know :) |
| 21:50:35 | × | kimjetwav quits (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) (Remote host closed the connection) |
| 21:51:11 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 21:51:14 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 21:53:25 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 21:56:04 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 21:57:04 | → | dostoevsky2 joins (~5c42c5384@user/dostoevsky) |
| 21:59:03 | × | dostoevsky quits (~5c42c5384@user/dostoevsky) (Ping timeout: 256 seconds) |
| 21:59:03 | dostoevsky2 | is now known as dostoevsky |
| 22:01:24 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::c90f) (Ping timeout: 240 seconds) |
| 22:04:09 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 256 seconds) |
| 22:04:39 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 22:04:46 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 22:05:49 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 22:06:56 | × | Profpatsch quits (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.3) |
| 22:07:59 | × | acidjnk quits (~acidjnk@p200300d0c73b4573e8a6f1626a35c03c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 22:08:39 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 22:10:42 | → | xff0x_ joins (~xff0x@om126158190036.30.openmobile.ne.jp) |
| 22:11:20 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:11:29 | <tomsmeding> | > curry ((>>) <$> (guard . uncurry (/=)) <*> return) <$> [1..4] <*> [1..4] >>= id |
| 22:11:30 | <lambdabot> | [(1,2),(1,3),(1,4),(2,1),(2,3),(2,4),(3,1),(3,2),(3,4),(4,1),(4,2),(4,3)] |
| 22:11:36 | <tomsmeding> | is this sufficiently obfuscated? |
| 22:11:51 | <monochrom> | Yes. I don't understand it. :) |
| 22:11:57 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:12:25 | <monochrom> | Transitioning from [1..4] to [1..] is also problematic. |
| 22:12:46 | <monochrom> | I hate the original wording anyway. Programmers can't write. |
| 22:13:29 | <tomsmeding> | monochrom: hint: the '>>= id' is concatMap |
| 22:13:50 | <tomsmeding> | s/Map// |
| 22:14:59 | <tomsmeding> | incidentally, that `(>>) <$> (guard . uncurry (/=)) <*> return` is _significantly_ nicer than what lambdabot produces if you @pl the readable version |
| 22:15:22 | <tomsmeding> | in particular, it has 4 let points |
| 22:15:28 | <tomsmeding> | s/let/less/ |
| 22:18:19 | × | crazazy quits (~user@130.89.171.62) (Ping timeout: 240 seconds) |
| 22:18:42 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Ping timeout: 272 seconds) |
| 22:19:51 | → | joo-_ joins (~joo-_@87-49-147-230-mobile.dk.customer.tdc.net) |
| 22:19:51 | × | joo-_ quits (~joo-_@87-49-147-230-mobile.dk.customer.tdc.net) (Changing host) |
| 22:19:51 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 22:21:42 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:21:54 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:25:20 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 22:32:00 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 22:32:42 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 22:35:34 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 22:35:49 | → | juri_ joins (~juri@178.63.35.222) |
| 22:37:58 | → | tommd joins (~tommd@97-120-41-123.ptld.qwest.net) |
| 22:38:50 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 22:39:50 | → | acidjnk joins (~acidjnk@p200300d0c73b4573e8a6f1626a35c03c.dip0.t-ipconnect.de) |
| 22:44:39 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 240 seconds) |
| 22:50:04 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 22:51:50 | → | gentauro joins (~gentauro@user/gentauro) |
| 22:56:07 | × | cynomys quits (~cynomys@user/cynomys) (Quit: leaving) |
| 22:58:55 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:02:24 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 23:06:15 | × | geranim0 quits (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 23:09:17 | → | AlexZenon_2 joins (~alzenon@178.34.160.91) |
| 23:11:18 | × | AlexZenon quits (~alzenon@178.34.160.91) (Ping timeout: 276 seconds) |
| 23:15:19 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 23:16:55 | × | acidjnk quits (~acidjnk@p200300d0c73b4573e8a6f1626a35c03c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:19:11 | <boxscape> | huh, just found out that in a do block, `(foo :: Num a => a) <- pure 4` is different from `(foo :: forall a . Num a => a) <- pure 4` |
| 23:19:18 | <boxscape> | (the first is monomorphic, and the second one doesn't work) |
| 23:20:41 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::c90f) |
| 23:21:25 | → | jhagborg joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 23:24:20 | <exarkun> | why does haskell-language-server-wrapper `chdir("") = ENOENT` and then exit with an error? |
| 23:25:33 | <boxscape> | (oh I just realized what I mentioned isn't that different from `(foo :: a)` behaving differently than `(foo :: forall a . a)`, which makes sense |
| 23:28:29 | → | jhagborg_ joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 23:29:39 | × | jhagborg quits (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 240 seconds) |
| 23:31:33 | × | jhagborg_ quits (~jhagborg@068-187-237-099.res.spectrum.com) (Read error: Connection reset by peer) |
| 23:31:54 | → | jhagborg_ joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 23:33:55 | <geekosaur> | the chdir failing is correct per POSIX; why HLS-wrapper does it, I don't know |
| 23:34:05 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 23:42:24 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 250 seconds) |
| 23:42:49 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 23:46:37 | → | dsrt^ joins (~dsrt@50.227.69.228) |
| 23:48:10 | × | jhagborg_ quits (~jhagborg@068-187-237-099.res.spectrum.com) (Remote host closed the connection) |
| 23:48:37 | → | jhagborg_ joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 23:51:07 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: brb) |
| 23:56:14 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 23:58:51 | → | shiraeeshi joins (~shiraeesh@109.166.57.76) |
All times are in UTC on 2022-04-24.