Logs on 2020-09-28 (freenode/#haskell)
| 00:00:02 | × | flukiluke1 quits (~flukiluke@84.39.116.180) () |
| 00:00:02 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 00:00:16 | × | atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 00:02:20 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 00:02:37 | → | atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 00:04:07 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 00:09:05 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 00:12:59 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:8ec:1161:8ce8:eb51) |
| 00:15:21 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 00:16:17 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 00:17:22 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 00:18:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:18:48 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 00:20:02 | × | SolarAquarion quits (SolarAquar@gateway/shell/panicbnc/x-xjpqknkqghymrgke) (Ping timeout: 260 seconds) |
| 00:20:19 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-zzdfhwhqcgnnihzq) (Quit: Connection closed for inactivity) |
| 00:20:42 | × | Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 258 seconds) |
| 00:21:57 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 00:24:20 | × | Klumben quits (Nsaiswatch@gateway/shell/panicbnc/x-qoebdhwirjmxvlle) (Ping timeout: 246 seconds) |
| 00:25:20 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:8ec:1161:8ce8:eb51) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:25:30 | × | xacktm quits (xacktm@gateway/shell/panicbnc/x-tsbkfnsedmgyhrsm) (Ping timeout: 244 seconds) |
| 00:28:05 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:d73:23e6:f24c:978a) |
| 00:28:35 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 00:28:45 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds) |
| 00:31:28 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 00:31:53 | <hololeap> | has anyone tried both grapefruit-ui and brick? which one is your preference? i have used brick a bit and think it's well done, but i'm curious about grapefruit-ui.. |
| 00:35:14 | × | catkiki quits (~catkiki@m90-134-157-227.cust.tele2.hr) (Remote host closed the connection) |
| 00:35:58 | <Axman6> | I've used brick, and liked it a lot. it's been a long time though do don't have anything other to add other than pleasant memories |
| 00:44:14 | <glguy> | Brick is actively maintained and extensively documented |
| 00:45:18 | <Axman6> | what does ghcup use? |
| 00:45:24 | <hololeap> | the brick docs are amazing |
| 00:45:57 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:d73:23e6:f24c:978a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:46:29 | <koz_> | @pl \x y -> x >>= (@?= y) |
| 00:46:29 | <lambdabot> | (. flip (@?=)) . (>>=) |
| 00:46:34 | <koz_> | Lol. |
| 00:47:44 | <Axman6> | Anyone know if pl will use (=<<) if it makes things clearer/avoids flips? |
| 00:49:34 | <koz_> | @pl \f -> join . fmap f |
| 00:49:34 | <lambdabot> | (=<<) |
| 00:49:47 | × | darjeeling_ quits (~darjeelin@122.245.121.113) (Ping timeout: 240 seconds) |
| 00:50:53 | <jackdk> | @botsnack |
| 00:50:54 | <lambdabot> | :) |
| 00:51:10 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:8991:a473:a01a:60b2) |
| 00:53:01 | → | machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net) |
| 00:53:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 00:54:38 | <hololeap> | wow, that's pretty neat |
| 00:54:41 | <sm[m]> | hololeap: are those comparable ? Does grapefruit do TUIs? |
| 00:55:35 | → | gorthx1 joins (~gorthx@84.39.116.180) |
| 00:57:03 | <hololeap> | sm[m]: that seems like a strange question to me. grapefruit doesn't have a TUI component but it is still for building UIs, which is also true for brick. |
| 00:58:02 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 00:59:27 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 240 seconds) |
| 01:00:59 | <sm[m]> | we don't get asked to recommend a TUI vs a WUI too often.. usually people require one or the other |
| 01:01:28 | <sm[m]> | I haven't seen any apps built with grapefruit, I'd like to know too |
| 01:01:50 | <hololeap> | oh, well this isn't for a specific job or anything, just making a utility of sorts :) |
| 01:03:18 | → | Klumben joins (Nsaiswatch@gateway/shell/panicbnc/x-lfgojlskrxejewoq) |
| 01:03:26 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 01:05:46 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 01:07:28 | → | mpereira joins (~mpereira@2a02:810d:f40:d96:294e:473a:4b53:edb9) |
| 01:10:07 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 01:17:02 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:21:56 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer) |
| 01:22:31 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 01:23:05 | → | inerkick joins (~rohit@117.230.131.2) |
| 01:26:05 | × | pengjiz quits (~user@2601:547:901:fab0::2) (Quit: ERC (IRC client for Emacs 27.1)) |
| 01:27:00 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:8991:a473:a01a:60b2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:27:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:29:43 | → | SolarAquarion joins (SolarAquar@gateway/shell/panicbnc/x-qhbkvprsewvzxtnd) |
| 01:29:45 | × | revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 01:30:22 | → | revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 01:31:53 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) |
| 01:32:37 | × | acidjnk_new quits (~acidjnk@p200300d0c723788910a692a0a73cc94d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:32:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 01:34:05 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 01:34:20 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 01:34:53 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 01:35:13 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 01:35:42 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 01:36:31 | × | inerkick quits (~rohit@117.230.131.2) (Quit: Leaving) |
| 01:44:27 | hackage | foldl 1.4.9 - Composable, streaming, and efficient left folds https://hackage.haskell.org/package/foldl-1.4.9 (GabrielGonzalez) |
| 01:47:59 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:48:53 | → | MattMareo joins (~mattl@unaffiliated/mattmareo) |
| 01:51:20 | → | xff0x joins (~fox@2001:1a81:537a:5700:351c:d0c9:2f80:c9c7) |
| 01:51:39 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 01:51:45 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) |
| 01:53:02 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 01:54:46 | × | xff0x_ quits (~fox@port-92-195-106-234.dynamic.as20676.net) (Ping timeout: 256 seconds) |
| 02:01:50 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 02:02:42 | <hololeap> | anyone know of a way for an IO action to fire when a TVar gets updated? |
| 02:03:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:08:42 | <hololeap> | the overarching problem is to write a brick widget around a data type wrapped in a TVar. if another thread modifies it, i would like for the UI to update to reflect this. |
| 02:10:17 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-131-108.cust.tzulo.com) (Quit: Leaving) |
| 02:10:31 | → | inerkick joins (~rohit@117.230.131.2) |
| 02:11:11 | <ski> | could you make a thread that retries, if it sees the same value as last time ? |
| 02:12:32 | <ski> | i suppose that requires some kind of equality comparision on the value, though |
| 02:13:17 | <hololeap> | TVar has an Eq instance, although i'm not sure if it compares its contents |
| 02:13:51 | <hololeap> | but, that sounds like a good idea |
| 02:13:52 | <ski> | it ought not |
| 02:14:03 | <dolio> | It can't do that. |
| 02:14:22 | <hololeap> | right... it would have to be a -> a -> STM Bool |
| 02:14:28 | <hololeap> | ish... |
| 02:15:08 | <hololeap> | but my data type has an Eq instance, so that could work |
| 02:15:38 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 02:15:54 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:16:04 | <ski> | i was thinking of having another `Bool' state, that you have set to `False' initially. then, in the transaction, if it's `False' you `retry' (after taking the value of the `TVar'), but make sure it's `True' the next time, so that you succeed when it's modified .. but i don't think you can make that kind of backtrackable state in `STM' .. |
| 02:16:05 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-ewbniufkvljwkyrj) |
| 02:17:42 | → | drbean joins (~drbean@TC210-63-209-63.static.apol.com.tw) |
| 02:20:32 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 246 seconds) |
| 02:22:28 | <hololeap> | \a0 tvar -> readTVar tvar >>= \a -> if a0 == a then retry else pure a |
| 02:22:40 | <hololeap> | would that work? |
| 02:23:52 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 02:25:17 | <ski> | and then pass `a' as `a0', next time |
| 02:26:11 | → | mu_ joins (~mu@unaffiliated/mu) |
| 02:27:04 | lagothrix | is now known as Guest2714 |
| 02:27:04 | × | Guest2714 quits (~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services))) |
| 02:27:10 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 02:27:45 | × | inerkick quits (~rohit@117.230.131.2) (Ping timeout: 265 seconds) |
| 02:29:33 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-mpevcdkaddwfqaxn) (Quit: Connection closed for inactivity) |
| 02:33:54 | <hololeap> | cool. sounds doable. thanks ski |
| 02:35:00 | <ski> | hm. i wonder whether one could make a zero-capacity channel or something, for this |
| 02:35:11 | <ski> | (rendez-vous) |
| 02:35:35 | <hololeap> | i'm not sure what zero-capacity channel means |
| 02:35:35 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 02:35:49 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-ufxmssfsrzweqpvh) |
| 02:36:02 | → | mu_ joins (~mu@unaffiliated/mu) |
| 02:36:36 | × | mu_ quits (~mu@unaffiliated/mu) (Client Quit) |
| 02:37:01 | <ski> | like one thread tries to put, and immediately blocks until there's another thread that tries to take (and so can hand-over the value/baton directly from one thread to the other, no intermediate storage). or the other way around, the other thread tries to take, blocks until the first thread puts |
| 02:37:13 | → | toorevitimirp joins (~tooreviti@117.182.182.201) |
| 02:37:43 | <ski> | so, you have effectively a channel that can store at most zero items "in transit" |
| 02:38:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 02:39:54 | → | inerkick joins (~rohit@117.230.30.206) |
| 02:47:22 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 02:48:52 | <dsal> | I feel like I'm reinventing lens... `sortOn (maximum . fmap length . fmap _pu_parts) .` |
| 02:50:27 | hackage | Z-Data 0.1.4.0 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.4.0 (winterland) |
| 02:52:07 | × | theDon quits (~td@muedsl-82-207-238-220.citykom.de) (Ping timeout: 240 seconds) |
| 02:53:09 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 02:53:26 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 02:53:57 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 02:53:59 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 02:54:20 | → | theDon joins (~td@94.134.91.183) |
| 02:57:49 | <ski> | hm, after looking at the source of <https://downloads.haskell.org/~ghc/latest/docs/html/libraries/stm-2.5.0.0/Control-Concurrent-STM-TBQueue.html>, i don't think `newTBQueue 0' will work |
| 02:58:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:59:18 | × | mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 256 seconds) |
| 02:59:24 | <ski> | i wonder whether one could do rendez-vous with STM |
| 03:00:01 | × | gorthx1 quits (~gorthx@84.39.116.180) () |
| 03:00:26 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 03:01:38 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 03:01:40 | Lord_of_Life_ | is now known as Lord_of_Life |
| 03:02:33 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds) |
| 03:04:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 03:05:36 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 03:06:10 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:08:07 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds) |
| 03:09:59 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 03:14:30 | × | bloodstalker quits (~bloodstal@46.166.187.178) (Remote host closed the connection) |
| 03:14:40 | × | solonarv quits (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 03:21:47 | → | zeta_0 joins (~zeta@h78.22.19.98.dynamic.ip.windstream.net) |
| 03:23:27 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 03:25:11 | × | zeta_0 quits (~zeta@h78.22.19.98.dynamic.ip.windstream.net) (Client Quit) |
| 03:27:07 | × | machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 240 seconds) |
| 03:27:25 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) |
| 03:28:14 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 03:30:38 | × | styledash quits (~styledash@157.230.173.136) (Quit: The Lounge - https://thelounge.chat) |
| 03:30:46 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 03:31:14 | → | styledash joins (~styledash@157.230.173.136) |
| 03:31:14 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 03:33:05 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 03:38:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:48:38 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:bd22:91d7:f791:22b6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:48:47 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 03:51:10 | → | jedws joins (~jedws@121.209.139.222) |
| 03:55:37 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Quit: Lost terminal) |
| 03:55:56 | → | brimstone1 joins (~brimstone@185.163.110.116) |
| 03:57:16 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 03:59:45 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 04:00:24 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 04:03:56 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 265 seconds) |
| 04:04:12 | → | day_ joins (~Unknown@unaffiliated/day) |
| 04:04:48 | → | ryansmccoy joins (~ryansmcco@193.37.254.27) |
| 04:05:34 | <hololeap> | WIP: https://dpaste.com/4RRFTU2AM |
| 04:07:31 | <nshepperd> | ski: is that not the same as a one item queue where the writer waits until it's empty again after writing |
| 04:07:31 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 256 seconds) |
| 04:07:32 | day_ | is now known as day |
| 04:10:03 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:10:08 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Ping timeout: 260 seconds) |
| 04:13:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 04:13:34 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 04:14:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 04:19:19 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 04:21:43 | <hololeap> | it does sound quite a bit like a TMVar, where a thread continually tries to put, but has to block until something else takes |
| 04:25:18 | × | ryjm_matrix1 quits (~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net) (Quit: killed) |
| 04:25:39 | → | ryjm_matrix joins (~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net) |
| 04:28:51 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-tqqfvfsvfflekctt) (Quit: Connection closed for inactivity) |
| 04:29:27 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 272 seconds) |
| 04:35:07 | × | jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Ping timeout: 240 seconds) |
| 04:38:31 | → | ggole joins (~ggole@2001:8003:8119:7200:827:6ea2:4828:53c5) |
| 04:40:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:40:27 | × | xff0x quits (~fox@2001:1a81:537a:5700:351c:d0c9:2f80:c9c7) (Ping timeout: 260 seconds) |
| 04:41:13 | → | xff0x joins (~fox@2001:1a81:537a:5700:d96:c29a:71ef:4f01) |
| 04:41:42 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 04:42:27 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 04:45:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 04:46:03 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Client Quit) |
| 04:46:20 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 04:46:32 | → | Rudd0^ joins (~Rudd0@185.189.115.108) |
| 04:47:11 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds) |
| 04:48:07 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds) |
| 04:48:27 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 04:48:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:53:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 04:53:59 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Quit: TooDifficult) |
| 04:54:19 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 04:54:37 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 04:54:58 | hackage | Z-IO 0.1.3.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.3.0 (winterland) |
| 04:55:16 | → | xacktm joins (xacktm@gateway/shell/panicbnc/x-pzwqpatxpatbafhr) |
| 04:55:32 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Client Quit) |
| 04:55:47 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 04:58:31 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 256 seconds) |
| 04:58:50 | × | normie quits (~normie@S0106ac202e2069c3.vw.shawcable.net) (Quit: WeeChat 2.9) |
| 04:59:04 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Client Quit) |
| 04:59:21 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 04:59:42 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Remote host closed the connection) |
| 04:59:59 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 05:00:05 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds) |
| 05:00:39 | → | polyrain joins (~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced) |
| 05:02:27 | hackage | network-byte-order 0.1.6 - Network byte order utilities https://hackage.haskell.org/package/network-byte-order-0.1.6 (KazuYamamoto) |
| 05:02:30 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:f92f:abc:f8:d26e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:03:13 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer) |
| 05:03:49 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 05:04:57 | hackage | fast-logger 3.0.2 - A fast logging system https://hackage.haskell.org/package/fast-logger-3.0.2 (KazuYamamoto) |
| 05:06:08 | × | inerkick quits (~rohit@117.230.30.206) (Quit: Leaving) |
| 05:06:34 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:3815:da8c:7f0d:702) |
| 05:07:09 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Read error: Connection reset by peer) |
| 05:08:02 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 05:08:58 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 05:09:45 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Remote host closed the connection) |
| 05:10:18 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 05:13:05 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 05:16:04 | × | finkata quits (~dpetrov@83.222.188.39) (Remote host closed the connection) |
| 05:16:21 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 05:16:50 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 05:18:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:21:32 | × | spoonm quits (~spoonm@gunma.spoonm.org) (Quit: Don't look behind you!) |
| 05:23:04 | → | random joins (~random@185.219.70.106) |
| 05:23:27 | × | toorevitimirp quits (~tooreviti@117.182.182.201) (Remote host closed the connection) |
| 05:23:57 | → | toorevitimirp joins (~tooreviti@117.182.182.201) |
| 05:26:25 | → | spoonm joins (spoonm@gunma.spoonm.org) |
| 05:27:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:28:06 | <siraben> | If I create the a state monad using ST underneath, does it make it any more efficient than the one in Control.Monad.State? |
| 05:28:09 | <siraben> | http://ix.io/2yZh |
| 05:28:54 | × | ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 256 seconds) |
| 05:29:28 | → | ryansmccoy joins (~ryansmcco@193.37.254.27) |
| 05:30:11 | <MarcelineVQ> | I doubt it, could be fun to bench though |
| 05:30:17 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 05:31:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 05:35:05 | <Axman6> | isn't that just state, where the state parameter is an STRef? what benefits do you think this will have? |
| 05:37:12 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 05:41:23 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 05:44:19 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection) |
| 05:44:44 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 05:45:26 | → | m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) |
| 05:46:16 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:51:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 05:51:50 | → | shafox joins (~shafox@106.51.234.111) |
| 05:52:01 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 05:52:58 | hackage | qhs 0.3.2 - Command line tool qhs, SQL queries on CSV and TSV files. https://hackage.haskell.org/package/qhs-0.3.2 (itchyny) |
| 05:53:30 | × | josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 05:53:47 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 05:54:33 | → | kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 05:54:47 | → | josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 05:55:53 | × | polyrain quits (~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:57:53 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 06:00:02 | × | brimstone1 quits (~brimstone@185.163.110.116) () |
| 06:07:22 | → | BalterNotz joins (ca420871@202.66.8.113) |
| 06:12:20 | → | Quarl joins (~Quarl@94.191.138.174.mobile.tre.se) |
| 06:14:22 | <BalterNotz> | #haskell-tw |
| 06:19:45 | × | josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 06:20:08 | → | elred_ joins (~elred_@84.39.116.180) |
| 06:22:12 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:23:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:24:49 | → | jedws joins (~jedws@121.209.139.222) |
| 06:27:33 | → | danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:28:06 | × | drbean quits (~drbean@TC210-63-209-63.static.apol.com.tw) (Read error: Connection reset by peer) |
| 06:28:16 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Quit: TooDifficult) |
| 06:28:58 | hackage | mtsl 0.2.0.0 - Reified monad transformer stacks https://hackage.haskell.org/package/mtsl-0.2.0.0 (sgschlesinger) |
| 06:29:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 06:30:11 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 06:32:03 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 06:32:16 | × | random quits (~random@185.219.70.106) (Remote host closed the connection) |
| 06:32:26 | → | drbean joins (~drbean@TC210-63-209-143.static.apol.com.tw) |
| 06:32:34 | → | random joins (~random@185.219.70.106) |
| 06:34:20 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 06:41:09 | → | josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 06:41:28 | hackage | uniqueness-periods-vector-general 0.4.3.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.4.3.0 (OleksandrZhabenko) |
| 06:42:19 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 06:42:57 | × | toorevitimirp quits (~tooreviti@117.182.182.201) (Ping timeout: 265 seconds) |
| 06:43:33 | → | Sanchayan joins (~Sanchayan@136.185.169.201) |
| 06:46:37 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection) |
| 06:47:13 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 06:48:52 | → | Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch) |
| 06:49:56 | → | plutoniix joins (~q@175.176.222.7) |
| 06:50:03 | → | scottschecter joins (~scottsche@thewolf.schecterandco.com) |
| 06:51:35 | → | bahamas joins (~lucian@84.232.141.175) |
| 06:51:35 | × | bahamas quits (~lucian@84.232.141.175) (Changing host) |
| 06:51:35 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 06:51:42 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds) |
| 06:54:49 | × | josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 06:54:56 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:3815:da8c:7f0d:702) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:54:59 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 06:55:11 | → | ADG1089 joins (~adg1089@110.227.116.50) |
| 06:55:16 | <ADG1089> | can you guys suggest a framework for an app that would enable users to upload excel sheets which will be processed and inserted into database |
| 06:55:45 | <ADG1089> | (web based, possible api) |
| 06:56:12 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection) |
| 06:56:28 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 06:57:58 | BalterNotz | is now known as asdfasdfasdf |
| 06:59:35 | <Axman6> | Excel specifically? no. CSV? sure, plenty |
| 06:59:47 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds) |
| 07:00:31 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:00:50 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 07:00:51 | → | mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se) |
| 07:04:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:05:21 | → | josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 07:05:41 | <Axman6> | ADG1089: that's a very general and very specific question by the way - is there something that already does both those things? Almost certainly not, but are there things which can do both and be easily joined together, most definitely |
| 07:06:02 | <ADG1089> | i'm mostly concerned about the api part |
| 07:06:09 | <ADG1089> | sorry, i was not specific enough |
| 07:06:41 | <ADG1089> | otherwise the database operations and excel file processing can be done without any framework. |
| 07:06:56 | <ADG1089> | minimal sql-client atleast |
| 07:07:02 | <siraben> | MarcelineVQ: which libraries are good for benchmarking haskell programs? |
| 07:07:12 | <Axman6> | siraben: criterion |
| 07:07:14 | × | josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 07:07:16 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 246 seconds) |
| 07:07:31 | <Axman6> | ADG1089: what do you actually want to do? |
| 07:07:32 | <siraben> | Axman6: ok, will take a look |
| 07:08:12 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 07:08:38 | → | josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 07:09:37 | <ADG1089> | Axman6: I want to take in as input doctor & medicine data excel and process it (nothing complicated) and then insert it into database. This will be served using an API |
| 07:09:57 | <Axman6> | does it have to be excel? |
| 07:17:20 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection) |
| 07:17:47 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 07:17:56 | → | jespada joins (~jespada@90.254.241.6) |
| 07:19:02 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 07:19:06 | × | mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Quit: Leaving) |
| 07:19:11 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 07:19:26 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 07:19:47 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Ping timeout: 240 seconds) |
| 07:21:44 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 07:22:06 | × | rembo10 quits (~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.1 - https://znc.in) |
| 07:22:18 | → | Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch) |
| 07:22:51 | × | josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 07:23:12 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds) |
| 07:24:07 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 07:24:26 | → | fendor joins (~fendor@77.119.128.154.wireless.dyn.drei.com) |
| 07:25:18 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 07:25:34 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-ewbniufkvljwkyrj) (Quit: Connection closed for inactivity) |
| 07:25:49 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 07:26:23 | → | rembo10 joins (~rembo10@wally.codeshy.com) |
| 07:27:06 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 07:27:13 | → | v_m_v joins (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) |
| 07:27:39 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 07:28:43 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 07:29:23 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:29:39 | asdfasdfasdf | is now known as jjjj |
| 07:29:45 | jjjj | is now known as BalterNotz |
| 07:30:24 | <ADG1089> | Axman6: yeag |
| 07:30:27 | <ADG1089> | *yeah |
| 07:32:36 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 07:33:55 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 07:37:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 07:38:27 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 07:39:21 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 07:40:27 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 07:41:48 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:43:11 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 07:43:55 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 07:48:41 | → | Guest_68 joins (056aecb5@5.106.236.181) |
| 07:49:04 | <Guest_68> | Hello. how should I add ghcup to PATH? |
| 07:49:35 | <maerwald> | Guest_68: which os |
| 07:49:40 | <Guest_68> | mac |
| 07:49:58 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 07:50:10 | <maerwald> | add this to ~/.bashrc: source ~/.ghcup/env |
| 07:50:30 | <maerwald> | add this to ~/.bash_profile: [[ -f ~/.bashrc ]] && source ~/.bashrc |
| 07:50:54 | × | ski quits (~ski@remote12.chalmers.se) (Quit: Lost terminal) |
| 07:52:35 | <Guest_68> | maerwald: ok. how do i open this bashrc file on mac? |
| 07:53:19 | <maerwald> | Guest_68: http://letmegooglethat.com/?q=how+do+I+open+a+file+on+mac |
| 07:54:14 | <Guest_68> | funny. |
| 07:54:23 | <yushyin> | I've a deja-vu |
| 07:54:29 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 07:54:32 | <Guest_68> | i can't find this file |
| 07:56:45 | <Guest_68> | I'm not comfortable working and editing in a terminal |
| 07:57:04 | <yushyin> | first things first, make sure which shell you use. Afaik mac os x switched to zsh |
| 07:58:02 | → | alp joins (~alp@2a01:e0a:58b:4920:9c53:5eed:91e4:af76) |
| 07:58:08 | <Guest_68> | i don't know much about theese things. it's bash i guess |
| 07:58:22 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 07:59:20 | → | John20 joins (~John@82.46.59.122) |
| 07:59:25 | <Guest_68> | i want to update ghc but it says "-bash: ghcup: command not found" |
| 08:00:03 | <yushyin> | if the files do not exists just create them |
| 08:00:13 | × | sw1nn quits (~sw1nn@host86-129-128-20.range86-129.btcentralplus.com) (Ping timeout: 264 seconds) |
| 08:00:14 | <Guest_68> | how? |
| 08:00:27 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds) |
| 08:00:47 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds) |
| 08:01:47 | <maerwald> | Guest_68: run the install script again and answer with YES at the end again |
| 08:01:48 | <yushyin> | open a text editor, fill it with content (like the suggested lines), save it at the desired location |
| 08:02:25 | <yushyin> | would be one possibility |
| 08:02:28 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 08:03:40 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds) |
| 08:04:39 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 08:05:23 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 240 seconds) |
| 08:05:50 | × | v_m_v quits (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection) |
| 08:05:58 | <Guest_68> | ok thanks. solved. used something called "nano" and then "source" |
| 08:06:05 | → | v_m_v joins (~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099) |
| 08:06:10 | <Guest_68> | don't know what these are. just worked. |
| 08:06:45 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 08:07:48 | → | polyrain joins (~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced) |
| 08:08:22 | → | sw1nn joins (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) |
| 08:09:43 | <c_wraith> | nano is a very minimal text editor |
| 08:09:59 | <yushyin> | 'and then "source"' I don't know what that is supposed to mean :D |
| 08:10:02 | <johnnyboy[m]> | is call-by-name evaluation the same thing as leftmost-outermost evaluation strategy? How about normal order evaluation strategy? |
| 08:10:05 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 08:10:09 | <c_wraith> | source loads a file into the current bash environment. Which lets you pick up changes to a config file without restarting the terminal |
| 08:10:31 | <Guest_68> | yushyin :D |
| 08:11:00 | <Guest_68> | c_wraith thanks |
| 08:11:31 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 08:11:38 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 08:11:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:12:29 | × | mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Remote host closed the connection) |
| 08:12:46 | → | mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se) |
| 08:13:10 | <Guest_68> | I just watched a video about haskell and liked those "type" stuff written before functions. It was interesting that these stuff are just comments in other programming languages, but in haskell they aare something you can work with. |
| 08:16:53 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 08:16:58 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:18:05 | → | zaquest joins (~notzaques@5.128.210.178) |
| 08:18:19 | <Ferdiran1> | Guest_68: your sample of programming languages might be somewhat biased |
| 08:18:39 | <c_wraith> | Other languages have useful types too. But Haskell definitely is on the powerful side, if not at the far end. |
| 08:19:21 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 08:20:39 | <Guest_68> | my sample is empty! I've been learning programming with python and a little java just for 3 months. I just feelt like Haskell is "clean" and elegant and decided to learn it. |
| 08:21:10 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 08:23:19 | <Guest_68> | BTW, how can i have a username for myself here? |
| 08:23:35 | → | chaosmasttter joins (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) |
| 08:25:12 | <perdent> | Does anyone here have MAGMA Algebraic installed on their PC? As I need to run a script I wrote and because the complexity is more than 120s (web version only allows that). I just need to see what the outputs are for my problem, it would be much appreciated if someone could help me out? |
| 08:25:16 | <yushyin> | Guest_68: /nick <username> |
| 08:25:24 | <yushyin> | Guest_68: see also https://freenode.net/kb/answer/registration |
| 08:26:41 | <Guest_68> | yushyin thanks |
| 08:26:54 | × | Guest_68 quits (056aecb5@5.106.236.181) (Remote host closed the connection) |
| 08:27:09 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:28:40 | → | Ocelot joins (a010718c@160.16.113.140) |
| 08:29:47 | Ocelot | is now known as Uzuki |
| 08:30:06 | → | cpressey joins (~cpressey@79-72-202-6.dynamic.dsl.as9105.com) |
| 08:30:14 | × | macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 272 seconds) |
| 08:30:51 | × | Sigyn quits (sigyn@freenode/utility-bot/sigyn) (Quit: i've seen things you people wouldn't believe. spam bots on fire off the shoulder of sigyn. i watched k-line beams glitter in the dark near the Tannhäuser Gate. all these moments will be lost in time, like tears in rain. time to /die) |
| 08:31:12 | <johnnyboy[m]> | Does Haskell satisfy some confluence (Church-Rosser) property? |
| 08:31:25 | → | Sigyn joins (sigyn@freenode/utility-bot/sigyn) |
| 08:31:25 | ChanServ | sets mode +o Sigyn |
| 08:31:30 | <johnnyboy[m]> | I.e. is it true that terminating evaluations always yield the same result for the same expression? |
| 08:32:01 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 08:34:21 | → | esp32_prog joins (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) |
| 08:34:51 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 08:35:32 | <phadej> | that's not meaningful, in some reduction order evaluation could diverge, in one not. |
| 08:35:36 | <Cheery> | johnnyboy[m]: it's possible to violate that in Haskell, but technically you'd like that to hold. |
| 08:36:27 | <phadej> | but yes, we like (sometimes) to think that Haskell is well-behaved rewrite system. |
| 08:38:43 | <johnnyboy[m]> | it's slightly confusing to see different terminology for what appears to be the same things in Haskell and lambda-calculus |
| 08:38:57 | <johnnyboy[m]> | evaluation vs. reduction/contraction |
| 08:39:29 | <johnnyboy[m]> | call-by-name vs. normal order reduction (I'm not sure if these are the same) |
| 08:39:55 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 08:40:02 | <johnnyboy[m]> | on the other hand, things often tend to have different names in different contexts |
| 08:40:29 | × | Uzuki quits (a010718c@160.16.113.140) (Ping timeout: 245 seconds) |
| 08:40:55 | <johnnyboy[m]> | after learning some category theory, regular math starts to look like as if it's constantly reinventing the same wheel under different names |
| 08:41:13 | <c_wraith> | Haskell isn't confluent in the sense that every expression reduces. |
| 08:41:29 | <johnnyboy[m]> | yes, I know that part |
| 08:41:39 | <johnnyboy[m]> | but it could be weakly normalising |
| 08:41:59 | <Cheery> | System.IO.Unsafe |
| 08:42:16 | <Cheery> | you get unsafePerformIO :: IO a -> a |
| 08:42:26 | × | elred_ quits (~elred_@84.39.116.180) (Remote host closed the connection) |
| 08:42:57 | <c_wraith> | But people do say that every expression that converges under *some* evaluation order should converge in Haskell. I haven't gone digging through the spec to verify that it's actually in there. |
| 08:44:08 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-dtubdednlwbvjfwc) (Quit: Connection closed for inactivity) |
| 08:44:23 | <johnnyboy[m]> | I think there's this theorem in lambda-calculus saying that the leftmost outermost strategy always finds the normal form if it exitsts |
| 08:44:53 | <c_wraith> | and obviously that falls apart when you start doing things with unsafePerformIO like reading from an IORef and doing different things based on the result. |
| 08:45:53 | <johnnyboy[m]> | I was considering the pure part of Haskell |
| 08:46:05 | <johnnyboy[m]> | I probably should have mentioned that |
| 08:46:07 | <c_wraith> | But in the subset of haskell that bans execution, yeah |
| 08:46:28 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 08:47:03 | <ggVGc> | the best part about unsafePerformIO is that in the worst case you're just doing JS :D |
| 08:47:09 | <cpressey> | The pure part of Haskell should be confluent, in the sense that term is used in term rewriting. If there are exceptions, I'd like to know about them, |
| 08:47:14 | <Uniaika> | ggVGc: hahaha |
| 08:47:30 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
| 08:47:37 | <ggVGc> | I mean, it's not entirely true... |
| 08:47:40 | <cpressey> | *I'd sure like to know about them! |
| 08:47:41 | <ggVGc> | worst case you're doing C++ I guess |
| 08:47:55 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 08:47:55 | <ggVGc> | which to be fair is pretty bad |
| 08:48:07 | <c_wraith> | nah. the worst case with unsafePerformIO is really worse than that, as GHC is free to optimize pretending it doesn't exist. |
| 08:48:13 | <johnnyboy[m]> | do you get runtime linkage errors in Haskell? |
| 08:48:18 | <ggVGc> | oh well |
| 08:48:19 | <johnnyboy[m]> | if not, that's not C++ :P |
| 08:48:21 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 08:48:57 | × | bastelfreak quits (~bastelfre@voxpupuli/pmc/bastelfreak) (Ping timeout: 260 seconds) |
| 08:49:00 | <c_wraith> | cpressey: I think you have to consider all bottoms equivalent, otherwise imprecise exceptions bite you |
| 08:49:23 | <cpressey> | Oh right, exceptions |
| 08:49:37 | → | Dolly joins (585fc8fd@ti0203q160-3035.bb.online.no) |
| 08:49:50 | <johnnyboy[m]> | in lambda-calculus, not all non-normalising terms can be considered as bottoms |
| 08:50:00 | <johnnyboy[m]> | otherwise, the system becomes inconsistent |
| 08:51:04 | <c_wraith> | Haskell is already an inconsistent logic. (Turns out programming is way easier as a practical matter when your type system is an inconsistent logic) |
| 08:51:36 | <johnnyboy[m]> | I wonder if there are paraconsistent programming languages... |
| 08:52:52 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 08:52:58 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 08:57:00 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Quit: TooDifficult) |
| 08:57:15 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 09:00:07 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 09:01:35 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 09:04:27 | × | shatriff quits (~vitaliish@176.52.219.10) (Ping timeout: 256 seconds) |
| 09:05:05 | × | drbean quits (~drbean@TC210-63-209-143.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 09:05:38 | × | Turmfalke quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 09:09:21 | → | Uzukiw619 joins (a010718c@160.16.113.140) |
| 09:09:53 | <dminuoso> | Im adding some "audit logging" to a servant api, where interaction with resources cause audit trails that can be read from though `/foo/:id/audit`. Ive started to have this type `data LogEntry = LogEntry { logSlug :: LogSlug, logMessage :: Text, logTimestamp :: UTCTime }`, where LogSlug is this huge coproduct type of nullary constructors with `data LogSlug = FooHappened | BarHappened | |
| 09:09:54 | <dminuoso> | StuffChanged | ...` |
| 09:10:06 | <dminuoso> | Is this idea of having a large coproduct type sensible for this usecase? |
| 09:10:26 | → | fiQ2 joins (~fiQ@mirkk.ninja) |
| 09:10:38 | × | Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection) |
| 09:10:58 | → | Erato joins (585fc8fd@ti0203q160-3035.bb.online.no) |
| 09:11:07 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds) |
| 09:11:37 | × | Erato quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection) |
| 09:12:39 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 09:13:23 | → | carlomagno joins (~cararell@inet-hqmc02-o.oracle.com) |
| 09:13:35 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 09:13:43 | → | kuribas joins (~user@ptr-25vy0i7prrvbu6qbdzj.18120a2.ip6.access.telenet.be) |
| 09:13:49 | × | Uzukiw619 quits (a010718c@160.16.113.140) (Ping timeout: 245 seconds) |
| 09:15:07 | <gentauro> | dminuoso: what about `data LogSlug = LogCode Word`? |
| 09:15:07 | × | carlomagno1 quits (~cararell@inet-hqmc02-o.oracle.com) (Ping timeout: 240 seconds) |
| 09:15:50 | <gentauro> | that way you can still pattern match, but reducing the amount of `tags` in your `sum type` |
| 09:15:55 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 09:16:20 | → | acidjnk_new joins (~acidjnk@p200300d0c72378044c2002cf67e0d923.dip0.t-ipconnect.de) |
| 09:16:53 | <dminuoso> | gentauro: Isn't that just the same though? Except now I write `LogCode 10`, where it's not obvious what 10 is, whether 10 is correct, etc. And on the other side I pattern match against a number. |
| 09:18:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 09:18:59 | → | jedws joins (~jedws@121.209.139.222) |
| 09:19:02 | <gentauro> | dminuoso: I guess. I have been working with M$ systems that had more that to many `error codes`. I would never create these as a `sum type`: https://docs.microsoft.com/en-us/powerapps/developer/common-data-service/org-service/web-service-error-codes |
| 09:19:03 | × | kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Quit: leaving) |
| 09:19:18 | <gentauro> | I would rather just have a numbe and then look it up on that page to be honest |
| 09:19:20 | <cpressey> | dminuoso: What kinds of things are you logging? |
| 09:19:42 | <gentauro> | s/numbe/number/ |
| 09:20:56 | <dminuoso> | cpressey: Essentially modifications to resources, sort of a "changelog" if you want. |
| 09:22:10 | <cpressey> | dminuoso: My feeling is that you should try to capture the structure of the changes in the type. There isn't much sense data-modelling a "log line" because it's not a domain object, it's more like an artefact. |
| 09:22:13 | <gentauro> | dminuoso: and I also realized that Haskell (GHC) is not happe with really big `sum types` :) http://blog.stermon.com/articles/2020/03/30/haskell-data-octet-safe-idiomatic-and-big.html and http://blog.stermon.com/articles/2020/04/06/haskell-data-octet-nand-smaller-but-slower.html |
| 09:22:57 | <cpressey> | e.g. data LogEntry = ThingFieldChange ThingId FieldId UTCTime | OtherChange ... |
| 09:22:58 | <gentauro> | s/happe/happy |
| 09:23:44 | → | josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 09:27:47 | × | josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 09:29:22 | → | Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch) |
| 09:29:53 | → | bitmagie joins (~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de) |
| 09:34:17 | → | jgt joins (~jgt@46.250.27.223.pool.breezein.net) |
| 09:35:09 | <jgt> | is there a nicer way to make something like this work? `or [ isJust $ Just 1, isJust $ Just "foo" ]` |
| 09:35:25 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 09:36:27 | <jgt> | something with `any isJust` won't work, because then the list would be heterogenous |
| 09:37:21 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:38:23 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) |
| 09:43:01 | <cpressey> | jgt: It's very unclear to me what you want to accomplish. Is it important that the values be in a list? |
| 09:44:17 | <EvanR> | yeah you can't even create the list you're talking about because everything in it must be the same type |
| 09:44:35 | <jgt> | cpressey: No, I have a bunch of heterogenous values, and I want to check if any of them are a Just |
| 09:45:16 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 09:45:18 | <cpressey> | jgt: case (x,y,z) of (Nothing, Nothing, Nothing) -> none are Just; _ -> yes at least one it |
| 09:45:27 | <cpressey> | s/it/is/ |
| 09:46:37 | <jgt> | is there another way that avoids a tuple? The tuple would work, but it's a little unergonomic for larger collections of values |
| 09:47:15 | <EvanR> | what form does this collection actually take |
| 09:48:32 | <EvanR> | genuinely curious |
| 09:48:54 | <jgt> | it's actually in a record, so my function is pulling out specific fields from a record and checking if any of them are a Just |
| 09:49:07 | → | jedws joins (~jedws@121.209.139.222) |
| 09:50:06 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 09:50:13 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 09:50:22 | <EvanR> | can you make a polymorphic function that takes a record, a field, and returns a Bool |
| 09:50:49 | <EvanR> | i.e. generic record lib |
| 09:51:03 | <jgt> | yeah, I think that might be the way to do it |
| 09:51:24 | <jgt> | or maybe the original approach is totally fine; might be silly to over-engineer it |
| 09:51:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:51:29 | <jgt> | just looks a bit noisy |
| 09:52:20 | <EvanR> | since you don't care about the payload i would think you want to put a zillion "hasField foo bar" instead of isJust |
| 09:55:43 | <dminuoso> | jgt: Perhaps it might be easier to see the context of the code. |
| 09:55:51 | → | v4hn joins (~v4hn@185.244.214.216) |
| 09:56:04 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 09:56:06 | <dminuoso> | Maybe, you're too deep in XY land. |
| 09:56:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:56:27 | hackage | replace-megaparsec 1.4.3.0 - Find, replace, and split string patterns with Megaparsec parsers (instead of regex) https://hackage.haskell.org/package/replace-megaparsec-1.4.3.0 (JamesBrock) |
| 10:00:27 | <jackdk> | Anyone here familiar with amazonka-dynamodb? I'm trying to write a conditional PUT that succeeds only if the timestamp of the item is greater than the timestamp of the item in the table. I'm currently stuck trying to create a value of type Network.AWS.DynamoDB.Types.AttributeValue that stands for an expressionAttributeValue `:foo`. |
| 10:00:38 | <jackdk> | Axman6: I know you've dabbled in this space |
| 10:00:49 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 10:02:29 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Quit: leaving) |
| 10:03:09 | × | plutoniix quits (~q@175.176.222.7) (Quit: Leaving) |
| 10:06:15 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:06:21 | → | Guest44502 joins (2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) |
| 10:06:50 | → | dcoutts joins (~duncan@70.14.75.194.dyn.plus.net) |
| 10:06:50 | × | dcoutts quits (~duncan@70.14.75.194.dyn.plus.net) (Changing host) |
| 10:06:50 | → | dcoutts joins (~duncan@unaffiliated/dcoutts) |
| 10:06:59 | × | Guest44502 quits (2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) (Remote host closed the connection) |
| 10:07:26 | → | testasjkdflk joins (2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) |
| 10:07:41 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099) (Remote host closed the connection) |
| 10:10:39 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 10:11:11 | × | justache quits (~justache@unaffiliated/justache) (Remote host closed the connection) |
| 10:12:31 | → | justache joins (~justache@unaffiliated/justache) |
| 10:13:56 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 10:16:25 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:17:12 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:21:08 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:23:15 | → | Clough joins (~Cain@203.220.28.77) |
| 10:26:15 | → | Guest_50 joins (907c8df3@avp1.pip.aber.ac.uk) |
| 10:26:44 | <Guest_50> | im trying to download on mac but having issues, could anyone help? |
| 10:27:56 | → | miguel_clean joins (~Miguel@89-72-187-203.dynamic.chello.pl) |
| 10:28:09 | → | Dolly joins (585fc8fd@ti0203q160-3035.bb.online.no) |
| 10:29:01 | <miguel_clean> | eh, I let my programm run over the weekend with +RTS -p but the resulting .prof file only reports a total time of ~120seconds... while the programm was taking up around 100-200% cores for all the time.. what am I missing? |
| 10:29:12 | <yushyin> | Guest_50: what are you trying exactly? |
| 10:29:29 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:30:00 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 10:31:00 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Client Quit) |
| 10:31:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:32:08 | → | jedws joins (~jedws@121.209.139.222) |
| 10:33:27 | × | jedws quits (~jedws@121.209.139.222) (Client Quit) |
| 10:33:34 | × | testasjkdflk quits (2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) (Remote host closed the connection) |
| 10:34:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 10:39:18 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 10:39:33 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:43:07 | <dminuoso> | gentauro: Well this is definitely not a CPU intensive code path. |
| 10:43:27 | → | kasdjf joins (2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) |
| 10:44:12 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 10:44:37 | <dminuoso> | cpressey: Mmm, well the UTCTime I would still float out since that's common to *every* log occurence anyway,. |
| 10:44:47 | <dminuoso> | But I see what you mean. |
| 10:45:53 | × | jgt quits (~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 256 seconds) |
| 10:46:30 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 10:49:46 | → | jgt joins (~jgt@46.250.27.223.pool.breezein.net) |
| 10:50:41 | → | Tops2 joins (~Tobias@dyndsl-095-033-025-158.ewe-ip-backbone.de) |
| 10:50:47 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:c494:5a0b:fe0f:9b26) (Ping timeout: 240 seconds) |
| 10:51:32 | → | Alleria_ joins (~AllahuAkb@2604:2000:1484:26:152c:c49d:783f:dfa7) |
| 10:53:10 | <maerwald> | yushyin: some course must have started |
| 10:53:25 | <yushyin> | seems so :D |
| 10:53:43 | × | mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 246 seconds) |
| 10:53:54 | <MarcelineVQ> | maerwald: must be rough, hang in there |
| 10:54:04 | × | jgt quits (~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 246 seconds) |
| 10:56:07 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:152c:c49d:783f:dfa7) (Ping timeout: 260 seconds) |
| 10:56:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:57:15 | → | Alleria_ joins (~AllahuAkb@69.202.254.168) |
| 10:58:54 | → | jgt joins (~jgt@46.250.27.223.pool.breezein.net) |
| 11:01:03 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 11:02:35 | × | rprije quits (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 240 seconds) |
| 11:03:14 | × | Guest_50 quits (907c8df3@avp1.pip.aber.ac.uk) (Remote host closed the connection) |
| 11:03:40 | → | v_m_v joins (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) |
| 11:03:43 | × | jgt quits (~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 260 seconds) |
| 11:04:03 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-miajzzxztjikfpri) |
| 11:04:57 | → | mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se) |
| 11:06:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:06:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 11:07:07 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds) |
| 11:08:04 | → | jgt joins (~jgt@46.250.27.223.pool.breezein.net) |
| 11:08:40 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 11:10:45 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 11:11:10 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 11:11:33 | <yushyin> | maybe just add a faq entry, 'macOS common gotchas' |
| 11:12:05 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 11:12:28 | × | jgt quits (~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 260 seconds) |
| 11:12:48 | <MarcelineVQ> | From what I've seen the most common gotcha is not reading the terminal output, and not pasting it into google to find out what it means if you do |
| 11:13:00 | <MarcelineVQ> | In that particular case a faq would go unread as well, imo |
| 11:13:02 | <fendor> | wasn't this mainly "I dont know about PATH"? |
| 11:13:16 | <maerwald> | MarcelineVQ: well, I just added https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/3e429945dcd90bf65ed49dc36683c3d6ed37aa28 |
| 11:13:19 | <fendor> | hard to write an FAQ about that |
| 11:13:22 | <ph88> | I have a typeclass with getStart and getStop Is there syntax that i automatically get getDuration for any instance that implements this typeclass ?? |
| 11:13:33 | <maerwald> | which I think isn't really such a good idea, but it might decrease the noise here |
| 11:13:43 | <fendor> | maerwald, :+1: |
| 11:14:31 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 11:15:31 | <ph88> | i think i found my answer here https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts.html#default-method-signatures |
| 11:16:01 | <MarcelineVQ> | ph88: Oh ok I was gonna ask if getDuration was also part of the class |
| 11:16:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:17:16 | → | jgt joins (~jgt@46.250.27.223.pool.breezein.net) |
| 11:17:20 | <MarcelineVQ> | mind that it doesn't need to be a class method, for the most part all you can do with a start and an end to get a duration is subtract, so there's not a huge point to having it be its own method as opposed to just a function you export that uses the class's methods |
| 11:17:26 | <lortabac> | ph88: including getDuration in the class makes sense if there is a possibility to provide a more efficient implementation for some instances |
| 11:17:44 | <lortabac> | otherwise a normal function is a better idea |
| 11:18:04 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 272 seconds) |
| 11:18:56 | × | v_m_v quits (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection) |
| 11:19:27 | <ph88> | lortabac, why would you say a normal function is better ? |
| 11:19:31 | → | owenowen joins (~owen@2a02:8084:d6c4:5700:64d9:defe:2add:6398) |
| 11:20:31 | <lortabac> | ph88: if the implementation is always the same, why should it be a class method? |
| 11:20:33 | <MarcelineVQ> | Because most defintions will just be getstart, dothing, get end, end - start |
| 11:20:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 11:23:03 | → | v_m_v joins (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) |
| 11:24:47 | × | bitmagie quits (~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de) (Quit: bitmagie) |
| 11:26:03 | × | _hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 11:26:38 | × | owenowen quits (~owen@2a02:8084:d6c4:5700:64d9:defe:2add:6398) (Quit: Leaving.) |
| 11:26:51 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:28:11 | × | jespada quits (~jespada@90.254.241.6) (Ping timeout: 240 seconds) |
| 11:29:17 | → | tchouri joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 11:29:28 | tchouri | is now known as hekkaidekapus |
| 11:30:35 | → | jespada joins (~jespada@90.254.241.6) |
| 11:31:32 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 11:33:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:37:05 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:41:30 | × | auri_ quits (~auri_@fsf/memeber/auri-) (Ping timeout: 272 seconds) |
| 11:41:39 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 11:42:12 | × | chaosmasttter quits (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 11:44:09 | → | Lycurgus joins (~niemand@98.4.96.130) |
| 11:45:07 | × | v_m_v quits (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection) |
| 11:45:26 | → | v_m_v joins (~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099) |
| 11:47:28 | × | alx741_ quits (~alx741@186.178.110.72) (Ping timeout: 260 seconds) |
| 11:47:50 | × | aurieeeh quits (~aurieh@static.91.102.243.136.clients.your-server.de) (Ping timeout: 272 seconds) |
| 11:48:36 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:48:58 | hackage | acc 0.1 - Sequence optimized for monoidal construction and folding https://hackage.haskell.org/package/acc-0.1 (NikitaVolkov) |
| 11:49:47 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099) (Ping timeout: 260 seconds) |
| 11:50:41 | → | auri_ joins (~auri_@fsf/memeber/auri-) |
| 11:51:05 | → | aurieeeh joins (~aurieh@static.91.102.243.136.clients.your-server.de) |
| 11:52:34 | × | kasdjf quits (2e0592c5@HSI-KBW-046-005-146-197.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 245 seconds) |
| 11:52:59 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 11:56:37 | → | chaosmasttter joins (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) |
| 11:56:53 | × | cpressey quits (~cpressey@79-72-202-6.dynamic.dsl.as9105.com) (Quit: WeeChat 1.9.1) |
| 11:59:13 | → | TheScoop joins (~TheScoop@unaffiliated/tryte) |
| 11:59:33 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-ufxmssfsrzweqpvh) (Quit: Connection closed for inactivity) |
| 12:00:01 | × | v4hn quits (~v4hn@185.244.214.216) () |
| 12:00:02 | → | alx741_ joins (~alx741@181.196.69.150) |
| 12:03:29 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:04:11 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:05:34 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds) |
| 12:07:06 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) (Read error: Connection reset by peer) |
| 12:08:31 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 12:09:47 | → | ubert joins (~Thunderbi@178.165.129.225.wireless.dyn.drei.com) |
| 12:10:10 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 12:10:47 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 12:12:20 | → | svipal joins (5baf3116@91-175-49-22.subs.proxad.net) |
| 12:13:59 | <svipal> | Yo |
| 12:14:14 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:14:18 | <svipal> | Contexts not working for some reason in my projects that use inline-c |
| 12:14:47 | <svipal> | I have literally the same code as my old projects but somehow not working ? what is this black magic |
| 12:15:09 | <svipal> | ah |
| 12:15:09 | <svipal> | AH |
| 12:15:11 | <svipal> | nvm |
| 12:15:15 | <merijn> | New compiler? New version? New...? |
| 12:15:22 | <svipal> | No I'm just dumb |
| 12:15:23 | <merijn> | Copy paste fuck up? :p |
| 12:15:29 | <svipal> | W o r s e |
| 12:15:38 | <merijn> | You forgot to hit save! |
| 12:16:12 | <svipal> | No I just switched which of the two names in the type table I was supposed to quote in the C code zzzzzzz |
| 12:16:22 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 12:16:37 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 12:18:14 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 272 seconds) |
| 12:18:46 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 12:19:36 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 12:20:00 | → | schwuk joins (~schwuk@185.244.214.216) |
| 12:20:54 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit) |
| 12:21:12 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 12:22:09 | × | svipal quits (5baf3116@91-175-49-22.subs.proxad.net) (Ping timeout: 245 seconds) |
| 12:24:06 | → | Saukk joins (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) |
| 12:25:38 | × | jgt quits (~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 256 seconds) |
| 12:28:26 | → | svipal joins (5baf3116@91-175-49-22.subs.proxad.net) |
| 12:28:54 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:29:29 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 12:30:27 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 240 seconds) |
| 12:30:30 | → | igghibu joins (~igghibu@37.120.201.90) |
| 12:30:34 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Quit: WeeChat 2.9) |
| 12:32:22 | × | igghibu quits (~igghibu@37.120.201.90) (Client Quit) |
| 12:32:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 12:33:41 | → | zyextant joins (~zyextant@217.138.205.68) |
| 12:33:49 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 12:34:27 | × | ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds)) |
| 12:35:15 | → | ahri joins (~ahri@178.209.40.84) |
| 12:35:46 | <svipal> | with stack/cabal can I specify where to install a foreign lib once it's built ? |
| 12:35:47 | × | ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds) |
| 12:35:58 | → | ryansmccoy joins (~ryansmcco@156.96.151.132) |
| 12:37:19 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 12:38:44 | <Xnuk> | Is it worth for trying cabal v2+ over stack? |
| 12:39:06 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:39:35 | → | darjeeling_ joins (~darjeelin@122.245.121.113) |
| 12:40:02 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 12:41:22 | <svipal> | No idea |
| 12:41:34 | <svipal> | Honestly I'm just using stack because it works for me |
| 12:41:47 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 240 seconds) |
| 12:42:45 | → | jgt joins (~jgt@46.250.27.223.pool.breezein.net) |
| 12:43:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 12:43:46 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection) |
| 12:44:30 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 12:45:39 | → | v_m_v joins (~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) |
| 12:46:37 | <[exa]> | Xnuk: does your setup explicitly require stack? (if not, you can avoid a lot of cruft) |
| 12:48:05 | × | alp quits (~alp@2a01:e0a:58b:4920:9c53:5eed:91e4:af76) (Ping timeout: 246 seconds) |
| 12:48:15 | <hc> | I'm getting the impression that stack is not entirely popular in the larger haskell community? |
| 12:49:12 | <dminuoso> | Xnuk: Try it and see whether you like it? |
| 12:49:16 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds) |
| 12:49:17 | <dminuoso> | It's, mostly, a drop in solution |
| 12:49:27 | <yushyin> | hc: more of a 50:50 split |
| 12:49:27 | <dminuoso> | Just run hpack once, then you can try cabal directly with your project |
| 12:49:40 | <dminuoso> | In most cases it will just work, but you might have to adapt version bounds. |
| 12:49:53 | <Uniaika> | hc: you can't have absolutes in a 30-year old community :) |
| 12:50:04 | <dminuoso> | But really, stack and cabal are not the same thing, they have different mentalities. |
| 12:50:39 | <hc> | By the way, are there any plans to allow multiple versions of the same package in the same binary? |
| 12:50:53 | <dminuoso> | hc: No. |
| 12:50:59 | <dminuoso> | Or rather, this presents really big challenges |
| 12:51:06 | <dminuoso> | If you allowed that, you could not have interop between them |
| 12:51:25 | → | drbean joins (~drbean@TC210-63-209-90.static.apol.com.tw) |
| 12:51:29 | <hc> | I never looked into the implications; I just know that rust does it and it seems to work around certain issues for them pretty well |
| 12:51:34 | <Xnuk> | Is there no more butterfly version resolving in cabal? |
| 12:52:25 | <dminuoso> | Say if you got `t :: T` from libraryT 1.1, can you pass that to `f :: T -> A` from libraryT 1.2? |
| 12:52:37 | <dminuoso> | How can we know whether this is safe? |
| 12:52:52 | <Uniaika> | you'd have to encode that somehow in the interface file |
| 12:53:36 | <hc> | hmm, two packages of the same version would never need to "interact" directly |
| 12:53:36 | <yushyin> | oh this reminds me of JS and npm, and I'm getting nightmares |
| 12:53:37 | <dminuoso> | And this might be obvious if you're the immediate user of those two, but through transitive versions, this can lead to highly incoherent code. |
| 12:53:53 | <dminuoso> | Things become just much simpler if you demand coherency |
| 12:53:56 | <Uniaika> | Xnuk: I think not? The last mention of it was from 2011 but I don't know anybody who does that in real-life |
| 12:53:57 | <hc> | I wonder what rust did to make this work? |
| 12:54:26 | <dminuoso> | hc: Are you sure you are not conflating things? |
| 12:54:40 | <dminuoso> | Are you sure rust allows multiple versions of the same crate in a binary? |
| 12:54:49 | <hc> | dminuoso: positive |
| 12:54:52 | <dminuoso> | Fair enough |
| 12:54:58 | <hc> | but only 99% sure |
| 12:55:00 | <hc> | ;p |
| 12:55:02 | → | alp joins (~alp@2a01:e0a:58b:4920:8d98:8295:f2f0:8a3d) |
| 12:55:26 | <dminuoso> | hc: I see, so Ive looked at what Rust does, and it does the only reasonable thing |
| 12:55:31 | <dminuoso> | It provides *no* interop between them |
| 12:55:41 | <dminuoso> | So `T` from libraryT 1.1 and 1.2 are different types. |
| 12:55:54 | <dminuoso> | And the symbols are hashed, so that they cant link |
| 12:56:08 | <Uniaika> | > Cargo can indeed link multiple versions of some crate, but only one of those versions can be a direct dependency. The others are indirect references. |
| 12:56:10 | <lambdabot> | <hint>:1:41: error: <hint>:1:41: error: parse error on input ‘of’ |
| 12:56:12 | <dminuoso> | (that is, they are prefixed with a version hash, so that you cant resolve a mix-match) |
| 12:56:16 | <idnar> | dminuoso: I thought ghc did allow this the same way |
| 12:56:20 | <Uniaika> | from two years ago, dminuoso https://stackoverflow.com/questions/51714866/is-it-documented-that-cargo-can-download-and-bundle-multiple-versions-of-the-sam |
| 12:57:04 | <dminuoso> | idnar: Possibly if you manually link? |
| 12:57:14 | <dminuoso> | At least, with cabal you cant since it attempts to generate a coherent build plan |
| 12:57:26 | <dminuoso> | So if you have two conflicting version constraints, cabal will error out |
| 12:57:29 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 12:58:59 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 12:59:31 | × | svipal quits (5baf3116@91-175-49-22.subs.proxad.net) (Remote host closed the connection) |
| 12:59:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:59:33 | <dminuoso> | I think this is rather an artifact of cabal old-style |
| 12:59:53 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 13:01:47 | → | catkiki joins (~catkiki@m90-134-157-227.cust.tele2.hr) |
| 13:02:07 | → | st8less joins (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) |
| 13:02:07 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 13:02:11 | × | alexm_ quits (~alexm_@161.8.233.138) (Read error: Connection reset by peer) |
| 13:02:41 | → | alexm_ joins (~alexm_@161.8.233.138) |
| 13:03:28 | × | st8less quits (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Client Quit) |
| 13:03:42 | → | st8less joins (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) |
| 13:03:53 | → | raichoo joins (~raichoo@213.240.178.58) |
| 13:04:27 | × | st8less quits (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Client Quit) |
| 13:05:05 | × | Saukk quits (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection) |
| 13:05:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 13:06:41 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:06:58 | → | st8less joins (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) |
| 13:07:47 | × | Clough quits (~Cain@203.220.28.77) (Read error: Connection reset by peer) |
| 13:10:14 | → | FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) |
| 13:10:58 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:a1dd:f1b1:6d57:5dcc) |
| 13:11:33 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 13:13:13 | → | Voyager3 joins (45bff138@69.191.241.56) |
| 13:13:29 | × | Voyager3 quits (45bff138@69.191.241.56) (Remote host closed the connection) |
| 13:16:26 | × | FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Remote host closed the connection) |
| 13:16:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:18:45 | × | jespada quits (~jespada@90.254.241.6) (Ping timeout: 240 seconds) |
| 13:19:02 | → | FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) |
| 13:20:04 | × | FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Remote host closed the connection) |
| 13:20:27 | → | FreeBirdLjj joins (~freebirdl@101.87.171.62) |
| 13:21:13 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 13:21:58 | → | jespada joins (~jespada@90.254.241.6) |
| 13:22:28 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) (Remote host closed the connection) |
| 13:22:54 | → | cpressey joins (~cpressey@79-72-202-6.dynamic.dsl.as9105.com) |
| 13:23:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 13:25:14 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 13:25:44 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 13:26:57 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:27:01 | → | solonarv joins (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) |
| 13:28:42 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 13:29:27 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 13:29:35 | → | cpressey1 joins (~cpressey@79-72-202-115.dynamic.dsl.as9105.com) |
| 13:31:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 13:32:20 | × | cpressey quits (~cpressey@79-72-202-6.dynamic.dsl.as9105.com) (Ping timeout: 272 seconds) |
| 13:32:24 | cpressey1 | is now known as cpressey |
| 13:32:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:33:57 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 13:34:21 | × | ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds)) |
| 13:34:47 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 13:34:52 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds) |
| 13:35:00 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:a1dd:f1b1:6d57:5dcc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:35:27 | → | ahri joins (~ahri@178.209.40.84) |
| 13:35:55 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
| 13:35:57 | × | Sanchayan quits (~Sanchayan@136.185.169.201) (Quit: leaving) |
| 13:37:51 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 13:38:22 | <amf> | is there a limit on the number of constructors a sum type can have? |
| 13:39:31 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 13:40:06 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:c91d:ce79:28bc:1ecb) |
| 13:40:20 | <dminuoso> | amf: Do a quick attempt with TH to find out? ;) |
| 13:40:33 | <dminuoso> | The language itself poses no restriction here. |
| 13:41:07 | <dminuoso> | There likely is some implementation limitation, maybe something along the lines of 2^32-1 constructors? |
| 13:41:11 | <dminuoso> | On GHC anyway |
| 13:42:16 | <amf> | yeah i could try TH, but was hoping for it documented somewhere, ghc isn't complaining, but im only at 255 |
| 13:42:29 | <dminuoso> | amf: Fun fact: https://hackage.haskell.org/package/ghc-prim-0.6.1/docs/src/GHC.Tuple.html#%28%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%2C%29 |
| 13:42:33 | <dminuoso> | (See the comment below) |
| 13:42:43 | <dminuoso> | I tried to nail this down a while ago, the issue was never found. |
| 13:43:57 | <int-e> | Oh, commas. |
| 13:45:11 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 13:45:25 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 13:50:30 | <amf> | now i'm wondering what kind of ascii art one could make with data declarations |
| 13:50:31 | <dminuoso> | amf: So the GHC doesnt complain with at least 100,000 constructors. |
| 13:51:09 | <dminuoso> | Keep in mind that, performance wise, GHC really doesn't fare well with many constructors. :p |
| 13:51:27 | hackage | replace-attoparsec 1.4.2.0 - Find, replace, and split string patterns with Attoparsec parsers (instead of regex) https://hackage.haskell.org/package/replace-attoparsec-1.4.2.0 (JamesBrock) |
| 13:52:03 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 13:52:30 | <amf> | far more than i thought, that should cover my needs. i cant imagine the ieft adding a lot more to the icmpv6 types/codes |
| 13:53:40 | → | rekahsoft joins (~rekahsoft@fitz10681.telemetry.esentire.com) |
| 13:55:46 | × | drbean quits (~drbean@TC210-63-209-90.static.apol.com.tw) (Ping timeout: 272 seconds) |
| 13:55:56 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 13:57:25 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
| 13:58:47 | × | alp quits (~alp@2a01:e0a:58b:4920:8d98:8295:f2f0:8a3d) (Ping timeout: 246 seconds) |
| 14:00:37 | → | ystael joins (~ystael@209.6.50.55) |
| 14:01:54 | ← | scottschecter parts (~scottsche@thewolf.schecterandco.com) ("The Lounge - https://thelounge.chat") |
| 14:02:51 | × | ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Quit: leaving) |
| 14:03:08 | → | ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf) |
| 14:03:36 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:c91d:ce79:28bc:1ecb) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:04:36 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:8d20:3f6d:2878:b061) |
| 14:05:49 | → | ski joins (~ski@m-1163-19.studat.chalmers.se) |
| 14:06:20 | × | jgt quits (~jgt@46.250.27.223.pool.breezein.net) (Ping timeout: 256 seconds) |
| 14:06:29 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:06:32 | × | cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Quit: Disappeared in a puff of smoke) |
| 14:07:40 | → | coot joins (~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl) |
| 14:07:49 | → | Saukk joins (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) |
| 14:07:58 | → | cp- joins (~cp-@b157153.ppp.asahi-net.or.jp) |
| 14:09:01 | × | cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Client Quit) |
| 14:09:58 | → | cp- joins (~cp-@b157153.ppp.asahi-net.or.jp) |
| 14:10:58 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 14:11:18 | <dminuoso> | amf: I tried with 1G constructors, but there appears to be something exponential in terms of memory usage.. |
| 14:11:25 | <dminuoso> | Sorry, *1million |
| 14:11:58 | <dminuoso> | Or rather, that started swapping GHC memory. |
| 14:12:07 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 14:12:14 | <dminuoso> | At that point, I aborted after 15 minutes. :p |
| 14:13:39 | × | coot quits (~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 14:13:40 | <tomsmeding> | to be honest I'm not surprised that ghc gets all flustered when you give it a 1M-constructor sum type |
| 14:15:09 | → | coot joins (~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl) |
| 14:15:12 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-ssqdypdoaselcqyh) |
| 14:15:25 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 14:16:08 | → | clever joins (~clever@NixOS/user/clever) |
| 14:16:35 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:16:47 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 14:17:23 | <MarcelineVQ> | not at all, especiall if you're going to derive anything |
| 14:17:58 | <dminuoso> | Imagine doing generics with that :> |
| 14:18:16 | <dminuoso> | https://xkcd.com/303/ |
| 14:19:04 | <MarcelineVQ> | now that would be: waiting for CI logs to update |
| 14:19:16 | × | Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection) |
| 14:19:18 | × | sw1nn quits (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9) |
| 14:20:55 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 14:21:00 | → | v_m_v joins (~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) |
| 14:21:06 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 14:21:20 | → | sw1nn joins (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) |
| 14:21:21 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 14:22:07 | <ph88> | lortabac, why would you say a normal function is better ? |
| 14:22:16 | <ph88> | lortabac, sorry wrong window :P |
| 14:22:57 | → | machinedgod joins (~machinedg@45.78.189.122) |
| 14:24:47 | × | esp32_prog quits (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) (Remote host closed the connection) |
| 14:25:04 | → | esp32_prog joins (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) |
| 14:26:18 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-khkttiiavzeefazc) |
| 14:27:06 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 14:27:34 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:8d20:3f6d:2878:b061) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:28:15 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 14:30:24 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 14:30:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:30:48 | × | catkiki quits (~catkiki@m90-134-157-227.cust.tele2.hr) (Ping timeout: 260 seconds) |
| 14:31:16 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 14:32:02 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:c0bc:5e09:a33a:1919) |
| 14:34:26 | × | ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds)) |
| 14:34:30 | → | kelsey joins (~keteskyl@2600:6c64:7b7f:fa42:8860:7453:7229:ac21) |
| 14:34:43 | m1dnight_ | is now known as m1d |
| 14:34:52 | m1d | is now known as m1dnight_ |
| 14:34:53 | kelsey | is now known as keteskyl |
| 14:35:12 | → | ahri joins (~ahri@178.209.40.84) |
| 14:35:13 | → | p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) |
| 14:35:43 | × | BalterNotz quits (ca420871@202.66.8.113) (Remote host closed the connection) |
| 14:36:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:36:46 | → | mu_ joins (~mu@unaffiliated/mu) |
| 14:37:53 | × | zyextant quits (~zyextant@217.138.205.68) (Read error: Connection reset by peer) |
| 14:39:11 | → | Dolly joins (585fc8fd@ti0203q160-3035.bb.online.no) |
| 14:39:18 | × | Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection) |
| 14:39:28 | × | FreeBirdLjj quits (~freebirdl@101.87.171.62) (Remote host closed the connection) |
| 14:40:04 | → | FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) |
| 14:40:37 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:c0bc:5e09:a33a:1919) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:40:59 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 14:43:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 14:43:34 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) |
| 14:43:53 | → | John20 joins (~John@82.46.59.122) |
| 14:43:53 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 14:44:11 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 240 seconds) |
| 14:44:13 | <tomsmeding> | that generics Rep type would be the hugest thing ever |
| 14:44:27 | hackage | acc 0.1.0.1 - Sequence optimized for monoidal construction and folding https://hackage.haskell.org/package/acc-0.1.0.1 (NikitaVolkov) |
| 14:44:31 | → | mu_ joins (~mu@unaffiliated/mu) |
| 14:45:07 | × | FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Ping timeout: 260 seconds) |
| 14:45:08 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 14:45:32 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 14:45:36 | → | ryansmccoy joins (~ryansmcco@156.96.151.132) |
| 14:46:06 | × | mu_ quits (~mu@unaffiliated/mu) (Client Quit) |
| 14:46:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:47:20 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-rzmwmtzgbawceqym) |
| 14:49:06 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) (Remote host closed the connection) |
| 14:50:01 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 264 seconds) |
| 14:50:27 | → | ryansmccoy joins (~ryansmcco@68.235.48.108) |
| 14:50:48 | → | FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) |
| 14:53:27 | × | acidjnk_new quits (~acidjnk@p200300d0c72378044c2002cf67e0d923.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:55:07 | × | FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Ping timeout: 240 seconds) |
| 14:56:24 | <ph88> | how come runReaderT takes 3 arguments like in runReaderT (modify (+ 2)) var at https://www.fpcomplete.com/blog/2017/06/readert-design-pattern/ but it's type signature has just one argument runReaderT :: r -> m a |
| 14:56:29 | <ph88> | 2 * |
| 14:59:56 | → | spew joins (uid195861@gateway/web/irccloud.com/x-annkkxabwayrojjt) |
| 15:00:02 | × | schwuk quits (~schwuk@185.244.214.216) () |
| 15:00:09 | <ski> | @type runReaderT |
| 15:00:11 | <lambdabot> | ReaderT r m a -> r -> m a |
| 15:00:57 | → | alp joins (~alp@2a01:e0a:58b:4920:6866:e0a9:2220:cc41) |
| 15:01:22 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 15:01:25 | → | mmohammadi98129 joins (~mmohammad@188.210.120.20) |
| 15:01:37 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 15:01:39 | <ski> | you're bitten by mixing up the type of the field `runReaderT' with the type of the field selection/projection function, which (unfortunately, imho), also happen to be spelled in the same way |
| 15:01:53 | <ski> | ph88 ^ |
| 15:02:08 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 15:02:57 | <ph88> | thanks ski |
| 15:03:08 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:03:16 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
| 15:03:22 | Lord_of_Life_ | is now known as Lord_of_Life |
| 15:04:04 | <ph88> | strange .. i also can't find the right runReaderT ! |
| 15:05:40 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.) |
| 15:07:02 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 15:07:35 | <ph88> | Is it possible to use Maybe Monad when also IO actions are needed ? https://bpa.st/FKYA |
| 15:07:48 | <ski> | "the right runReaderT" ? |
| 15:08:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 15:08:13 | <ski> | maybe you want to use `MaybeT IO' ? |
| 15:08:51 | <ski> | (or `MaybeT m' where `MonadIO m', possibly) |
| 15:10:53 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 15:10:53 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:11:08 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 15:11:09 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 15:11:36 | → | knupfer joins (~Thunderbi@200116b8245ab000d5392c0ae5e224f3.dip.versatel-1u1.de) |
| 15:11:58 | hackage | path-utils 0.1.1.0 - Handful of simple utility functions for the path library. https://hackage.haskell.org/package/path-utils-0.1.1.0 (locallycompact) |
| 15:12:48 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 15:13:23 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:13:56 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 15:14:37 | → | bloodstalker joins (~bloodstal@46.166.187.178) |
| 15:14:38 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:14:40 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 15:16:53 | → | rayer joins (path@gateway/shell/xshellz/x-wnmzeedxnwlaimsy) |
| 15:19:25 | → | wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 15:19:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 15:20:11 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 15:21:19 | → | jchia_ joins (~jchia@45.32.62.73) |
| 15:22:20 | × | jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection) |
| 15:23:20 | <ph88> | ski, i meant when you say there are two different runReaderT and the second being "type of the field selection/projection function" |
| 15:23:23 | → | jchia_ joins (~jchia@45.32.62.73) |
| 15:23:43 | → | Dolly joins (585fc8fd@ti0203q160-3035.bb.online.no) |
| 15:24:07 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds) |
| 15:24:17 | → | Saten-san joins (~Saten-san@ip-213-49-123-116.dsl.scarlet.be) |
| 15:25:26 | × | jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection) |
| 15:26:30 | → | jchia_ joins (~jchia@58.32.37.220) |
| 15:27:04 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 15:27:47 | × | chaosmasttter quits (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 15:28:34 | × | Saukk quits (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection) |
| 15:28:49 | × | ubert quits (~Thunderbi@178.165.129.225.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 15:30:55 | × | Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 246 seconds) |
| 15:31:02 | × | lemald quits (~eddie@capybara.lemald.org) (Quit: WeeChat 2.2) |
| 15:31:59 | → | lemald joins (~eddie@capybara.lemald.org) |
| 15:33:47 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 15:34:22 | <ski> | ph88 : well, if you define `data Frob = MkFrob { foo :: Int,bar :: Maybe String,baz :: Int -> IO Bool }', then this declares `Frob' (or rather `MkFrob') to use record syntax, with the fields `foo',`bar',`baz' having the indicated types |
| 15:35:41 | <ski> | so if you write `MkFrob { bar = ...,foo = ...,baz = ... }', the types of these expressions `...' will have to be the listed types above. and similarly if you use record update syntax, like `myFrob { foo = newFoo }' |
| 15:36:27 | <ski> | but if you just use the field names, in other contexts, they actually work as field extraction functions, of types `foo :: Frob -> Int',`bar :: Frob -> Maybe String',`baz :: Frob -> Int -> IO Bool' |
| 15:37:34 | × | MattMareo quits (~mattl@unaffiliated/mattmareo) (Quit: WeeChat 2.7.1) |
| 15:37:35 | <ski> | imho, it would have been better if there'd been so additional piece of syntax, marking the field extraction functions. like maybe `#baz :: Frob -> Int -> IO Bool', prefixing a `#' to indicate the extraction function (SML does this) |
| 15:37:45 | → | MattMareo joins (~mattl@unaffiliated/mattmareo) |
| 15:37:47 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:38:47 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 15:40:28 | hackage | path-dhall-instance 0.1.0.0 - ToDhall and FromDhall instances for Path. https://hackage.haskell.org/package/path-dhall-instance-0.1.0.0 (locallycompact) |
| 15:40:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 15:41:15 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) |
| 15:42:15 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 244 seconds) |
| 15:45:38 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 15:45:44 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 15:47:48 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:51:27 | hackage | vulkan-utils 0.1.2 - Utils for the vulkan package https://hackage.haskell.org/package/vulkan-utils-0.1.2 (jophish) |
| 15:52:19 | × | mmohammadi98129 quits (~mmohammad@188.210.120.20) (Quit: I quit (╯°□°）╯︵ ┻━┻) |
| 15:53:16 | → | mmohammadi9812 joins (~mmohammad@188.210.120.20) |
| 15:53:46 | → | ubert joins (~Thunderbi@178.165.129.225.wireless.dyn.drei.com) |
| 15:55:08 | → | robbiet480 joins (~robbiet48@84.39.117.57) |
| 15:55:28 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds) |
| 15:55:35 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 16:00:29 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:00:42 | → | bitmagie joins (~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de) |
| 16:04:17 | × | ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds)) |
| 16:04:57 | × | cpressey quits (~cpressey@79-72-202-115.dynamic.dsl.as9105.com) (Quit: WeeChat 1.9.1) |
| 16:06:11 | wroathe_ | is now known as wroathe |
| 16:06:31 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 260 seconds) |
| 16:07:28 | × | polyrain quits (~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:07:46 | × | Saten-san quits (~Saten-san@ip-213-49-123-116.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 16:08:56 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 16:10:01 | → | owenowen joins (~owen@2a02:8084:d6c4:5700:c9e0:a9c6:7765:7680) |
| 16:11:11 | → | Saten-san joins (~Saten-san@ip-213-49-123-116.dsl.scarlet.be) |
| 16:13:05 | × | p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Remote host closed the connection) |
| 16:16:40 | → | softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 16:17:37 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:18:25 | → | Rudd0^ joins (~Rudd0@185.189.115.98) |
| 16:18:30 | × | owenowen quits (~owen@2a02:8084:d6c4:5700:c9e0:a9c6:7765:7680) (Quit: Leaving.) |
| 16:18:32 | × | Saten-san quits (~Saten-san@ip-213-49-123-116.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 16:20:27 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 16:21:23 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-rdeeidynjivnuofk) |
| 16:22:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 16:23:03 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 16:23:13 | <AWizzArd> | Using Cabal 2.4.1.0 I specified version 0.1.0 in .cabal and got Warning: foo.abal:0:0: Version digit with leading zero. Use cabal-version: 2.0 or later to write such versions. |
| 16:23:23 | <AWizzArd> | abal => cabal |
| 16:25:05 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) |
| 16:25:13 | → | lucid_0x80 joins (~lucid_0x8@85.132.71.57) |
| 16:25:14 | <c_wraith> | what cabal-version value do you have in the .cabal file? |
| 16:25:27 | <AWizzArd> | c_wraith: I left that out. Will try it with. |
| 16:25:44 | <c_wraith> | I mean, the message is explicitly telling you to set it to 2.0 or higher... |
| 16:25:44 | → | slack1256 joins (~slack1256@181.203.81.7) |
| 16:25:52 | <AWizzArd> | c_wraith: It seems I can do this `cabal-version: >= 2` – is that okay? |
| 16:26:04 | ← | slack1256 parts (~slack1256@181.203.81.7) () |
| 16:26:05 | <AWizzArd> | c_wraith: I tried to set 2.4 but it complained that this wouldn’t be possible. |
| 16:26:09 | <AWizzArd> | >= 2.4 |
| 16:26:11 | <c_wraith> | unless you explicitly need features from a newer version, yes |
| 16:26:22 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 16:27:07 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 16:27:23 | × | ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 16:27:23 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 16:28:23 | → | mu_ joins (~mu@unaffiliated/mu) |
| 16:28:50 | × | bitmagie quits (~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de) (Quit: bitmagie) |
| 16:29:07 | dsf_ | is now known as dsf |
| 16:30:18 | × | esp32_prog quits (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) (Remote host closed the connection) |
| 16:31:18 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 16:31:39 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 16:31:54 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 16:32:01 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 16:33:25 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 16:33:53 | → | tzh joins (~tzh@2601:448:c500:5300::82b3) |
| 16:34:15 | → | LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) |
| 16:36:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:37:26 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 16:37:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 16:38:08 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 16:38:11 | → | reppertj joins (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) |
| 16:41:55 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Read error: Connection reset by peer) |
| 16:42:12 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 16:42:16 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 16:43:22 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 16:45:59 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:46:02 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 16:47:12 | → | Guest18 joins (567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102) |
| 16:47:27 | × | sw1nn quits (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9) |
| 16:47:28 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 16:47:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 16:48:58 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 246 seconds) |
| 16:50:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:50:14 | → | sw1nn joins (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) |
| 16:50:29 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:50:33 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 16:50:34 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 16:50:37 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds) |
| 16:51:29 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:53:28 | hackage | bytestring-tree-builder 0.2.7.4 - A very efficient ByteString builder implementation based on the binary tree https://hackage.haskell.org/package/bytestring-tree-builder-0.2.7.4 (NikitaVolkov) |
| 16:54:36 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection) |
| 16:54:47 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 16:55:12 | → | Saten-san joins (~Saten-san@ip-213-49-123-116.dsl.scarlet.be) |
| 16:55:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 16:56:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:57:24 | × | mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 256 seconds) |
| 16:57:25 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 16:57:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 17:02:19 | → | nineonine joins (~nineonine@216.81.48.202) |
| 17:02:34 | × | ubert quits (~Thunderbi@178.165.129.225.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 17:02:34 | × | nineonine quits (~nineonine@216.81.48.202) (Read error: Connection reset by peer) |
| 17:02:48 | → | nineonine joins (~nineonine@216.81.48.202) |
| 17:03:04 | × | nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection) |
| 17:03:24 | → | nineonine joins (~nineonine@216.81.48.202) |
| 17:04:14 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 17:06:14 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:1464:cd8d:ea3f:dc1) |
| 17:07:29 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 17:07:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 17:10:12 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 17:10:59 | → | John20 joins (~John@82.46.59.122) |
| 17:11:36 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 17:11:48 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:11a:d787:daec:4989) |
| 17:12:03 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 17:12:13 | → | ddellacosta joins (~dd@86.106.121.168) |
| 17:12:15 | → | dansho joins (~dansho@ip68-108-167-185.lv.lv.cox.net) |
| 17:13:22 | × | machinedgod quits (~machinedg@45.78.189.122) (Ping timeout: 272 seconds) |
| 17:14:46 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 17:14:51 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 17:16:01 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:16:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 17:17:24 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 17:17:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 17:18:29 | → | Turmfalke joins (~user@unaffiliated/siracusa) |
| 17:18:57 | × | alp quits (~alp@2a01:e0a:58b:4920:6866:e0a9:2220:cc41) (Ping timeout: 272 seconds) |
| 17:19:41 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 246 seconds) |
| 17:20:28 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds) |
| 17:20:33 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 260 seconds) |
| 17:20:35 | × | Saten-san quits (~Saten-san@ip-213-49-123-116.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 17:20:58 | hackage | passman 0.2.1 - a simple password manager https://hackage.haskell.org/package/passman-0.2.1 (jlamothe) |
| 17:22:37 | → | alp joins (~alp@2a01:e0a:58b:4920:898:f28c:1e34:e5ee) |
| 17:22:46 | → | Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch) |
| 17:25:57 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-khkttiiavzeefazc) (Quit: Connection closed for inactivity) |
| 17:27:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:27:26 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 17:28:18 | → | mu_ joins (~mu@unaffiliated/mu) |
| 17:28:46 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 17:29:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:29:36 | × | knupfer quits (~Thunderbi@200116b8245ab000d5392c0ae5e224f3.dip.versatel-1u1.de) (Remote host closed the connection) |
| 17:29:44 | → | knupfer joins (~Thunderbi@200116b8245ab000e96e2ee7c428c349.dip.versatel-1u1.de) |
| 17:29:58 | hackage | zettelkast 0.2.0.0 - Command-line utility for working with zettelkast files https://hackage.haskell.org/package/zettelkast-0.2.0.0 (MasseR) |
| 17:30:36 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 17:31:08 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 17:32:05 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 17:34:45 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:11a:d787:daec:4989) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:34:47 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 17:35:10 | → | ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
| 17:35:40 | → | catkiki joins (~catkiki@m90-134-157-227.cust.tele2.hr) |
| 17:36:07 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds) |
| 17:37:01 | → | p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) |
| 17:37:16 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 17:37:19 | × | murphy_ quits (~murphy_@2604:2000:1281:8a9e:d1f4:d14c:3b99:af32) (Ping timeout: 272 seconds) |
| 17:37:30 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 17:37:39 | → | murphy_ joins (~murphy_@2604:2000:1281:8a9e:46d4:9a6b:fb19:e552) |
| 17:37:57 | → | mu_ joins (~mu@unaffiliated/mu) |
| 17:40:46 | × | ADG1089 quits (~adg1089@110.227.116.50) (Remote host closed the connection) |
| 17:41:07 | <AWizzArd> | In Emacs (trying to use the Haskell Language Server) I run a shell in which I run `cabal new-repl`. When loading a file in there I see These modules are needed for compilation but not listed in your .cabal file's other-modules |
| 17:41:17 | <AWizzArd> | Yet I do have those modules listed. |
| 17:41:34 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:11a:d787:daec:4989) |
| 17:42:29 | <AWizzArd> | It probably has nothing to do with the HLS. It’s just my interaction with Cabal I guess. |
| 17:43:30 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 17:43:35 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 17:43:36 | <AWizzArd> | How can I convince Cabal 2.4.1.0 to stop printing this warning inside a `cabal new-repl` when trying to `:l Foo`? It tells me that Foo is not listed in other-modules, but my .cabal file has Foo as an entry there, in that section. |
| 17:43:38 | → | gnum_yabba joins (ac696eac@172.105.110.172) |
| 17:45:58 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:11a:d787:daec:4989) (Client Quit) |
| 17:47:37 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 17:47:54 | × | darjeeling_ quits (~darjeelin@122.245.121.113) (Ping timeout: 256 seconds) |
| 17:47:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 17:48:17 | ← | miguel_clean parts (~Miguel@89-72-187-203.dynamic.chello.pl) () |
| 17:48:31 | × | gnum_yabba quits (ac696eac@172.105.110.172) (Remote host closed the connection) |
| 17:48:45 | → | jneira joins (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) |
| 17:48:49 | → | darjeeling_ joins (~darjeelin@122.245.121.113) |
| 17:49:02 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 17:50:49 | → | oo_miguel joins (~miguel@89-72-187-203.dynamic.chello.pl) |
| 17:51:31 | × | oo_miguel quits (~miguel@89-72-187-203.dynamic.chello.pl) (Client Quit) |
| 17:51:41 | <AWizzArd> | I only have an Executable section defined, and multiple .hs files. Is that a correct setup for Cabal? |
| 17:51:59 | <AWizzArd> | Or should I have only my Main.hs under `Executable` and move everything else into a `Library`? |
| 17:52:05 | × | hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-nddutmibnpfeonkf) (Quit: killed) |
| 17:52:48 | <sm[m]> | AWizzArd: either is fine |
| 17:52:49 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 17:53:11 | <sm[m]> | re that warning, I think that's a known cabal bug, you'll find it in the issue tracker |
| 17:53:16 | → | machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net) |
| 17:53:47 | × | knupfer quits (~Thunderbi@200116b8245ab000e96e2ee7c428c349.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 17:53:54 | <AWizzArd> | sm[m]: so even with this setup of having three .hs files, all under src/ and only having an `executable` section – this should allow me to use the repl without the `missing-home-modules` warning? |
| 17:54:00 | <sm[m]> | at least, there is a situation in which it gives a similar warning, not sure if it's the same |
| 17:54:51 | <sm[m]> | heh I put my foot in it |
| 17:55:18 | → | Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch) |
| 17:56:18 | <sm[m]> | @where pastecabalstack perhaps, AWizzArd |
| 17:56:18 | <lambdabot> | Help us help you: at https://paste.tomsmeding.com, https://gist.github.com or https://termbin.com, please paste your failing command, full output, and .cabal, package.yaml and/or stack.yaml files |
| 17:57:51 | <monochrom> | AWizzArd: "other-modules:" |
| 17:57:51 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 17:57:57 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 17:57:57 | <AWizzArd> | sm[m]: https://dpaste.com/F4DZ7J7J5 |
| 17:58:04 | → | mu_ joins (~mu@unaffiliated/mu) |
| 17:58:12 | <AWizzArd> | Interestingly: cabal new-build accepts my other-modules. |
| 17:58:44 | <AWizzArd> | I can temporarily remove one of my other-module entries and `cabal new-build` will complain. But when both are present then there are zero warnings. |
| 17:58:52 | <AWizzArd> | Only `cabal new-repl` seems to not find them. |
| 17:59:03 | <monochrom> | Ah I didn't read the whole question. I don't know. |
| 18:00:01 | × | robbiet480 quits (~robbiet48@84.39.117.57) () |
| 18:00:48 | → | hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-iqydoavyrkykkzgo) |
| 18:01:33 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Remote host closed the connection) |
| 18:01:46 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 18:02:06 | <sm[m]> | AWizzArd: does cabal new-repl -v give any clues ? |
| 18:02:50 | <sm[m]> | my other-modules does not have commas, maybe that's breaking it ? |
| 18:03:20 | → | knupfer joins (~Thunderbi@200116b8245ab00028129ffffe1c7ec1.dip.versatel-1u1.de) |
| 18:03:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 18:03:35 | → | knupfer1 joins (~Thunderbi@i59F7FF46.versanet.de) |
| 18:03:47 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds) |
| 18:04:02 | × | keteskyl quits (~keteskyl@2600:6c64:7b7f:fa42:8860:7453:7229:ac21) (Ping timeout: 260 seconds) |
| 18:04:25 | <sm[m]> | it looks like commas are optional in other-modules (though not in build-depends) |
| 18:05:09 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 18:05:57 | <AWizzArd> | The -v doesn’t show anything meaningful. And with or without comma also doesn’t make the warning go away. Strange. |
| 18:06:31 | <AWizzArd> | I also just tried `cabal repl`. It behaves the same was as `cabal new-repl`. |
| 18:06:53 | <sm[m]> | perhaps a bug report |
| 18:07:08 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection) |
| 18:07:25 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 18:07:25 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 18:07:26 | × | knupfer quits (~Thunderbi@200116b8245ab00028129ffffe1c7ec1.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 18:07:26 | knupfer1 | is now known as knupfer |
| 18:07:55 | <dolio> | If you're using the current cabal-install, then `cabal repl` is the same as `cabal new-repl`. |
| 18:07:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 18:08:07 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 18:08:57 | <AWizzArd> | dolio: I am using a cabal-install in a pinned Nix version, where it gives me Cabal 2.4.1.0 |
| 18:09:12 | <dolio> | Ah, okay. |
| 18:09:55 | <AWizzArd> | Maybe in some other project I will be using a newer version of Cabal and possibly that behaviour is no longer there. |
| 18:10:25 | <maerwald> | why is stack so slow at cloning repos? |
| 18:10:45 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 18:11:22 | <maerwald> | and: it seems to clone the same repe multiple times if you use subidrs (cabal doesn't) |
| 18:12:13 | → | jdgr joins (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) |
| 18:12:53 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Client Quit) |
| 18:13:19 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 18:13:33 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Client Quit) |
| 18:14:01 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 18:14:07 | <dolio> | Well, it'd probably be good to check before bothering with filing a bug, because filing one against old versions of cabal probably won't do much. |
| 18:14:07 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds) |
| 18:14:57 | → | CaptainFox[m] joins (onianimatr@gateway/shell/matrix.org/x-afvmemlusngzinxu) |
| 18:15:19 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 18:15:52 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 18:17:01 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 18:17:18 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 18:17:33 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 18:17:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 18:19:51 | <AWizzArd> | dolio: Yes. It also seems to be working, and it’s just this warning that keeps appearing. |
| 18:20:29 | × | softwarm quits (4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 245 seconds) |
| 18:21:16 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 18:21:19 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 18:21:54 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds) |
| 18:22:04 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds) |
| 18:22:13 | → | Andy2011Zoe joins (~Andy2011Z@185.204.1.185) |
| 18:22:25 | <CaptainFox[m]> | Is this channel active? |
| 18:22:29 | <pjb> | Yes. |
| 18:22:34 | <CaptainFox[m]> | Awesome! |
| 18:25:21 | → | chaosmasttter joins (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) |
| 18:28:00 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 18:28:05 | → | mu__ joins (~mu@unaffiliated/mu) |
| 18:28:13 | × | ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 18:29:57 | × | Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection) |
| 18:30:43 | × | Lycurgus quits (~niemand@98.4.96.130) (Quit: Exeunt) |
| 18:31:16 | × | lucid_0x80 quits (~lucid_0x8@85.132.71.57) (Ping timeout: 272 seconds) |
| 18:33:02 | → | isovector1 joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 18:33:22 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 18:33:44 | <sm[m]> | AWizzArd: what dolio said.. I didn't know your cabal was old |
| 18:34:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:35:25 | <ddellacosta> | Is there a good resource for learning about Haskell/GHC and type system properties like soundness, totality, completeness, (or lack thereof, why certain choices were made) etc.? |
| 18:37:08 | <ddellacosta> | I'm not finding much in the Haskell 2010 report so far, but may be looking in the wrong place |
| 18:37:25 | × | mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 18:37:50 | <dolio> | Types and Programming Languages? |
| 18:37:59 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 18:38:05 | → | mu_ joins (~mu@unaffiliated/mu) |
| 18:38:14 | <Rembane> | +1 |
| 18:38:59 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 18:39:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 18:39:51 | <ddellacosta> | okay, I didn't think that was about Haskell in particular, but I'll take a look. I guess some of this is knowing that e.g. because it uses Hindley Milner it has specific properties? I was just hoping to find something that discusses this stuff in the context of Haskell specifically |
| 18:40:06 | <dolio> | It's not about Haskell. |
| 18:41:22 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Read error: Connection reset by peer) |
| 18:42:02 | <Rembane> | It has a Haskell appendix though, but the things it discusses are true for Haskell too |
| 18:43:06 | → | acidjnk_new joins (~acidjnk@p200300d0c72378045c7b1a0a573f1493.dip0.t-ipconnect.de) |
| 18:43:23 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 18:43:48 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 18:43:51 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-gvtsuqkvrqeloqyq) |
| 18:45:14 | <dolio> | If you want to know about choices made for GHC, there are lots of papers about the ways the type system has changed. But it likely requires background to read them. |
| 18:45:32 | <ddellacosta> | okay, fair enough. Thanks dolio and Rembane |
| 18:45:43 | × | coot quits (~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds) |
| 18:45:54 | <dolio> | And the background required is more general than just Haskell/GHC. |
| 18:46:00 | <Rembane> | ddellacosta: No worries, good luck! |
| 18:48:01 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 18:48:06 | → | mu__ joins (~mu@unaffiliated/mu) |
| 18:49:28 | → | Dolly joins (585fc8fd@ti0203q160-3035.bb.online.no) |
| 18:53:25 | <AWizzArd> | sm[m]: I think the "solution" for this current project is ghc-options: -fno-warn-missing-home-modules |
| 18:53:50 | <AWizzArd> | ghci seems to care about that one :) |
| 18:55:40 | × | mmohammadi9812 quits (~mmohammad@188.210.120.20) (Ping timeout: 246 seconds) |
| 18:56:10 | × | shafox quits (~shafox@106.51.234.111) (Remote host closed the connection) |
| 18:56:49 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 18:57:30 | × | mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 18:58:01 | → | mu_ joins (~mu@unaffiliated/mu) |
| 18:59:38 | → | FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4081:4bbf:4e36:ac98) |
| 19:00:23 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 19:00:25 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.) |
| 19:01:27 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 19:01:30 | → | Enrico63 joins (5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net) |
| 19:03:47 | × | darjeeling_ quits (~darjeelin@122.245.121.113) (Ping timeout: 240 seconds) |
| 19:04:22 | × | FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4081:4bbf:4e36:ac98) (Ping timeout: 260 seconds) |
| 19:04:47 | <Enrico63> | Hello, I've installed `haskell-language-server` and set things up in Vim for having completions. However I'm not sure how to take advantage of that. Maybe the language server is simply not meant to be useful for completion? Please, give a look at this short screencast: https://asciinema.org/a/Hce9ZH3iRdOUg1wDkuicMNLqy |
| 19:06:44 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 19:07:05 | → | darjeeling_ joins (~darjeelin@122.245.121.113) |
| 19:07:41 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 19:08:03 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 19:08:22 | → | mu_ joins (~mu@unaffiliated/mu) |
| 19:08:49 | → | lucid_0x80 joins (~lucid_0x8@188.253.237.9) |
| 19:08:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:10:59 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 19:14:06 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 19:14:26 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 19:14:37 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds) |
| 19:15:55 | × | Varis quits (~Tadas@unaffiliated/varis) (Client Quit) |
| 19:16:52 | × | p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 256 seconds) |
| 19:17:06 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 19:17:06 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 19:17:24 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 19:17:55 | × | knupfer quits (~Thunderbi@i59F7FF46.versanet.de) (Ping timeout: 265 seconds) |
| 19:17:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 19:20:30 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:21:09 | <sm[m]> | great! |
| 19:24:12 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 19:24:38 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 19:25:50 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 19:25:58 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 19:26:14 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 19:27:06 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 19:27:35 | → | zrythm159 joins (49633d7a@gateway/web/cgi-irc/kiwiirc.com/ip.73.99.61.122) |
| 19:27:35 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 19:27:56 | → | mu_ joins (~mu@unaffiliated/mu) |
| 19:28:13 | <zrythm159> | www.indocron.net |
| 19:28:15 | ← | zrythm159 parts (49633d7a@gateway/web/cgi-irc/kiwiirc.com/ip.73.99.61.122) () |
| 19:29:46 | → | argent0 joins (~argent0@168.227.96.7) |
| 19:30:49 | × | mu_ quits (~mu@unaffiliated/mu) (Client Quit) |
| 19:32:19 | → | mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se) |
| 19:32:42 | × | Quarl quits (~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer) |
| 19:36:16 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:36:51 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 19:38:12 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 19:38:52 | <argent0> | Hi, can somebody explaime what this code does? https://bpa.st/75QWALMVSHDRTW6SR2ASAHI53E. In particular, is line 4 a guard? Seems to match the case level == 1 but what about the `variant == PlainText` part. What about line 8, 19 and 21. Is the ViewPatterns extions at work here? |
| 19:40:14 | <cohn> | is there a version of Data.Map that doesn't return a Maybe? |
| 19:40:18 | <Rembane> | argent0: Yes, it's a case expression with guards, quite neat. It's defined for Haskell 98, let me find the relevant section of the report for you. |
| 19:40:30 | <Rembane> | cohn: Which operations do you want to have no Maybe for? |
| 19:40:49 | × | alp quits (~alp@2a01:e0a:58b:4920:898:f28c:1e34:e5ee) (Ping timeout: 272 seconds) |
| 19:41:08 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 19:41:10 | <cohn> | Rembane: I'm creating an enumeration of the characters of the alphabet and need to look up a character and get the Integer associated |
| 19:41:29 | <cohn> | so, e.g. `lookup 'a' -> 1`, etc... |
| 19:41:53 | <Rembane> | argent0: I didn't find any name, but it's in 3.13: https://www.haskell.org/onlinereport/exps.html |
| 19:42:05 | <argent0> | Rembane: ok, thanks |
| 19:42:08 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 19:42:21 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 19:42:22 | <Rembane> | argent0: No worries. |
| 19:42:46 | <Rembane> | cohn: So, if I do a lookup 'A', how will you handle that? |
| 19:43:26 | <cohn> | convert to lowercase since it's case-insensitive |
| 19:43:26 | <argent0> | cohn: may want to try Array Char Int |
| 19:43:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 19:44:08 | → | archaephyrryx joins (~archaephy@straasha.imrryr.org) |
| 19:44:26 | <cohn> | good point since I don't need lazy evaluation |
| 19:44:34 | <cohn> | :q |
| 19:44:35 | <cohn> | bah |
| 19:44:42 | <Rembane> | cohn: ord in Data.Char might be useful too |
| 19:45:14 | <cohn> | Rembane: true, thanks! |
| 19:45:16 | <archaephyrryx> | if I have a list of strict bytestrings and I want to join them and also apply a word8->word8 map over the result, is it better to apply the transformation over the list elements and join, or to join and then transform? |
| 19:45:49 | → | dnlkrgr joins (~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de) |
| 19:46:02 | <Guest18> | Can anybody help me with a little problem i have regarding an implementation of the filter function? |
| 19:46:13 | <Rembane> | Guest18: Shoot! |
| 19:46:13 | <archaephyrryx> | Guest18: over which type? |
| 19:46:23 | <Guest18> | Any type, I guess |
| 19:46:35 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 19:46:36 | <archaephyrryx> | I am assuming lists |
| 19:46:43 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:46:59 | <Guest18> | So my thinking was, i use pattern-matching to split into head and tails |
| 19:47:02 | <Guest18> | yes, lists |
| 19:47:40 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 19:48:23 | <Guest18> | then i check to see if the head satisfies the predicate. If it does, keep it to the list and filter the tail, otherwise just filter the tail |
| 19:48:57 | <Guest18> | the tutorial i am following added a little thing though |
| 19:49:01 | <Enrico63> | (I'm pasting my own message from 1h ago, maybe that was not the right time of the day...) Hello, I've installed `haskell-language-server` and set things up in Vim for having completions. However I'm not sure how to take advantage of that. Maybe the language server is simply not meant to be useful for completion? Please, give a look at this short |
| 19:49:02 | <Enrico63> | screencast: https://asciinema.org/a/Hce9ZH3iRdOUg1wDkuicMNLqy |
| 19:49:51 | <Guest18> | archaephyrryx: he added a case in which it gets an empty list, as an edge case, and returns an empty list |
| 19:50:02 | → | coot joins (~coot@37.30.59.210.nat.umts.dynamic.t-mobile.pl) |
| 19:50:07 | <Guest18> | so the recursion ends |
| 19:50:26 | <Guest18> | but as far as i can tell, my version behaves okay without that case |
| 19:50:38 | <ski> | show your code ? |
| 19:50:47 | <Guest18> | and i am wondering if it's necesarry and my function will break at some point |
| 19:50:49 | <archaephyrryx> | Guest18: the pattern match is irrefutable if you don't have a case that isn't matched by (x:xs) |
| 19:50:59 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 19:51:11 | <Guest18> | filter' :: (a -> Bool) -> [a] -> [a] |
| 19:51:12 | <Guest18> | filter' f (x:xs) |
| 19:51:12 | <Guest18> | | f x == False = filter' f xs |
| 19:51:13 | <Guest18> | | otherwise = x : filter' f xs -- my code |
| 19:51:27 | → | ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
| 19:51:29 | <archaephyrryx> | Guest18: unless you are working with infinite lists your code will run into a [] and fail |
| 19:51:30 | <Guest18> | his code added this: filter _ [] = [] |
| 19:51:50 | <ski> | > let filter' :: (a -> Bool) -> [a] -> [a]; filter' f (x:xs) | f x == False = filter' f xs | otherwise = x : filter' f xs in filter' even [0,1,2,3,4,5,6,7] |
| 19:51:52 | <lambdabot> | [0,2,4,6*Exception: <interactive>:3:43-119: Non-exhaustive patterns in funct... |
| 19:52:30 | <Guest18> | so it's not an edge case? |
| 19:52:42 | <ski> | it's a termination case, when to stop looping |
| 19:52:46 | <yushyin> | Enrico63: https://paste.xinu.at/2EnyX1/ looks like this to me with vim-lsp + set omnifunc=lsp#complete the rendering of the popup-preview sucks.will have to fix that but no time yet. |
| 19:52:48 | <ski> | > let filter' :: (a -> Bool) -> [a] -> [a]; filter' f (x:xs) | f x == False = filter' f xs | otherwise = x : filter' f xs in filter' even [] |
| 19:52:49 | <ph88> | hey guys, what's the best way to use stack with private packages ?? |
| 19:52:51 | <archaephyrryx> | Guest18: as a side note you don't actually need the '== False' bit, you just need to swap the guard RHS |
| 19:52:51 | <lambdabot> | *Exception: <interactive>:3:43-119: Non-exhaustive patterns in function filter' |
| 19:53:02 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 19:53:15 | <lyxia> | ph88: use the extra-deps field of stack.yaml? |
| 19:53:24 | <ski> | yes, it's more idiomatic to say `not (...)' rather than `... == False'. but here you can just flip the order |
| 19:53:47 | <ph88> | lyxia, then pointing to what ? |
| 19:53:57 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 19:54:12 | <ski> | Guest18 : you could say it's an edge case, if you want to. but it's a necessary case, to have a complete definition, that will work as expected for any input |
| 19:54:15 | <glguy> | ski: not ... == True? :nod: ;) |
| 19:54:26 | ski | smirks |
| 19:55:44 | <Guest18> | archaephyrryx: can you clarify what 'swapping the guard' means? Still a beginner, took up haskell a week ago |
| 19:56:20 | <archaephyrryx> | 'filter f (x:xs) | f x = x : filter xs | otherwise = filter xs' |
| 19:56:26 | <ski> | Guest18 : changing the order of the two cases (don't keep element / keep element), and adjusting the guard conditions accordingly |
| 19:57:12 | <archaephyrryx> | you would still keep the 'f _ [] = []' though to make the pattern match complete |
| 19:57:16 | <Enrico63> | yushyin, sorry for the dumb question, but is `vim-lsp` an alternative to youcompleteme (if you know it) or something that can be leveraged by it? |
| 19:57:16 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 19:57:25 | <archaephyrryx> | sorry, 'filter _ [] = []' (not f) |
| 19:58:32 | <Guest18> | ah, so i remove the False because f is already a predicate and returns Bool |
| 19:58:38 | <archaephyrryx> | exactly |
| 19:58:40 | × | macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 272 seconds) |
| 19:58:52 | <archaephyrryx> | and you would just adjust the logic accordingly |
| 19:59:35 | <yushyin> | Enrico63: just minimal vim-script only LSP client for vim. more of an alternative to YCM |
| 19:59:47 | <Guest18> | yes, because now it will return true and it needs to keep the element |
| 19:59:47 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 20:00:13 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 258 seconds) |
| 20:00:16 | <Guest18> | i mean, if it returns true |
| 20:00:25 | <Guest18> | i got it, thanks! |
| 20:00:46 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 246 seconds) |
| 20:01:01 | <ski> | generally, you don't need to compare things with `False' or `True' |
| 20:01:16 | <ski> | either use the condition directly, or negate it |
| 20:01:50 | <Guest18> | bad habit from imperative programming i guess |
| 20:01:52 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 20:02:05 | <ski> | it's also considered bad style, in imperative programming :) |
| 20:02:29 | <archaephyrryx> | i was about to say, booleans are booleans are booleans |
| 20:02:42 | <archaephyrryx> | even when they aren't strictly typed |
| 20:02:49 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 20:02:55 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
| 20:02:57 | <ski> | anyway, if you have some argument function, that returns a `Bool'ean, then it's quite common to call it `p' (for "predicate" or "property") instead of `f' |
| 20:02:58 | hackage | persistent-template 2.9 - Type-safe, non-relational, multi-backend persistence. https://hackage.haskell.org/package/persistent-template-2.9 (MaxGabriel) |
| 20:03:18 | <Guest18> | depends who you ask, i find it a little more readable i guess, especially when negating. I would much rather see 'if (condition == false)' than 'if (!condition)' |
| 20:03:38 | <ski> | i'd rather see the latter |
| 20:03:40 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 20:03:49 | <Guest18> | to each their own :) |
| 20:04:16 | <Guest18> | i sometimes miss the little ! and it becomes infuriating |
| 20:04:31 | <Guest18> | maybe i need to change the font |
| 20:04:53 | <archaephyrryx> | in C where non-zero values are true-ish and zero is false-ish, it would be awkward to explicitly test equality |
| 20:05:13 | <archaephyrryx> | "!(!x) = 1" just looks bad |
| 20:05:24 | <ski> | (also, please don't use `if' where one branch is `False' or `True'. use logical operations like `&&' and `||' instead (possibly with `not', if required). also applies for guards) |
| 20:05:43 | <koz_> | Where can I find some information on the structure of a cabal.project file? |
| 20:05:44 | <archaephyrryx> | "!(!x) == 1" is what I meant, i did the bad thing |
| 20:06:01 | <ski> | archaephyrryx : could be Java or C# or something |
| 20:06:22 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 20:06:28 | <Guest18> | archaephyrryx: i rarely program in C nowadays, mostly C# now |
| 20:06:39 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 20:06:41 | <yushyin> | koz_: https://cabal.readthedocs.io/en/3.4/cabal-projectindex.html#cap-cabal.project%20fields |
| 20:06:50 | <koz_> | yushyin: Thanks! |
| 20:07:18 | <Guest18> | anyhoo. i am off! thanks for the help |
| 20:07:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:07:21 | <Guest18> | :q |
| 20:07:23 | <ski> | yw |
| 20:07:35 | × | Guest18 quits (567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102) (Quit: Connection closed) |
| 20:07:48 | <yushyin> | (this is not vim :P) |
| 20:07:54 | <lyxia> | ph88: pointing to the directory containing a package |
| 20:08:06 | → | mu_ joins (~mu@unaffiliated/mu) |
| 20:08:07 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 246 seconds) |
| 20:08:22 | <koz_> | Also, phadej: does cabal-fmt handle cabal.project files as well? |
| 20:09:58 | <archaephyrryx> | returning the the question I asked a while ago, does the order of intercalate and map on [ByteString] (strict) affect performance meaningfully |
| 20:10:03 | <maerwald> | koz_: all this trouble, just because someone didn't pick a common format, such as toml... |
| 20:10:16 | <monochrom> | Clearly, guards are better than both "if condition then else" and "if not condition then else". |
| 20:10:19 | <koz_> | Also, for the subdir field of source-repository-package, can I have multiple things, or can it only be one? |
| 20:10:33 | → | son0p joins (~son0p@181.136.122.143) |
| 20:10:53 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit) |
| 20:11:07 | × | remexre quits (~nathan@207-153-38-50.fttp.usinternet.com) (Ping timeout: 240 seconds) |
| 20:11:09 | × | javran quits (~javran@76.126.242.127) (Read error: Connection reset by peer) |
| 20:11:10 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 20:11:31 | × | Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection) |
| 20:11:32 | <monochrom> | guards are the closest to what David Parnas promotes for "explicitly enumerate all cases and what to do respectively" |
| 20:12:02 | <monochrom> | (for example in his SCR) |
| 20:12:13 | <koz_> | monochrom: SCR? |
| 20:13:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 20:13:22 | → | remexre joins (~nathan@207-153-38-50.fttp.usinternet.com) |
| 20:13:23 | × | mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Remote host closed the connection) |
| 20:13:48 | → | mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se) |
| 20:14:10 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer) |
| 20:14:54 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 20:14:57 | <yushyin> | maerwald: yeah or XML! |
| 20:15:14 | <maerwald> | loo |
| 20:15:58 | <maerwald> | <comment>I used openbox window manager once, which has XML config format </comment> |
| 20:16:03 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 20:16:46 | <yushyin> | wrong syntax for comments! |
| 20:18:01 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 20:18:07 | → | mu__ joins (~mu@unaffiliated/mu) |
| 20:20:45 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds) |
| 20:22:02 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 20:22:03 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds) |
| 20:23:03 | → | obihann joins (~jhann@156.34.160.69) |
| 20:23:59 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 20:24:51 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-mzqqgajmshcqybbf) |
| 20:25:42 | <jtojnar> | is it possible to have a function `Applicative f => f (a -> b -> c) -> f (a, b) -> f c`? |
| 20:25:55 | <jtojnar> | I can only come up with a definition using Monad |
| 20:25:58 | <dolio> | Yes. |
| 20:27:37 | × | mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 20:28:06 | → | mu_ joins (~mu@unaffiliated/mu) |
| 20:29:59 | <jtojnar> | oh, fmap uncurry |
| 20:31:20 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 20:35:24 | × | Rudd0^ quits (~Rudd0@185.189.115.98) (Ping timeout: 272 seconds) |
| 20:36:18 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 20:37:40 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 20:37:50 | × | lucid_0x80 quits (~lucid_0x8@188.253.237.9) (Ping timeout: 256 seconds) |
| 20:38:07 | → | mu_ joins (~mu@unaffiliated/mu) |
| 20:39:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:39:24 | × | obihann quits (~jhann@156.34.160.69) (Quit: Lost terminal) |
| 20:40:53 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 20:41:27 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 20:44:18 | × | coot quits (~coot@37.30.59.210.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 20:44:40 | → | alp joins (~alp@2a01:e0a:58b:4920:763f:d838:3a1b:fda) |
| 20:44:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 20:45:27 | hackage | uniqueness-periods-vector-common 0.4.0.0 - Generalization of the dobutokO-poetry-general package functionality https://hackage.haskell.org/package/uniqueness-periods-vector-common-0.4.0.0 (OleksandrZhabenko) |
| 20:45:55 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 20:46:05 | × | dnlkrgr quits (~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1) |
| 20:47:43 | → | pepzi joins (~robert@h-4-217-30.A328.priv.bahnhof.se) |
| 20:47:43 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 20:48:07 | → | mu_ joins (~mu@unaffiliated/mu) |
| 20:48:18 | pepzi | is now known as pepzi__ |
| 20:48:35 | <ski> | jtojnar : not `fmap' |
| 20:48:41 | × | isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving) |
| 20:48:49 | × | ggole quits (~ggole@2001:8003:8119:7200:827:6ea2:4828:53c5) (Quit: Leaving) |
| 20:49:02 | pepzi__ | is now known as pepzi |
| 20:49:36 | → | rprije joins (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) |
| 20:51:02 | <hekkaidekapus> | @type (<*>) -- jtojnar |
| 20:51:04 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 20:51:39 | → | totallynotnate joins (~nate@125.161.70.37) |
| 20:53:58 | × | Amras quits (~Amras@unaffiliated/amras0000) (Remote host closed the connection) |
| 20:55:28 | <jtojnar> | @type (<*>) . (fmap uncurry) -- I meant this, ski |
| 20:55:30 | <lambdabot> | Applicative f => f (a -> b1 -> b2) -> f (a, b1) -> f b2 |
| 20:55:44 | <ski> | @type liftA2 uncurry |
| 20:55:45 | <lambdabot> | Applicative f => f (a -> b -> c) -> f (a, b) -> f c |
| 20:57:55 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 20:58:07 | → | mu__ joins (~mu@unaffiliated/mu) |
| 20:58:10 | → | Wuzzy joins (~Wuzzy@p5b0df9fe.dip0.t-ipconnect.de) |
| 20:58:25 | → | jwynn6 joins (~jwynn6@050-088-122-078.res.spectrum.com) |
| 20:59:42 | <jtojnar> | oh, that is even nicer, thanks. I misread liftA2 signature and prematurely discarded it |
| 21:00:01 | × | Andy2011Zoe quits (~Andy2011Z@185.204.1.185) () |
| 21:00:03 | <hekkaidekapus> | @src liftA2 |
| 21:00:03 | <lambdabot> | liftA2 f a b = f <$> a <*> b |
| 21:00:20 | <ski> | @src (<$>) |
| 21:00:21 | <lambdabot> | f <$> a = fmap f a |
| 21:00:44 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 21:01:02 | × | ech quits (~user@gateway/tor-sasl/ech) (Remote host closed the connection) |
| 21:01:10 | <hekkaidekapus> | jtojnar: As you see, you can define (<*>) using liftA2 and vice versa. |
| 21:01:22 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 21:02:45 | <hekkaidekapus> | That’s what `:info Applicative` is telling you when you see `{-# MINIMAL pure, ((<*>) | liftA2) #-}`. |
| 21:02:50 | × | mu__ quits (~mu@unaffiliated/mu) (Ping timeout: 256 seconds) |
| 21:02:57 | <ddellacosta> | this is still "state of the art" wrt Haskell's type system currently, right? I mean, leaving aside how extensions may affect it |
| 21:02:59 | <ddellacosta> | https://stackoverflow.com/a/25255551 |
| 21:03:43 | <jtojnar> | yeah, I literally wrote the definition of liftA2 before transforming it to pointfree form |
| 21:04:27 | → | isovector1 joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 21:04:33 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds) |
| 21:05:56 | <jtojnar> | I love how rich the libraries are |
| 21:05:58 | <ddellacosta> | this is a nice pattern |
| 21:06:00 | <ddellacosta> | > (\a b -> if (a > b) then a else b) <$> Just 2 <*> Just 1 |
| 21:06:03 | <lambdabot> | Just 2 |
| 21:06:19 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 21:06:37 | <ddellacosta> | stupid example but you get the drift |
| 21:06:57 | hackage | uniqueness-periods-vector-general 0.4.4.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.4.4.0 (OleksandrZhabenko) |
| 21:08:17 | × | mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Remote host closed the connection) |
| 21:08:38 | → | mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se) |
| 21:09:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:11:12 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 21:12:10 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 21:14:59 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 21:15:58 | hackage | uniqueness-periods-vector-examples 0.7.0.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.7.0.0 (OleksandrZhabenko) |
| 21:16:51 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 21:18:26 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 21:19:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:19:43 | × | archaephyrryx quits (~archaephy@straasha.imrryr.org) (Ping timeout: 260 seconds) |
| 21:23:09 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.) |
| 21:24:33 | × | argent0 quits (~argent0@168.227.96.7) (Ping timeout: 265 seconds) |
| 21:26:23 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 21:29:02 | → | sepi joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) |
| 21:30:58 | hackage | uniqueness-periods-vector-examples 0.7.1.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.7.1.0 (OleksandrZhabenko) |
| 21:33:07 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds) |
| 21:34:02 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 21:34:35 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 21:35:27 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds) |
| 21:36:10 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 21:36:58 | hackage | network-types-icmp 1.0.0.0 - Types for representing ICMP and ICMPv6 messages. https://hackage.haskell.org/package/network-types-icmp-1.0.0.0 (adamflott) |
| 21:37:04 | <cohn> | is there a function to get the fractional part of a double? |
| 21:37:14 | <cohn> | so, e.g. 4.47 -> 0.47 |
| 21:37:27 | <dolio> | > mod' 4.47 1.0 |
| 21:37:29 | <lambdabot> | 0.46999999999999975 |
| 21:37:56 | <cohn> | dolio: thanks |
| 21:37:59 | × | Enrico63 quits (5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net) (Ping timeout: 245 seconds) |
| 21:38:10 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 21:38:31 | × | chaosmasttter quits (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 21:38:38 | <cohn> | dolio: where does `mod'` live? It doesn't appear to be in Prelude |
| 21:39:15 | <dolio> | I forget exactly. Maybe Data.Fixed. |
| 21:39:23 | <ddellacosta> | yeah ^ |
| 21:39:23 | <cohn> | dolio: yea, that's what Hoogle says |
| 21:39:28 | → | argent0 joins (~argent0@168.227.96.4) |
| 21:39:28 | × | johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
| 21:39:31 | <monochrom> | I think properFraction is the more common way. |
| 21:39:33 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 21:39:35 | <dolio> | Even though it operates on floating point numbers. |
| 21:39:39 | <monochrom> | > properFraction 4.47 |
| 21:39:41 | <lambdabot> | (4,0.46999999999999975) |
| 21:40:07 | <dolio> | Oh, yeah, that's probably better. |
| 21:40:31 | × | mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer) |
| 21:40:43 | → | madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net) |
| 21:41:04 | <dolio> | mod' is probably using properFraction with additional arithmetic or something. |
| 21:41:15 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 21:41:52 | <monochrom> | But mod' is very useful and general when it is like "the remainder after taking out integral chunks of pi" :) |
| 21:42:20 | × | reppertj quits (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 21:42:37 | <dolio> | I guess it isn't, but it looks like mod' is more complicated. |
| 21:44:45 | <monochrom> | In retrospect with hindsight, mod' would be provided in Prelude along with all the other common arithmetic operations. Because even common floating point hardware has an instruction for it. |
| 21:45:37 | <dolio> | Yeah, that'd be nice. It looks like mod' isn't actually using that, unless there are some rewrite rules. |
| 21:47:22 | <monochrom> | Ah, I cited hardware just for some kind of evidence for "it is a frequently wished-for thing". |
| 21:50:03 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 21:53:17 | × | fendor quits (~fendor@77.119.128.154.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:53:42 | × | LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 21:54:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 21:56:11 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 21:56:16 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds) |
| 21:57:24 | → | mu_ joins (~mu@unaffiliated/mu) |
| 21:58:00 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8) |
| 21:59:14 | × | sepi quits (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 22:00:47 | → | brandonchinn178 joins (43bce2b8@67.188.226.184) |
| 22:01:56 | × | brandonchinn178 quits (43bce2b8@67.188.226.184) (Remote host closed the connection) |
| 22:03:17 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 22:04:14 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:04:14 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 22:04:39 | → | mu_ joins (~mu@unaffiliated/mu) |
| 22:04:49 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 22:05:02 | <dansho> | what do i need to install on linus mint to run ghcup? |
| 22:05:22 | <dansho> | im getting libtinfo cant load shared library, but its installed |
| 22:05:36 | <Uniaika> | ah, maybe conflicting libraries? |
| 22:05:50 | <hpc> | a particular version it's expecting? |
| 22:05:51 | <Uniaika> | dansho: here, ghcup is a statically-linked executable |
| 22:06:04 | <Uniaika> | dansho: what is the result of `ldd /path/to/ghcup` ? |
| 22:06:52 | <amf> | anyone have an example of using hpack's conditionals to support multiple ghc versions? getting my feet wet with travis/github actions |
| 22:07:11 | <Uniaika> | amf: yes, 2sec |
| 22:07:30 | <dansho> | Uniaika, there is no executable, i run `curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh` |
| 22:07:37 | <Uniaika> | amf: https://github.com/Kleidukos/irssi-hs/blob/master/package.yaml#L64 |
| 22:07:47 | <Uniaika> | ah so you don't have an executable *yet* |
| 22:07:54 | <Uniaika> | dansho: may we have a full log of the operation? |
| 22:09:13 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds) |
| 22:09:39 | <maerwald> | dansho: which mint version? |
| 22:10:30 | <int-e> | dansho: AIUI, that'll download a ghcup executable and put it into ~/.ghcup/bin |
| 22:10:46 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-rdeeidynjivnuofk) (Quit: Updating details, brb) |
| 22:10:53 | <amf> | Uniaika: thanks! it looks like you cant do anything too fancy though, for instance i wanted to support 3 ghc versions, but i would likely have to list out all ghc flags |
| 22:10:58 | <dansho> | Uniaika, here's the last bit, https://hastebin.com/yicicosagu |
| 22:11:23 | <maerwald> | dansho: try this: ~/.ghcup/bin/ghcup install ghc -u https://downloads.haskell.org/~ghc/8.8.4/ghc-8.8.4-x86_64-fedora27-linux.tar.xz 8.8.4 |
| 22:11:24 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-mbjggxgdrdmqyxnj) |
| 22:11:35 | <Uniaika> | amf: my stance on complicated YAML is that it can be easily generated from Dhall :P |
| 22:11:40 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 22:11:49 | <dansho> | maerwald, Linux Mint 20 |
| 22:12:00 | <amf> | Uniaika: yeah I just saw the GH actions in dhall. Going to steal that when I get a chance |
| 22:12:02 | <Uniaika> | but don't be shy to use Cabal + Nix with stack! |
| 22:12:08 | <Uniaika> | :3 |
| 22:13:23 | <amf> | baby steps. scars still healing from cabal hell.. but nice to see v1 commands getting an RFC to be dropped |
| 22:13:51 | <dansho> | `ldd .ghcup/bin/ghcup` "not a dynamic executable" |
| 22:14:04 | <maerwald> | dansho: did you run the above command? |
| 22:14:04 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 22:14:33 | → | mu_ joins (~mu@unaffiliated/mu) |
| 22:16:02 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 22:16:47 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds) |
| 22:17:30 | <dansho> | maerwald, it seems to have worked, i dont have ghc on path though |
| 22:17:33 | <dansho> | do i need to add .ghcup/bin? |
| 22:17:47 | <maerwald> | dansho: now rerun the original curl command |
| 22:18:47 | × | st8less quits (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Ping timeout: 240 seconds) |
| 22:19:16 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 272 seconds) |
| 22:20:10 | <dansho> | maerwald, works now, ty =) |
| 22:20:38 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds) |
| 22:20:58 | <Uniaika> | < amf> baby steps. scars still healing from cabal hell.. // oh yeah but stack would still be in charge |
| 22:21:11 | <Uniaika> | in the end, hpack only generates a cabal file for you |
| 22:23:29 | <maerwald> | dansho: can you try to install 8.10.2 via: ghcup install ghc 8.10.2 |
| 22:23:33 | <maerwald> | I wanna now if that works now |
| 22:24:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:24:13 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 22:24:31 | → | mu_ joins (~mu@unaffiliated/mu) |
| 22:25:57 | hackage | network-types-icmp 1.0.0.1 - Types for representing ICMP and ICMPv6 messages. https://hackage.haskell.org/package/network-types-icmp-1.0.0.1 (adamflott) |
| 22:27:23 | × | danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 22:27:35 | → | omega8cc joins (~omega8cc@195.206.169.184) |
| 22:28:49 | × | totallynotnate quits (~nate@125.161.70.37) (Quit: WeeChat 2.9) |
| 22:29:17 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 22:29:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 22:30:40 | × | rekahsoft quits (~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 272 seconds) |
| 22:31:38 | × | darjeeling_ quits (~darjeelin@122.245.121.113) (Ping timeout: 258 seconds) |
| 22:32:50 | → | darjeeling_ joins (~darjeelin@122.245.121.113) |
| 22:34:14 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 22:34:30 | → | mu_ joins (~mu@unaffiliated/mu) |
| 22:35:22 | <sm[m]> | @where+ haskell-via-sokoban https://haskell-via-sokoban.nomeata.de |
| 22:35:22 | <lambdabot> | Done. |
| 22:35:32 | <sm[m]> | @where+ haskell-for-readers http://haskell-for-readers.nomeata.de |
| 22:35:32 | <lambdabot> | Good to know. |
| 22:39:25 | × | alp quits (~alp@2a01:e0a:58b:4920:763f:d838:3a1b:fda) (Ping timeout: 272 seconds) |
| 22:41:10 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 22:41:58 | hackage | cpkg 0.2.5.7 - Build tool for C https://hackage.haskell.org/package/cpkg-0.2.5.7 (vmchale) |
| 22:44:06 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 22:44:13 | → | CrazyPython joins (~crazypyth@71-135-5-88.lightspeed.rlghnc.sbcglobal.net) |
| 22:44:31 | → | mu_ joins (~mu@unaffiliated/mu) |
| 22:44:38 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 22:47:35 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 22:48:15 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 22:52:35 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds) |
| 22:53:38 | × | madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 22:54:01 | × | vqrs quits (~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 246 seconds) |
| 22:54:02 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 22:54:04 | → | Guest26 joins (a2dec639@gateway/web/cgi-irc/kiwiirc.com/ip.162.222.198.57) |
| 22:54:28 | hackage | ordinal 0.1.0.0 - Convert numbers to words in different languages. https://hackage.haskell.org/package/ordinal-0.1.0.0 (wvanonsem90) |
| 22:54:31 | → | mu_ joins (~mu@unaffiliated/mu) |
| 22:54:45 | <Guest26> | hello. i am interested in trying to implement, or use some implementation of an "actors" model within haskell |
| 22:55:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:55:09 | <Guest26> | i have done some research and found something called "spores". has anyone heard of this or understand how it works? |
| 22:55:25 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 265 seconds) |
| 22:56:19 | <Guest26> | i find reference to it here; https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiOusSB-YzsAhUDmeAKHQrMBFgQFjACegQIAxAB&url=https%3A%2F%2Finfoscience.epfl.ch%2Frecord%2F191239%2Ffiles%2Fspores_1.pdf%3B&usg=AOvVaw31y2yhZIcvKUnAiBeqIPQN |
| 22:56:55 | <Guest26> | thats the pdf. the permalink to the abstract is here; https://link.springer.com/chapter/10.1007/978-3-662-44202-9_13 |
| 22:58:12 | <Guest26> | as i understand it, its not available within haskell since it constitutes an extended type system |
| 22:58:26 | × | mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 256 seconds) |
| 22:58:35 | <Guest26> | are there options available to the haskell community that provide something similar? |
| 22:58:59 | <Guest26> | how far towards polymorphic actors can we achieve within the existing type system? |
| 22:59:16 | <Guest26> | how limited are existing actors model libraries in haskell? |
| 23:00:41 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:01:16 | <Guest26> | im not sure if this is similar, but google suggests it in relation to spores; https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/remote.pdf |
| 23:02:39 | <Guest26> | i can find; https://hackage.haskell.org/package/simple-actors-0.4.0/docs/Control-Concurrent-Actors.html |
| 23:03:13 | <Guest26> | but it is unclear how far towards the "closures" idea that spores seems to be centred on |
| 23:03:42 | <Guest26> | it seems like it has some functionality such as adding actors as if it were adding "edges" |
| 23:03:56 | <Guest26> | is it wrong to think of actors models as being graph based? |
| 23:03:58 | → | John20 joins (~John@82.46.59.122) |
| 23:04:00 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 23:04:31 | × | Guest26 quits (a2dec639@gateway/web/cgi-irc/kiwiirc.com/ip.162.222.198.57) (Quit: Connection closed) |
| 23:04:31 | → | mu_ joins (~mu@unaffiliated/mu) |
| 23:09:23 | × | outer_passage quits (outerpassa@2600:3c01::f03c:92ff:fed1:4643) (Quit: ZNC 1.8.1 - https://znc.in) |
| 23:09:41 | → | outerpassage joins (~outerpass@li1196-30.members.linode.com) |
| 23:10:16 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 256 seconds) |
| 23:14:27 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 23:14:33 | → | mu__ joins (~mu@unaffiliated/mu) |
| 23:15:56 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 23:16:57 | → | justan0theruser joins (~justanoth@unaffiliated/justanotheruser) |
| 23:17:12 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 23:19:07 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds) |
| 23:19:22 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 23:20:20 | → | vqrs joins (~vqrs@learnprogramming/regular/vqrs) |
| 23:20:41 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 23:21:07 | × | sagax quits (~sagax_nb@213.138.71.146) (Read error: Connection reset by peer) |
| 23:21:21 | × | isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving) |
| 23:21:35 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 23:23:39 | → | andoluca joins (~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a) |
| 23:23:58 | → | nullheroes joins (~danielvu@168.235.66.22) |
| 23:24:00 | × | mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 23:24:32 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 23:24:32 | → | mu_ joins (~mu@unaffiliated/mu) |
| 23:26:01 | × | andoluca quits (~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a) (Quit: Quit) |
| 23:26:28 | <koz_> | I need to use attoparsec to parse the equivalent of 'one of N possibilities, possibly followed by one of M possibilities'. |
| 23:26:55 | <koz_> | Is there a way I can spell a parser like that, assuming they all parse to the same thing? |
| 23:27:23 | <koz_> | (or rather, the same type of thing) |
| 23:28:23 | → | andoluca joins (~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a) |
| 23:28:28 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 23:29:15 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 265 seconds) |
| 23:29:17 | <glguy> | liftA2 (,) (asum xsN) (optional (asum ysM)) ? |
| 23:29:39 | <koz_> | glguy: xsN is like, a list of Parsers? |
| 23:29:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 23:30:31 | × | andoluca quits (~andoluca@2800:810:42b:999a:bcb5:34ab:5104:cc7a) (Client Quit) |
| 23:30:50 | × | troydm quits (~troydm@unaffiliated/troydm) (Ping timeout: 272 seconds) |
| 23:32:00 | → | kleenestar joins (~shimjiths@122.167.34.208) |
| 23:32:47 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 23:33:26 | × | kleenestar quits (~shimjiths@122.167.34.208) (Remote host closed the connection) |
| 23:33:54 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 23:34:00 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 23:34:32 | → | mu_ joins (~mu@unaffiliated/mu) |
| 23:35:02 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 23:35:54 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 272 seconds) |
| 23:36:14 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 23:36:45 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 23:37:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:37:48 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 23:38:09 | → | ystael joins (~ystael@209.6.50.55) |
| 23:39:57 | hackage | ordinal 0.1.1.0 - Convert numbers to words in different languages. https://hackage.haskell.org/package/ordinal-0.1.1.0 (wvanonsem90) |
| 23:40:25 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 23:42:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 23:44:26 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 23:44:32 | → | mu__ joins (~mu@unaffiliated/mu) |
| 23:44:37 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 23:45:20 | <dansho> | maerwald: `ghcup install ghc 8.10.2` said it was successful, but ghc --version still shows 8.8.4 |
| 23:46:30 | <koz_> | :t ($>) |
| 23:46:32 | <lambdabot> | error: |
| 23:46:32 | <lambdabot> | • Variable not in scope: $> |
| 23:46:32 | <lambdabot> | • Perhaps you meant one of these: |
| 23:46:41 | <koz_> | dansho: I think you gotta switch up your environment. |
| 23:46:52 | <koz_> | Or manually specify with -w ghc-8.10.2. |
| 23:47:13 | <monochrom> | That one you can use "ghcup set 8.10.2" or something to set. |
| 23:47:23 | <ski> | @hoogle ($>) |
| 23:47:23 | <lambdabot> | Data.Functor ($>) :: Functor f => f a -> b -> f b |
| 23:47:23 | <lambdabot> | Data.Functor.Compat ($>) :: Functor f => f a -> b -> f b |
| 23:47:23 | <lambdabot> | Data.Functor.Apply ($>) :: Functor f => f a -> b -> f b |
| 23:47:47 | <monochrom> | Generally take a look at "ghcup --help" for what it can do for you. |
| 23:48:01 | <monochrom> | Along the way, discover that "ghcup tui" is really handy. |
| 23:50:52 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:1464:cd8d:ea3f:dc1) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:52:33 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 23:53:44 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 23:54:18 | × | mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 23:54:50 | → | mu_ joins (~mu@unaffiliated/mu) |
| 23:54:54 | × | mu_ quits (~mu@unaffiliated/mu) (Client Quit) |
| 23:56:10 | × | m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 256 seconds) |
| 23:57:06 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 23:58:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:58:42 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds) |
| 23:58:44 | → | renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca) |
All times are in UTC on 2020-09-28.