Logs on 2020-10-24 (freenode/#haskell)
| 00:00:01 | × | ericbsd1 quits (~ericbsd@178.162.204.214) () |
| 00:01:07 | × | thir quits (~thir@p200300f27f19de002cecd531afedd8d6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:02:55 | → | falafel joins (~falafel@71-34-132-121.clsp.qwest.net) |
| 00:03:43 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab) |
| 00:04:17 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:05:36 | → | thir joins (~thir@p200300f27f252300edbc47e1ffd73c66.dip0.t-ipconnect.de) |
| 00:06:42 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:07:39 | → | p8m_ joins (p8m@gateway/vpn/protonvpn/p8m) |
| 00:07:48 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 00:08:44 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 00:10:27 | × | thir quits (~thir@p200300f27f252300edbc47e1ffd73c66.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:10:40 | × | Jonno_FTW quits (~come@api.carswap.me) (Ping timeout: 272 seconds) |
| 00:13:44 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 00:13:50 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds) |
| 00:15:23 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 00:15:44 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 00:16:18 | × | tanuki_ quits (~quassel@173.168.154.189) (Ping timeout: 260 seconds) |
| 00:16:34 | → | tanuki joins (~quassel@173.168.154.189) |
| 00:17:29 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 00:22:01 | → | milky1 joins (~milky@185.204.1.185) |
| 00:22:16 | × | jsynacek_ quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds) |
| 00:22:33 | → | vacm joins (~vacwm@70.23.92.191) |
| 00:23:25 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 00:25:07 | → | laserpants joins (c59d001b@197.157.0.27) |
| 00:26:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:26:32 | × | jathan quits (~jathan@69.61.93.38) (Ping timeout: 260 seconds) |
| 00:27:46 | × | laserpants quits (c59d001b@197.157.0.27) (Remote host closed the connection) |
| 00:29:13 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 00:30:45 | × | Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 240 seconds) |
| 00:33:24 | → | jathan joins (~jathan@69.61.93.38) |
| 00:35:14 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:36:43 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 00:40:02 | × | falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 00:40:29 | → | falafel joins (~falafel@71-34-132-121.clsp.qwest.net) |
| 00:40:49 | → | thir joins (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) |
| 00:42:36 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 00:44:02 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 00:45:27 | × | thir quits (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:46:02 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061) (Ping timeout: 260 seconds) |
| 00:46:29 | × | JohnnyL quits (~john@unaffiliated/johnnyl) (Quit: leaving) |
| 00:48:32 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 00:50:42 | → | Lord_of_Life joins (~Lord@46.217.218.96) |
| 00:52:06 | × | Lord_of_Life_ quits (~Lord@46.217.218.75) (Ping timeout: 256 seconds) |
| 00:52:09 | → | steve_ joins (~quassel@ool-18b99d28.dyn.optonline.net) |
| 00:52:12 | → | steve__ joins (~quassel@ool-18b99d28.dyn.optonline.net) |
| 00:53:45 | × | falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds) |
| 00:58:27 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:00:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 01:00:44 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 258 seconds) |
| 01:01:23 | → | erolm_a joins (~erolm_a@62.18.213.68) |
| 01:02:45 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 01:02:57 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 01:06:05 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 01:06:06 | × | steve_ quits (~quassel@ool-18b99d28.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 01:06:08 | × | steve__ quits (~quassel@ool-18b99d28.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 01:07:28 | hackage | web-routes-happstack 0.23.12.1 - Adds support for using web-routes with Happstack https://hackage.haskell.org/package/web-routes-happstack-0.23.12.1 (JeremyShaw) |
| 01:08:54 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 01:10:39 | → | unlink_ joins (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) |
| 01:11:20 | × | unlink_ quits (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 01:11:56 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 256 seconds) |
| 01:12:48 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds) |
| 01:14:16 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 01:14:37 | → | toorevitimirp joins (~tooreviti@117.182.180.83) |
| 01:14:57 | × | p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 01:19:40 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 260 seconds) |
| 01:19:57 | → | dibblego joins (~dibblego@122-199-1-30.ip4.superloop.com) |
| 01:19:57 | × | dibblego quits (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 01:19:57 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 01:20:12 | × | Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 260 seconds) |
| 01:21:13 | → | erolm_a joins (~erolm_a@62.18.213.68) |
| 01:25:05 | × | mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds) |
| 01:25:14 | × | mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9) |
| 01:27:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:27:45 | × | darjeeli1 quits (~darjeelin@122.245.123.118) (Ping timeout: 240 seconds) |
| 01:28:56 | → | acidjnk_new3 joins (~acidjnk@p200300d0c7237865d5c3bc452ffc90f6.dip0.t-ipconnect.de) |
| 01:30:07 | → | HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 01:30:07 | <texasmynsted> | What is the most common/best way to map a function to the first element of a tuple. I see in hoogle things like mapFst, and many others. I could also just write my own function... |
| 01:30:24 | <texasmynsted> | It feels like Control.Arrow might live in this space. |
| 01:30:52 | <MarcelineVQ> | first of Control.Arrow or Control.Bifunctor |
| 01:31:08 | <MarcelineVQ> | * Data.Bifunctor |
| 01:32:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 01:34:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) |
| 01:34:28 | × | valdyn_ quits (~valdyn@host-88-217-143-53.customer.m-online.net) (Ping timeout: 260 seconds) |
| 01:34:29 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 01:34:54 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 01:36:22 | <texasmynsted> | okay |
| 01:36:26 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:3075:fc1b:a06c:a2b3) |
| 01:37:00 | × | theelous3 quits (~theelous3@unaffiliated/theelous3) (Read error: Connection reset by peer) |
| 01:37:15 | <Squarism> | ghoulguy, it took me ages, but with your help i finally was able to complete the "textual" getter function. Learned a bunch. https://paste.ofcode.org/TrYkpAdAC3BKSzy4mBNSSL |
| 01:38:13 | → | thir joins (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) |
| 01:38:58 | hackage | happstack-hsp 7.3.7.5 - Support for using HSP templates in Happstack https://hackage.haskell.org/package/happstack-hsp-7.3.7.5 (JeremyShaw) |
| 01:40:44 | <texasmynsted> | thank you |
| 01:44:42 | × | thir quits (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:45:14 | → | valdyn joins (~valdyn@host-88-217-143-53.customer.m-online.net) |
| 01:46:44 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 260 seconds) |
| 01:46:54 | → | erolm_a joins (~erolm_a@62.18.213.68) |
| 01:49:31 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:49:33 | <Squarism> | what is a popular "lens" library that doesn have a much dependencies as ordinary lens lib? |
| 01:50:06 | <Squarism> | i just got the impression "lens" had tons of dependencies |
| 01:52:32 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:52:51 | × | Wuzzy quits (~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 01:53:40 | → | mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 01:53:47 | × | xff0x quits (~fox@2001:1a81:530a:3a00:393a:8eae:c84c:d22c) (Ping timeout: 246 seconds) |
| 01:55:28 | × | texasmynsted quits (~texasmyns@185.240.246.92) (Read error: Connection reset by peer) |
| 01:55:51 | → | xff0x joins (~fox@2001:1a81:5345:9900:b354:bb80:32a4:609c) |
| 01:56:05 | → | texasmynsted joins (~texasmyns@185.240.246.92) |
| 01:56:19 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 01:56:40 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 01:57:34 | <ghoulguy> | Squarism: I'd suggest just using lens until you're comfortable with it and know what parts you like. After that you'll be able to assess what you don't mind giving up |
| 01:58:04 | <ghoulguy> | There are a few dependencies, but none of them are that big |
| 01:58:07 | <Squarism> | okok |
| 01:58:23 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 02:00:42 | <Squarism> | ghoulguy, as a follow up to the above problem. I think I actually would be better off to map String -> Lens, in order to both read and write values. Do you think it would be easy to use generics to spit out Maybe (<whatever lens type>)? |
| 02:02:04 | <ghoulguy> | You wouldn't make an actual Lens, you'd make a Traversal (a think that might not visit any data) |
| 02:02:45 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 02:03:04 | × | sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:842c:7584:d43a:6b01) (Ping timeout: 244 seconds) |
| 02:03:04 | <Squarism> | okok what do you mean with "a think that might not visit any data" |
| 02:03:07 | <Squarism> | ? |
| 02:03:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) |
| 02:03:18 | <ghoulguy> | The Nothing part of what you have |
| 02:03:30 | <ghoulguy> | when a particular path doesn't actually reach the value you're interested in |
| 02:03:44 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 02:04:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:05:43 | lagothrix | is now known as Guest96355 |
| 02:05:43 | × | Guest96355 quits (~lagothrix@unaffiliated/lagothrix) (Killed (card.freenode.net (Nickname regained by services))) |
| 02:05:49 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 02:07:19 | <texasmynsted> | What is a reasonable way to combine these? https://gist.github.com/mmynsted/da7bc7a118ded64080d87208a0f5c798 |
| 02:08:22 | <texasmynsted> | other comments welcome. I just want to improve and I have been looking at code too long today. |
| 02:08:55 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 02:09:00 | <texasmynsted> | I can't really recall the let/where details for inside a do block |
| 02:09:01 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 02:09:19 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 02:09:20 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 02:09:20 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 02:09:37 | → | christo joins (~chris@81.96.113.213) |
| 02:10:11 | <Squarism> | texasmynsted, im not haskell veteran. But I think it would help if you provide more context, types and background. |
| 02:10:51 | × | ryjm_matrix quits (~matrixirc@2600:4040:a009:6100:3adc:615b:70b5:b0c) (Quit: killed) |
| 02:10:58 | <texasmynsted> | I am just wanting to combine foo and bar |
| 02:11:20 | <texasmynsted> | foo is Rules UrlPairs |
| 02:11:31 | <texasmynsted> | bar is Rules () |
| 02:11:58 | <Squarism> | you mean Rules is a semigroup / monoid? |
| 02:12:18 | <texasmynsted> | Rules --> https://jaspervdj.be/hakyll/reference/Hakyll-Core-Rules.html#t:Rules |
| 02:12:19 | × | Tario quits (~Tario@200.119.186.205) (Read error: Connection reset by peer) |
| 02:12:43 | → | Tario joins (~Tario@200.119.186.205) |
| 02:13:28 | <texasmynsted> | it forms a Monad, Functor, Applicative, and MonadMetaData if I am reading that right. |
| 02:15:13 | × | theDon quits (~td@muedsl-82-207-238-026.citykom.de) (Ping timeout: 246 seconds) |
| 02:15:39 | → | sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:11be:8bb9:294d:1e35) |
| 02:16:34 | <MarcelineVQ> | bar uses foo, are you wanting to write one definition that replaces them entirely? |
| 02:16:46 | → | polyrain joins (~polyrain@58.161.83.164) |
| 02:17:16 | <MarcelineVQ> | *replaces foo and bar entirely |
| 02:17:22 | → | theDon joins (~td@muedsl-82-207-238-099.citykom.de) |
| 02:18:29 | × | danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 02:19:16 | <Squarism> | ghoulguy, you seem to have an obvious idea in your head there on how to accomplish my above problem. Could you just show a short signature of pseudo code for what you mean? |
| 02:21:22 | <Squarism> | or do you mean Traversal as in what is used by over / view in in lens lib? |
| 02:21:23 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 02:21:55 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 02:23:25 | <MarcelineVQ> | texasmynsted: you should be able to just insert the body you wrote for foo right into bar, e.g. https://gist.github.com/mmynsted/da7bc7a118ded64080d87208a0f5c798 |
| 02:23:26 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:24:47 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 02:24:57 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 02:25:31 | <Squarism> | yeah, right. its a Traversal i want to make |
| 02:27:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:28:08 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 02:28:54 | × | polyrain quits (~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:30:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) |
| 02:36:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:38:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 02:39:39 | <texasmynsted> | yes replace both with a single function |
| 02:40:28 | <texasmynsted> | :-) |
| 02:40:34 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 02:40:59 | → | polyrain joins (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) |
| 02:41:42 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-giahkircsluozbqw) (Quit: Connection closed for inactivity) |
| 02:41:55 | <texasmynsted> | Nice thank you MarcelineVQ |
| 02:45:36 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 02:46:40 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:50:58 | hackage | happstack-jmacro 7.0.12.3 - Support for using JMacro with Happstack https://hackage.haskell.org/package/happstack-jmacro-7.0.12.3 (JeremyShaw) |
| 02:51:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 02:52:27 | × | ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 02:52:57 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 02:55:08 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 02:59:06 | × | polyrain quits (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:59:33 | × | texasmynsted quits (~texasmyns@185.240.246.92) (Remote host closed the connection) |
| 03:00:01 | × | milky1 quits (~milky@185.204.1.185) () |
| 03:01:12 | → | burg_philo joins (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) |
| 03:03:27 | × | xff0x quits (~fox@2001:1a81:5345:9900:b354:bb80:32a4:609c) (Ping timeout: 260 seconds) |
| 03:05:02 | → | xff0x joins (~fox@2001:1a81:5355:300:8972:1637:b6e1:e69f) |
| 03:05:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:06:13 | × | burg_philo quits (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 03:06:45 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 03:08:22 | × | djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds) |
| 03:10:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 03:11:26 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds) |
| 03:12:04 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 03:12:37 | → | mbomba joins (~mbomba@142.114.9.241) |
| 03:16:10 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services))) |
| 03:16:16 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 03:23:28 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 246 seconds) |
| 03:24:19 | → | erolm_a joins (~erolm_a@62.18.213.68) |
| 03:25:50 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 03:26:37 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 03:27:49 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 264 seconds) |
| 03:33:08 | <jtmar> | is it possible to define a pattern that works against multiple types? it looks like associated pattern synonyms were never implemented so I'm wondering if there's an alternative |
| 03:33:47 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 260 seconds) |
| 03:34:34 | → | erolm_a joins (~erolm_a@62.18.213.68) |
| 03:38:16 | × | theDon quits (~td@muedsl-82-207-238-099.citykom.de) (Ping timeout: 260 seconds) |
| 03:39:37 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 03:39:53 | → | theDon joins (~td@muedsl-82-207-238-136.citykom.de) |
| 03:40:47 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:41:41 | → | thir joins (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) |
| 03:42:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:43:52 | × | solonarv quits (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 03:44:11 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 03:44:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:45:05 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 03:46:17 | × | thir quits (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 03:46:23 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 03:49:47 | <c_wraith> | jtmar: nope. but you can do the dual, by defining an eliminator in a class |
| 03:50:54 | <jtmar> | alright then. thanks. |
| 03:51:04 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 03:51:56 | × | nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: Leaving) |
| 03:58:15 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:58:38 | <dolio> | You can, actually. |
| 03:59:18 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 03:59:42 | <jtmar> | how? |
| 03:59:45 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 240 seconds) |
| 04:00:00 | → | erolm_a joins (~erolm_a@62.18.213.68) |
| 04:00:01 | <dolio> | https://paste.tomsmeding.com/d8CFDh3q |
| 04:00:22 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 04:02:05 | × | nshepperd2 quits (~nshepperd@gorgon.zlkj.in) (Quit: The Lounge - https://thelounge.chat) |
| 04:02:53 | <dolio> | Instead of an associated pattern you'd define an overloaded test function, and alias a view pattern using the test function. |
| 04:03:56 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 04:04:50 | → | nshepperd2 joins (~nshepperd@li364-218.members.linode.com) |
| 04:06:42 | × | cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Quit: Disappeared in a puff of smoke) |
| 04:07:54 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 04:09:28 | → | cp- joins (~cp-@b157153.ppp.asahi-net.or.jp) |
| 04:09:28 | × | Tario quits (~Tario@200.119.186.205) (Read error: Connection reset by peer) |
| 04:12:22 | → | Tario joins (~Tario@201.192.165.173) |
| 04:12:37 | × | jlamothe quits (~jlamothe@198.251.55.207) (Quit: leaving) |
| 04:12:43 | <Squarism> | Im not sure I can understand this. https://paste.ofcode.org/iUBMHtVdk2DQtBvxmZzayb |
| 04:12:44 | → | falafel_ joins (~falafel@71-34-132-121.clsp.qwest.net) |
| 04:13:12 | <Squarism> | type of "preview ( ff2 . _Just . ee1 )" is not even a function, but it can be applied to c3 |
| 04:13:57 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 04:15:49 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 04:17:51 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 04:18:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 04:19:47 | <jtmar> | wow, what an awful hack! it works perfectly. I love it. |
| 04:20:03 | <hololeap> | Squarism: Getting r s a = (a -> Const r a) -> s -> Const r s |
| 04:20:56 | <jtmar> | only took 34 lines of code to overload two patterns for two types ;) |
| 04:20:58 | <hololeap> | so, `preview (ff2 . _Just . ee1)` _is_ a function that takes an `s` argument |
| 04:21:26 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 04:25:05 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 04:25:49 | <MarcelineVQ> | Squarism: consider fmap where the Functor is chosen to be a partially applied function type, i.e. where we take f and substitute (r ->): fmap :: Functor f => (a -> b) -> f a -> f b to fmap :: (a -> b) -> (r -> a) -> (r -> b) m can be chosen similarly |
| 04:30:01 | × | amagi quits (~amagi@113.101.23.223) (Quit: Lost terminal) |
| 04:31:59 | <Squarism> | im gonna need to digest this |
| 04:33:54 | → | conal joins (~conal@64.71.133.70) |
| 04:34:36 | <MarcelineVQ> | Directly pure 'c' :: Applicative f => f Char but |
| 04:34:42 | <MarcelineVQ> | :t pure 'c' `asAppliedTo` 2 |
| 04:34:43 | <lambdabot> | Num a => a -> Char |
| 04:34:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:35:47 | <MarcelineVQ> | :t pure 'c' `asAppliedTo` (2 :: Int) -- or more directly. f is chosen as Int -> |
| 04:35:48 | <lambdabot> | Int -> Char |
| 04:39:04 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 04:40:08 | × | coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 04:40:38 | × | erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 265 seconds) |
| 04:41:22 | → | coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) |
| 04:43:09 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 260 seconds) |
| 04:44:53 | → | day joins (~Unknown@unaffiliated/day) |
| 04:45:20 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Quit: The Lounge - https://thelounge.chat) |
| 04:46:19 | → | nshepperd2 joins (~nshepperd@li364-218.members.linode.com) |
| 04:46:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:50:37 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 04:52:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 04:52:59 | → | jbox joins (~atlas@unaffiliated/jbox) |
| 05:04:50 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 05:09:23 | → | tuple joins (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) |
| 05:10:58 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 05:11:31 | × | tuple quits (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 05:11:48 | → | tuple joins (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) |
| 05:12:06 | → | mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 05:12:45 | × | tuple quits (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 05:13:54 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 05:13:56 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 05:17:36 | → | nshepperd1 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 05:17:59 | × | nshepperd quits (~nshepperd@gorgon.zlkj.in) (Quit: WeeChat 2.9) |
| 05:18:06 | × | nshepperd1 quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit) |
| 05:18:16 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 05:19:38 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit) |
| 05:20:15 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 05:20:34 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit) |
| 05:23:20 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 05:23:41 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit) |
| 05:23:51 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 05:25:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:25:35 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 265 seconds) |
| 05:26:17 | → | day joins (~Unknown@unaffiliated/day) |
| 05:27:32 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 05:29:02 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:31:05 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 05:31:18 | → | day_ joins (~Unknown@unaffiliated/day) |
| 05:31:30 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: WeeChat 2.9) |
| 05:31:40 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 260 seconds) |
| 05:31:46 | day_ | is now known as day |
| 05:32:19 | <hololeap> | : fmap (++ " is the number") show 4 |
| 05:32:22 | <hololeap> | :t fmap (++ " is the number") show 4 |
| 05:32:24 | <lambdabot> | [Char] |
| 05:32:29 | <hololeap> | > fmap (++ " is the number") show 4 |
| 05:32:31 | <lambdabot> | "4 is the number" |
| 05:33:32 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 05:35:17 | × | mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9) |
| 05:36:01 | → | openstackstatus1 joins (~openstack@94.229.74.91) |
| 05:38:25 | × | Kolkrabe quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 05:38:35 | <sureyeaah> | How can I create a named socket in unix? |
| 05:38:56 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 05:39:43 | → | Tario joins (~Tario@201.192.165.173) |
| 05:40:57 | hackage | google-server-api 0.3.3.1 - Google APIs for server to server applications https://hackage.haskell.org/package/google-server-api-0.3.3.1 (arowM) |
| 05:41:47 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:42:19 | → | thir joins (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) |
| 05:45:07 | sureyeaah | sent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/nOXlbNDHbFYDdoFCbhdcMctI/message.txt > |
| 05:45:30 | <sureyeaah> | ```No instance for (Protocol Unix) arising from a use of socket``` |
| 05:46:26 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 05:46:47 | × | thir quits (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 05:47:11 | × | stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 05:47:29 | → | stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) |
| 05:50:24 | × | carlomagno quits (~cararell@148.87.23.13) (Quit: Leaving.) |
| 05:52:25 | → | how_does_this_wo joins (3263cbdb@50.99.203.219) |
| 05:52:42 | → | christo joins (~chris@81.96.113.213) |
| 05:52:49 | <how_does_this_wo> | hey! I'm probably thinking about this wrong, but I'm trying to implement a function |
| 05:53:03 | <how_does_this_wo> | parse :: String -> [String] |
| 05:53:33 | <sureyeaah> | I tried `socket :: IO (Socket Unix Stream Default)` and that works. But I'm still not able to create the file based socket. |
| 05:53:51 | <how_does_this_wo> | where it searches the string for valid patterns and then returns a list of everything it can parse out, and I want to create it lazily obviously so I can stream in the data, so is there a way to yield in parse? |
| 05:54:16 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 05:54:46 | <how_does_this_wo> | cause the only other way I can think of doing it is consing the newest parsed element to the front of the list, piping it through a reverse, and then processing it |
| 05:55:14 | <how_does_this_wo> | but I don't think in that case the laziness can be of any advantage |
| 05:55:24 | atriq | is now known as Taneb |
| 05:55:35 | <how_does_this_wo> | parse :: [String] -> [String] ** |
| 05:59:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 06:00:02 | × | openstackstatus1 quits (~openstack@94.229.74.91) () |
| 06:00:02 | <sureyeaah> | probably use something like scanl? |
| 06:00:09 | <sureyeaah> | how_does_this_wo: |
| 06:00:13 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 06:04:45 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 06:05:59 | → | junjie joins (~Thunderbi@112.49.232.164) |
| 06:08:10 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 06:09:15 | × | how_does_this_wo quits (3263cbdb@50.99.203.219) (Remote host closed the connection) |
| 06:13:22 | → | mbomba joins (~mbomba@142.114.9.241) |
| 06:15:08 | → | taurux joins (~taurux@net-188-152-78-51.cust.dsl.teletu.it) |
| 06:15:49 | × | tito_04 quits (~taurux@net-188-152-78-51.cust.dsl.teletu.it) (Ping timeout: 264 seconds) |
| 06:17:57 | × | acidjnk_new3 quits (~acidjnk@p200300d0c7237865d5c3bc452ffc90f6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 06:20:00 | × | mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9) |
| 06:23:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:27:34 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 06:28:47 | → | Quarl joins (~Quarl@94.191.136.110.mobile.tre.se) |
| 06:28:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:29:14 | × | sfvm quits (~sfvm@37.228.215.148) (Remote host closed the connection) |
| 06:32:00 | → | christo joins (~chris@81.96.113.213) |
| 06:32:09 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 06:34:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 06:37:00 | × | falafel_ quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 260 seconds) |
| 06:37:05 | → | ggole joins (~ggole@2001:8003:8119:7200:f40c:8454:96a4:4e08) |
| 06:38:34 | → | falafel_ joins (~falafel@71-34-132-121.clsp.qwest.net) |
| 06:42:58 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Quit: The Lounge - https://thelounge.chat) |
| 06:42:58 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: WeeChat 2.9) |
| 06:44:02 | → | nshepperd joins (~nshepperd@li364-218.members.linode.com) |
| 06:44:09 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 06:45:16 | → | nshepperd2 joins (~nshepperd@li364-218.members.linode.com) |
| 06:46:25 | × | nshepperd quits (~nshepperd@li364-218.members.linode.com) (Client Quit) |
| 06:46:25 | × | toorevitimirp quits (~tooreviti@117.182.180.83) (Ping timeout: 264 seconds) |
| 06:46:41 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 06:47:07 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit) |
| 06:50:03 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 06:58:06 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 07:01:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:01:22 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 07:07:14 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 07:14:20 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds) |
| 07:15:53 | × | Lord_of_Life quits (~Lord@46.217.218.96) (Changing host) |
| 07:15:53 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 07:17:53 | → | knupfer joins (~Thunderbi@i59F7FF06.versanet.de) |
| 07:19:22 | × | revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 07:20:32 | → | revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 07:21:39 | → | polyrain joins (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) |
| 07:22:27 | × | knupfer quits (~Thunderbi@i59F7FF06.versanet.de) (Ping timeout: 260 seconds) |
| 07:25:19 | → | CMCDragonkai1 joins (~Thunderbi@124.19.3.250) |
| 07:25:42 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 07:26:24 | × | mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving) |
| 07:29:10 | → | pabelanger1 joins (~pabelange@185.244.214.217) |
| 07:32:27 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 07:34:05 | × | ps-auxw quits (~arneb@p548c6f52.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 07:34:23 | → | ps-auxw joins (~arneb@p548c6f52.dip0.t-ipconnect.de) |
| 07:36:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 07:37:35 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:38:35 | → | jedws joins (~jedws@101.184.148.229) |
| 07:40:56 | × | jedws quits (~jedws@101.184.148.229) (Client Quit) |
| 07:42:37 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 07:42:48 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 07:43:50 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 07:44:07 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 07:44:07 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 07:44:07 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 07:44:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 07:50:36 | → | tefter joins (~bmaxa@87.250.59.115) |
| 07:50:47 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-alxceqcksustqekt) (Quit: Connection closed for inactivity) |
| 08:00:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:01:07 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 08:03:24 | → | jedws joins (~jedws@101.184.148.229) |
| 08:06:10 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 08:08:29 | × | coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 08:08:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 08:11:23 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 08:12:40 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 08:13:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 08:14:46 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 08:20:59 | → | chaosmasttter joins (~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) |
| 08:21:43 | → | Franciman joins (~francesco@host-82-54-10-114.retail.telecomitalia.it) |
| 08:22:28 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds) |
| 08:22:59 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 08:23:02 | → | m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) |
| 08:26:15 | → | jsynacek_ joins (~jsynacek@ip-185-149-130-112.kmenet.cz) |
| 08:28:49 | × | jbox quits (~atlas@unaffiliated/jbox) (Quit: WeeChat 2.9) |
| 08:28:52 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 08:29:12 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 08:29:25 | × | falafel_ quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds) |
| 08:32:05 | × | mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds) |
| 08:34:13 | × | hwabyong quits (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (Ping timeout: 258 seconds) |
| 08:34:41 | × | bjs quits (sid190364@gateway/web/irccloud.com/x-vnofeissxqqkjger) (Ping timeout: 272 seconds) |
| 08:34:41 | × | graingert quits (sid128301@gateway/web/irccloud.com/x-yfujwzpliujjotpd) (Ping timeout: 272 seconds) |
| 08:35:19 | × | metadave quits (sid28102@gateway/web/irccloud.com/x-homnjybqfevkpyxd) (Ping timeout: 272 seconds) |
| 08:35:28 | → | metadave joins (sid28102@gateway/web/irccloud.com/x-usvwvhrdpncruziq) |
| 08:35:57 | × | ullbeking quits (sid5364@gateway/web/irccloud.com/x-bvgsyttfzmvalseg) (Ping timeout: 272 seconds) |
| 08:36:19 | → | bjs joins (sid190364@gateway/web/irccloud.com/x-gblpydmbtrekwhlk) |
| 08:36:35 | × | ibloom quits (sid350277@gateway/web/irccloud.com/x-dcwoytmmqgioqvdo) (Ping timeout: 272 seconds) |
| 08:36:35 | × | johs quits (sid246410@gateway/web/irccloud.com/x-jrsdwkwqkuyhnhvg) (Ping timeout: 272 seconds) |
| 08:36:35 | × | FMJz____ quits (sid279245@gateway/web/irccloud.com/x-vztbmrxtdakgkjkm) (Ping timeout: 272 seconds) |
| 08:36:35 | × | betawaffle quits (sid2730@gateway/web/irccloud.com/x-wghvolpocwqebnnh) (Ping timeout: 272 seconds) |
| 08:37:01 | → | FMJz____ joins (sid279245@gateway/web/irccloud.com/x-uxwggzqsvvuxwnvv) |
| 08:37:03 | → | graingert joins (sid128301@gateway/web/irccloud.com/x-tezmjotwcjxceyfv) |
| 08:37:13 | × | davetapley quits (sid666@gateway/web/irccloud.com/x-jnosdhgzusdwtedt) (Ping timeout: 272 seconds) |
| 08:37:24 | → | brettgilio_ joins (~brettgili@brettgilio.com) |
| 08:37:31 | → | ibloom joins (sid350277@gateway/web/irccloud.com/x-ccblpzopmwnfxhss) |
| 08:37:47 | → | johs joins (sid246410@gateway/web/irccloud.com/x-eafdufqmtlcqylai) |
| 08:37:51 | × | constR quits (uid58205@gateway/web/irccloud.com/x-kmhanpixnsfkszux) (Ping timeout: 272 seconds) |
| 08:37:51 | × | integral quits (sid296274@p3m/member/integral) (Ping timeout: 272 seconds) |
| 08:38:20 | → | betawaffle joins (sid2730@gateway/web/irccloud.com/x-ikvihwtbnolnoplp) |
| 08:38:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:38:39 | → | hwabyong joins (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) |
| 08:38:41 | → | ullbeking joins (sid5364@gateway/web/irccloud.com/x-bnsgobzuoimopxhi) |
| 08:39:07 | × | darthThorik quits (sid39589@gateway/web/irccloud.com/x-dsmbkpzrbucgxzyp) (Ping timeout: 272 seconds) |
| 08:39:07 | × | rslima_____ quits (sid26145@gateway/web/irccloud.com/x-umtfqvjespivtrcw) (Ping timeout: 272 seconds) |
| 08:39:07 | × | sclv quits (sid39734@haskell/developer/sclv) (Ping timeout: 272 seconds) |
| 08:39:11 | → | davetapley joins (sid666@gateway/web/irccloud.com/x-unkevmoregbjgeww) |
| 08:39:45 | × | scav quits (sid309693@gateway/web/irccloud.com/x-zlttbvsvkfeaapza) (Ping timeout: 272 seconds) |
| 08:39:47 | × | noan quits (~noan@2604:a880:400:d0::12fc:5001) (Remote host closed the connection) |
| 08:40:01 | → | constR joins (uid58205@gateway/web/irccloud.com/x-ftkkhevjqihigodw) |
| 08:40:04 | → | integral joins (sid296274@p3m/member/integral) |
| 08:40:15 | → | noan joins (~noan@2604:a880:400:d0::12fc:5001) |
| 08:40:23 | × | Kamuela quits (sid111576@gateway/web/irccloud.com/x-uwnwrtcyskakfxsa) (Ping timeout: 272 seconds) |
| 08:40:25 | → | rslima_____ joins (sid26145@gateway/web/irccloud.com/x-svaniiqnbyfvpeqv) |
| 08:40:29 | → | sclv joins (sid39734@haskell/developer/sclv) |
| 08:40:44 | × | brettgilio quits (~brettgili@brettgilio.com) (Ping timeout: 258 seconds) |
| 08:41:01 | × | lally quits (sid388228@gateway/web/irccloud.com/x-gjvzovhllmqfgnqi) (Ping timeout: 272 seconds) |
| 08:41:01 | × | ProofTechnique quits (sid79547@gateway/web/irccloud.com/x-hfhkxxflhnjauuaj) (Ping timeout: 272 seconds) |
| 08:41:38 | → | darthThorik joins (sid39589@gateway/web/irccloud.com/x-tjuwgtcbctwqnxiv) |
| 08:41:39 | × | jonrh quits (sid5185@gateway/web/irccloud.com/x-aveafoxnyeedadix) (Ping timeout: 272 seconds) |
| 08:41:41 | × | jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:42:07 | → | jonrh joins (sid5185@gateway/web/irccloud.com/x-rqaikalmtlmunorz) |
| 08:42:13 | → | scav joins (sid309693@gateway/web/irccloud.com/x-techevumsipyqxlk) |
| 08:42:17 | × | cemerick quits (sid54985@gateway/web/irccloud.com/x-ykavyokceegcyoba) (Ping timeout: 272 seconds) |
| 08:42:17 | × | feepo quits (sid28508@gateway/web/irccloud.com/x-cypejpxsoagndzmj) (Ping timeout: 272 seconds) |
| 08:42:48 | → | ProofTechnique joins (sid79547@gateway/web/irccloud.com/x-vnrlcoxvuyddydfi) |
| 08:42:55 | × | hamishmack quits (sid389057@gateway/web/irccloud.com/x-rcfovoglewntmycy) (Ping timeout: 272 seconds) |
| 08:43:04 | → | Kamuela joins (sid111576@gateway/web/irccloud.com/x-sdeipatzzilccgnx) |
| 08:43:32 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 08:43:33 | × | bitonic quits (sid61915@gateway/web/irccloud.com/x-jzojjanuxnkhjyaf) (Ping timeout: 272 seconds) |
| 08:43:37 | → | lally joins (sid388228@gateway/web/irccloud.com/x-iepgjmxehrzuvipm) |
| 08:43:40 | × | vqrs quits (~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 272 seconds) |
| 08:44:11 | × | jared-w quits (uid405292@gateway/web/irccloud.com/x-zblwaowsatpvgcgl) (Ping timeout: 272 seconds) |
| 08:44:11 | × | nh2 quits (sid309956@gateway/web/irccloud.com/x-pqceayhznxhzktfg) (Ping timeout: 272 seconds) |
| 08:44:17 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 256 seconds) |
| 08:44:44 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 08:44:49 | × | Cir0X quits (sid221743@gateway/web/irccloud.com/x-qlritdmlnfgwpmoo) (Ping timeout: 272 seconds) |
| 08:45:00 | → | cemerick joins (sid54985@gateway/web/irccloud.com/x-gqtgtcmcxeexxtnf) |
| 08:45:01 | → | feepo joins (sid28508@gateway/web/irccloud.com/x-borbcotgfarenzum) |
| 08:45:01 | → | __skn- joins (~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c) |
| 08:45:10 | → | jared-w joins (uid405292@gateway/web/irccloud.com/x-hoqehiufvhduodif) |
| 08:45:24 | → | vqrs joins (~vqrs@learnprogramming/regular/vqrs) |
| 08:45:27 | × | trumpsec quits (uid470694@gateway/web/irccloud.com/x-bcsxyysvhhhgwdok) (Ping timeout: 272 seconds) |
| 08:45:27 | × | feepo quits (sid28508@gateway/web/irccloud.com/x-borbcotgfarenzum) (Excess Flood) |
| 08:45:47 | × | __skn quits (~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:45:55 | → | bitonic joins (sid61915@gateway/web/irccloud.com/x-lieuqfwkxlflylio) |
| 08:45:57 | → | feepo joins (sid28508@gateway/web/irccloud.com/x-egbgmiozjxqiqiea) |
| 08:46:08 | → | hamishmack joins (sid389057@gateway/web/irccloud.com/x-ncidighjmedmicss) |
| 08:46:17 | → | nh2 joins (sid309956@gateway/web/irccloud.com/x-qvjqdxrjegrjwybj) |
| 08:46:42 | → | trumpsec joins (uid470694@gateway/web/irccloud.com/x-vmczzfmprshkgkkv) |
| 08:46:54 | → | Cir0X joins (sid221743@gateway/web/irccloud.com/x-sfiedvvxkgjnutkr) |
| 08:46:55 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 08:47:06 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 08:47:06 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 08:47:06 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 08:47:15 | × | blackdog quits (~blackdog@198.211.112.85) (Ping timeout: 258 seconds) |
| 08:47:59 | → | blackdog joins (~blackdog@198.211.112.85) |
| 08:56:17 | → | coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) |
| 08:57:29 | × | xff0x quits (~fox@2001:1a81:5355:300:8972:1637:b6e1:e69f) (Ping timeout: 272 seconds) |
| 08:58:12 | → | xff0x joins (~fox@2001:1a81:5355:300:5f2f:52e1:2071:f783) |
| 09:00:03 | × | pabelanger1 quits (~pabelange@185.244.214.217) () |
| 09:03:43 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 09:05:43 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 09:06:33 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-hspucayepdiagala) (Quit: Connection closed for inactivity) |
| 09:06:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 09:10:29 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 09:11:02 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 09:12:35 | → | bitmagie joins (~Thunderbi@200116b80696a200e9f8d5f03ffadb0f.dip.versatel-1u1.de) |
| 09:13:21 | → | fendor joins (~fendor@178.115.130.82.wireless.dyn.drei.com) |
| 09:15:29 | × | constR quits (uid58205@gateway/web/irccloud.com/x-ftkkhevjqihigodw) (Quit: Connection closed for inactivity) |
| 09:20:32 | → | danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 09:21:10 | → | ericholscher joins (~ericholsc@185.163.110.116) |
| 09:21:32 | → | ixlun joins (~matthew@213.205.241.94) |
| 09:22:55 | <ixlun> | Hi all, does anyone know why cabal isn't compiling for profiling when I use: `cabal v2-run -p --profiling-detail=all-functions hchess'? |
| 09:23:34 | <ixlun> | all my code recompiled as well as the libraries that it depended on, but when I run with `+RTS -p' I get: `cabal: the flag -p requires the program to be built with -prof' |
| 09:29:57 | <ixlun> | Never mind - I think I've fixed it with `v2-configure' |
| 09:31:05 | → | christo joins (~chris@81.96.113.213) |
| 09:35:13 | → | mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 09:36:16 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 09:36:47 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 09:37:21 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 09:37:21 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 09:37:21 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 09:37:58 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-75-206.w86-212.abo.wanadoo.fr) |
| 09:38:05 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds) |
| 09:38:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:38:37 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-110.w86-212.abo.wanadoo.fr) (Ping timeout: 258 seconds) |
| 09:43:07 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 09:43:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 09:43:48 | → | thir joins (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) |
| 09:44:35 | → | acidjnk_new3 joins (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) |
| 09:46:29 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 09:48:32 | × | thir quits (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 09:59:41 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 10:01:59 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 10:05:47 | × | chaosmasttter quits (~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 10:06:48 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 10:11:37 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 10:12:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:16:26 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 10:27:26 | → | alp joins (~alp@2a01:e0a:58b:4920:11:ee7e:2b2d:85c9) |
| 10:30:58 | hackage | ukrainian-phonetics-basic 0.1.2.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.2.0 (OleksandrZhabenko) |
| 10:32:54 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 10:34:00 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 10:34:59 | × | bitmagie quits (~Thunderbi@200116b80696a200e9f8d5f03ffadb0f.dip.versatel-1u1.de) (Quit: bitmagie) |
| 10:35:47 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 10:35:54 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 10:36:03 | → | darjeeling_ joins (~darjeelin@122.245.123.118) |
| 10:39:55 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:40:25 | × | CMCDragonkai1 quits (~Thunderbi@124.19.3.250) (Ping timeout: 240 seconds) |
| 10:42:26 | × | polyrain quits (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:43:03 | → | polyrain joins (~polyrain@58.161.83.164) |
| 10:44:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 10:47:41 | × | alp quits (~alp@2a01:e0a:58b:4920:11:ee7e:2b2d:85c9) (Ping timeout: 272 seconds) |
| 10:48:24 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 10:49:26 | → | moy joins (5a319fdb@lfbn-nan-1-68-219.w90-49.abo.wanadoo.fr) |
| 10:49:43 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 246 seconds) |
| 10:49:51 | moy | is now known as Guest54698 |
| 10:50:11 | <Guest54698> | Hello o/ I have very basic questions about Haskell arrays, but i kind find the answer on the internet... Is there any simple guide about basic usage of arrays in haskells ? |
| 10:50:28 | <Guest54698> | (my questions are for exemple, how to get an array length, how to append an item into an array, etc...) |
| 10:50:30 | → | afwingnut joins (~af_wingnu@ip174-79-2-139.mc.at.cox.net) |
| 10:50:47 | <Guest54698> | can't find* |
| 10:50:48 | → | ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net) |
| 10:50:48 | × | ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host) |
| 10:50:48 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 10:51:26 | ← | afwingnut parts (~af_wingnu@ip174-79-2-139.mc.at.cox.net) () |
| 10:51:35 | <Guest54698> | (im talking about actual Arrays, indexed list, List are pretty easy to apprehend until now) |
| 10:51:38 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 10:52:05 | <Rembane> | Guest54698: From which module do you import your arrays? |
| 10:53:12 | <Guest54698> | Data.Array for now, but i have no restrictions about it |
| 10:53:40 | <Guest54698> | if there is a better/more modern implementation |
| 10:55:28 | <Rembane> | Guest54698: Data.Vector has a much nicer API in my opinion. https://hackage.haskell.org/package/vector-0.12.1.2 |
| 10:56:44 | <Guest54698> | im expecting to use string as indexes, not int |
| 10:56:59 | <Guest54698> | but i will check the vector API for another usage for sure, didnt know about it |
| 11:03:22 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds) |
| 11:03:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:04:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:06:45 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 11:11:39 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 11:12:15 | <Guest54698> | i would like to have a list of entities indexed by their string ids |
| 11:14:27 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
| 11:15:36 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 11:19:06 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 11:19:32 | × | xff0x quits (~fox@2001:1a81:5355:300:5f2f:52e1:2071:f783) (Ping timeout: 260 seconds) |
| 11:20:24 | → | xff0x joins (~fox@2001:1a81:5355:300:36b0:bb39:8493:75d8) |
| 11:20:59 | → | merby joins (~ilgaz@176.43.211.208) |
| 11:21:22 | <merby> | hello |
| 11:22:13 | <Uniaika> | heya |
| 11:22:54 | <merby> | first time joining #haskell, seems great! |
| 11:24:02 | → | Deide joins (~Deide@217.155.19.23) |
| 11:26:38 | <__monty__> | 't is, merby, 't is. |
| 11:30:26 | → | alp joins (~alp@2a01:e0a:58b:4920:dcdd:3edb:3a8b:e055) |
| 11:31:07 | <nitrix> | merby, The channel can get pretty busy during the day, but that shouldn't discourage you from asking questions :) |
| 11:32:04 | <merijn> | Guest54698: Don't you just want a Map, then? |
| 11:32:48 | <merijn> | Guest54698: Data.Map from containers would be the equivalent of python dictionaries/C++'s std::map and probably what you want with string indices :) |
| 11:35:18 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds) |
| 11:37:10 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 11:38:03 | × | merby quits (~ilgaz@176.43.211.208) (Quit: leaving) |
| 11:46:10 | → | texasmynsted joins (~texasmyns@62.182.99.148) |
| 11:49:02 | × | rprije quits (~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 260 seconds) |
| 11:49:48 | × | Quarl quits (~Quarl@94.191.136.110.mobile.tre.se) (Quit: Leaving.) |
| 11:50:20 | → | knupfer1 joins (~Thunderbi@i59F7FF06.versanet.de) |
| 11:50:23 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:3075:fc1b:a06c:a2b3) (Ping timeout: 272 seconds) |
| 11:50:48 | → | geekosaur joins (ac3a3ed7@172.58.62.215) |
| 11:51:54 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 11:54:11 | × | alp quits (~alp@2a01:e0a:58b:4920:dcdd:3edb:3a8b:e055) (Ping timeout: 272 seconds) |
| 11:59:07 | × | texasmynsted quits (~texasmyns@62.182.99.148) (Remote host closed the connection) |
| 11:59:47 | → | djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 11:59:54 | → | texasmynsted joins (~texasmyns@62.182.99.148) |
| 12:00:01 | × | ericholscher quits (~ericholsc@185.163.110.116) () |
| 12:02:17 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:551f:7c48:a755:a572) |
| 12:02:48 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 12:04:49 | × | texasmynsted quits (~texasmyns@62.182.99.148) (Ping timeout: 265 seconds) |
| 12:05:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 12:05:44 | <Guest54698> | merijn it seems that its exactly what i needed indeed :o thank you. For information. haskell array can be indexed with any kind of value right ? Im a bit confused about it now. |
| 12:06:55 | <merijn> | Guest54698: The Array type from Data.Array supports indexing via any type that has an Ix class, so while you *can* theoretically index it using String, but it's not really designed for that |
| 12:07:25 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 12:07:26 | <merijn> | Array is mostly designed for numeric indices (or tuples of numbers) |
| 12:07:52 | × | knupfer1 quits (~Thunderbi@i59F7FF06.versanet.de) (Ping timeout: 260 seconds) |
| 12:08:22 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 12:08:42 | <merijn> | Guest54698: Meanwhile Map is a more traditional "lookup key value pairs" kinda data structure (as I said, comparable to python dictionaries and C++'s std::map) |
| 12:09:17 | <merijn> | Guest54698: Although some of the dynamic languages mix these things together and call map/dictionary data structures "arrays" too and allow indexing them by non-numbers, which confuses things even more :p |
| 12:09:43 | <merijn> | :t (Data.Array.!) |
| 12:09:44 | <lambdabot> | Ix i => Array i e -> i -> e |
| 12:09:56 | → | shatriff joins (~vitaliish@80.233.50.115) |
| 12:10:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 12:10:14 | <merijn> | So that's indexable by any type that has an Ix instance (mostly numbers and tuples of numbers, afaik) |
| 12:10:27 | <merijn> | :t Data.Map.lookup |
| 12:10:27 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 12:10:28 | <lambdabot> | Ord k => k -> M.Map k a -> Maybe a |
| 12:10:40 | → | p8m_ joins (p8m@gateway/vpn/protonvpn/p8m) |
| 12:10:57 | <merijn> | That works for any key that is orderable |
| 12:10:59 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 12:11:34 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds) |
| 12:12:11 | × | ech quits (~user@gateway/tor-sasl/ech) (Remote host closed the connection) |
| 12:12:49 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 12:14:23 | × | denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds) |
| 12:16:02 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 12:16:15 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 12:16:49 | → | denisse joins (~spaceCat@gateway/tor-sasl/alephzer0) |
| 12:17:25 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 12:20:18 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 12:21:34 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 12:23:56 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 12:26:36 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 12:27:15 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 12:28:27 | hackage | http-client-websockets 0.1.1.0 - Glue code for http-client and websockets https://hackage.haskell.org/package/http-client-websockets-0.1.1.0 (amesgen) |
| 12:28:35 | × | shatriff quits (~vitaliish@80.233.50.115) (Remote host closed the connection) |
| 12:32:23 | → | texasmynsted joins (~texasmyns@62.182.99.148) |
| 12:34:29 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 12:34:53 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 12:36:02 | stefan-__ | is now known as stefan-_ |
| 12:36:27 | → | christo joins (~chris@81.96.113.213) |
| 12:36:45 | → | raichoo joins (~raichoo@dslb-178-001-019-190.178.001.pools.vodafone-ip.de) |
| 12:36:48 | × | christo quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 12:37:01 | → | christo joins (~chris@81.96.113.213) |
| 12:38:10 | × | texasmynsted quits (~texasmyns@62.182.99.148) (Ping timeout: 265 seconds) |
| 12:38:25 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 12:41:24 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:44:21 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 12:46:08 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 12:48:29 | → | rotty joins (rotty@ghost.xx.vu) |
| 12:49:26 | × | polyrain quits (~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:50:17 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 12:50:44 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 12:52:13 | × | avn quits (~avn@78-56-108-78.static.zebra.lt) (Ping timeout: 260 seconds) |
| 12:53:16 | → | thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) |
| 12:53:47 | → | donri joins (~donri@137.63.71.51) |
| 12:54:11 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 12:54:13 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 12:54:19 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 12:54:52 | × | stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 12:55:09 | → | stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) |
| 12:56:44 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:57:52 | → | shafox joins (~shafox@106.51.234.111) |
| 12:58:07 | × | thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 12:58:27 | × | p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 12:59:12 | → | christo joins (~chris@81.96.113.213) |
| 12:59:33 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 13:04:15 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 13:05:42 | → | Guest_81 joins (2a6ada69@42.106.218.105) |
| 13:05:42 | <Guest_81> | hi |
| 13:05:58 | <Guest_81> | im unable to download ghcup |
| 13:06:04 | <Guest_81> | on my mac |
| 13:06:59 | <maerwald> | Guest_81: why |
| 13:08:00 | → | son0p joins (~son0p@181.136.122.143) |
| 13:08:50 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 13:10:46 | → | carlomagno joins (~cararell@148.87.23.12) |
| 13:14:14 | × | Guest_81 quits (2a6ada69@42.106.218.105) (Ping timeout: 245 seconds) |
| 13:14:44 | <joel135> | I am trying curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh now in a pretty clean ubuntu 20.04 |
| 13:15:33 | → | Wuzzy joins (~Wuzzy@p5790ef06.dip0.t-ipconnect.de) |
| 13:15:44 | <joel135> | un/fortunately I don't have a mac to test on |
| 13:16:45 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 13:17:16 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 256 seconds) |
| 13:18:20 | × | donri quits (~donri@137.63.71.51) (Ping timeout: 256 seconds) |
| 13:18:27 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 13:18:42 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 13:19:18 | → | christo joins (~chris@81.96.113.213) |
| 13:20:31 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 13:21:53 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 13:24:05 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 13:27:59 | × | ambiso9 quits (~ambiso@209.182.239.205) (Quit: The Lounge - https://thelounge.chat) |
| 13:28:52 | → | ambiso9 joins (~ambiso@209.182.239.205) |
| 13:28:59 | → | polyrain joins (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) |
| 13:30:08 | → | texasmynsted joins (~texasmyns@62.182.99.148) |
| 13:31:07 | × | texasmynsted quits (~texasmyns@62.182.99.148) (Read error: Connection reset by peer) |
| 13:31:52 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 13:33:09 | → | ddellacosta joins (~dd@86.106.121.168) |
| 13:33:26 | <tomsmeding> | maerwald: do you have a keyword highlight on 'ghcup' :p |
| 13:34:06 | <maerwald> | sure |
| 13:36:51 | → | mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 13:37:12 | → | mirrorbird_ joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 13:38:43 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving) |
| 13:39:52 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds) |
| 13:40:09 | × | geekosaur quits (ac3a3ed7@172.58.62.215) (Remote host closed the connection) |
| 13:42:27 | × | acidjnk_new3 quits (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 13:45:34 | → | texasmynsted joins (~texasmyns@62.182.99.148) |
| 13:46:21 | → | texasmyn_ joins (~texasmyns@62.182.99.148) |
| 13:46:38 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 13:47:42 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 13:48:35 | → | fendor_ joins (~fendor@178.115.130.136.wireless.dyn.drei.com) |
| 13:50:11 | × | texasmynsted quits (~texasmyns@62.182.99.148) (Ping timeout: 265 seconds) |
| 13:51:14 | × | fendor quits (~fendor@178.115.130.82.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 13:52:32 | × | mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving) |
| 13:55:55 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 13:56:12 | × | jsynacek_ quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds) |
| 13:56:20 | → | toorevitimirp joins (~tooreviti@117.182.180.36) |
| 13:57:02 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 13:58:02 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 14:00:45 | × | carlomagno quits (~cararell@148.87.23.12) (Remote host closed the connection) |
| 14:02:57 | hackage | context 0.1.1.0 - Thread-indexed, nested contexts https://hackage.haskell.org/package/context-0.1.1.0 (jship) |
| 14:03:37 | → | carlomagno joins (~cararell@148.87.23.7) |
| 14:03:45 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 14:03:54 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 14:04:35 | × | carlomagno quits (~cararell@148.87.23.7) (Remote host closed the connection) |
| 14:05:27 | hackage | rank1dynamic 0.4.1 - Like Data.Dynamic/Data.Typeable but with support for rank-1 polymorphic types https://hackage.haskell.org/package/rank1dynamic-0.4.1 (FacundoDominguez) |
| 14:06:05 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 14:08:16 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 14:08:58 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (Read error: Connection reset by peer) |
| 14:09:19 | × | bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) () |
| 14:09:39 | → | bartemius joins (~bartemius@109.252.20.20) |
| 14:12:13 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 14:12:23 | → | vacm joins (~vacwm@70.23.92.191) |
| 14:21:23 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 14:23:02 | → | carlomagno joins (~cararell@148.87.23.5) |
| 14:25:00 | × | texasmyn_ quits (~texasmyns@62.182.99.148) (Remote host closed the connection) |
| 14:25:19 | → | texasmynsted joins (~texasmyns@62.182.99.148) |
| 14:26:39 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 14:27:34 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 14:30:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:31:33 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 14:35:52 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds) |
| 14:38:45 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 240 seconds) |
| 14:38:47 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:551f:7c48:a755:a572) (Ping timeout: 260 seconds) |
| 14:38:51 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 14:41:36 | → | thevishy joins (~Nishant@103.210.43.2) |
| 14:42:46 | × | HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
| 14:43:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:43:56 | → | meinhof joins (b2f6bcc4@178.246.188.196) |
| 14:44:00 | × | bartemius quits (~bartemius@109.252.20.20) (Remote host closed the connection) |
| 14:48:28 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 14:50:33 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:7496:5c58:dab0:e60e) |
| 14:51:05 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 14:51:24 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 14:51:44 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 14:51:51 | → | alp joins (~alp@2a01:e0a:58b:4920:f8ae:1b82:109a:d6a2) |
| 14:52:12 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 14:52:32 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 14:52:59 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 14:53:16 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 14:53:47 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 14:54:45 | → | thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) |
| 14:55:06 | → | ruljak joins (5cf785e2@92.247.133.226) |
| 14:57:30 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 14:58:39 | → | damianfral joins (~damianfra@177.red-2-142-221.dynamicip.rima-tde.net) |
| 14:59:27 | × | thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 15:00:35 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 15:03:40 | × | junjie quits (~Thunderbi@112.49.232.164) (Quit: junjie) |
| 15:04:25 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 264 seconds) |
| 15:04:51 | → | renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca) |
| 15:05:00 | → | acidjnk_new3 joins (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) |
| 15:05:38 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 15:09:32 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 15:09:58 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:10:30 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 15:13:53 | → | jsynacek_ joins (~jsynacek@ip-185-149-130-112.kmenet.cz) |
| 15:14:16 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 15:15:35 | → | thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) |
| 15:16:02 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 15:16:06 | × | raichoo quits (~raichoo@dslb-178-001-019-190.178.001.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 15:17:52 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds) |
| 15:18:33 | <maerwald> | https://github.com/pcapriotti/optparse-applicative/issues/148 the problem with DSLs... you can never anticipate all use cases |
| 15:19:47 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 15:20:05 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 15:20:12 | × | thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 15:20:29 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 15:20:37 | × | texasmynsted quits (~texasmyns@62.182.99.148) (Remote host closed the connection) |
| 15:21:17 | → | Lord_of_Life joins (~Lord@46.217.218.96) |
| 15:21:18 | × | Lord_of_Life quits (~Lord@46.217.218.96) (Changing host) |
| 15:21:18 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 15:21:57 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 260 seconds) |
| 15:22:37 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 15:22:42 | → | jedws joins (~jedws@101.184.148.229) |
| 15:23:14 | × | jsynacek_ quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 258 seconds) |
| 15:24:34 | × | meinhof quits (b2f6bcc4@178.246.188.196) (Remote host closed the connection) |
| 15:24:38 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 15:25:29 | → | HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 15:26:45 | × | jedws quits (~jedws@101.184.148.229) (Ping timeout: 240 seconds) |
| 15:30:49 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-mwjmzzijsisquogc) (Quit: Connection closed for inactivity) |
| 15:30:51 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-ypwtewedsewvdlne) |
| 15:31:11 | <merijn> | maerwald: But you can mostly already implement that behaviour? |
| 15:31:28 | <maerwald> | yeah, it doesn't render properly though |
| 15:31:52 | <maerwald> | e.g. in stack cli you have: --[no-]dump-logs |
| 15:31:55 | <maerwald> | that's proper |
| 15:32:02 | <merijn> | ah, right, but then what you want is probably just "better control over help text", which is somewhere deep down my todo list :p |
| 15:32:12 | × | coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 15:32:50 | <maerwald> | in the end you're messing with the internals, which is what I don't like... mix of high-level and low-level API is always awkward |
| 15:34:09 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-qblnjbdvopnophrh) |
| 15:34:35 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 15:35:15 | × | polyrain quits (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:36:02 | × | lightwave quits (uid469838@gateway/web/irccloud.com/x-senxbphlukrorlpa) (Quit: Connection closed for inactivity) |
| 15:37:22 | × | acidjnk_new3 quits (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 15:40:05 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 15:40:36 | × | toorevitimirp quits (~tooreviti@117.182.180.36) (Remote host closed the connection) |
| 15:40:51 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 15:42:16 | → | constR joins (uid58205@gateway/web/irccloud.com/x-ncabxfwmsmdkinmh) |
| 15:43:49 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 15:46:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) |
| 15:47:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:47:51 | → | daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 15:49:17 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 15:50:17 | → | Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se) |
| 15:51:41 | <daphnis> | how is --enable-debug-info=1 supposed to be passed with a stack project? (trying to compile xmobar with that option) |
| 15:55:22 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 256 seconds) |
| 15:56:09 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 15:58:45 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 15:59:24 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds) |
| 16:01:45 | × | kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 256 seconds) |
| 16:01:46 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 16:01:54 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 16:02:27 | hackage | context 0.1.1.1 - Thread-indexed, nested contexts https://hackage.haskell.org/package/context-0.1.1.1 (jship) |
| 16:04:35 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 16:07:49 | <tomsmeding> | daphnis: you might try 'stack build --no-strip', but not sure |
| 16:08:09 | <tomsmeding> | source: 'stack build --help' :p |
| 16:09:24 | × | ruljak quits (5cf785e2@92.247.133.226) (Remote host closed the connection) |
| 16:09:32 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds) |
| 16:11:33 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:12:58 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) |
| 16:14:44 | <tomsmeding> | unrelated, does 'stack repl' not work with a local library in the cabal file? |
| 16:16:32 | → | christo joins (~chris@81.96.113.213) |
| 16:18:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 16:18:55 | × | Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 16:20:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:20:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 16:20:43 | → | solonarv joins (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) |
| 16:23:34 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 16:26:45 | → | coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) |
| 16:30:36 | → | reeiiko joins (~reeiiko@84.39.116.180) |
| 16:32:25 | → | bartemius joins (~bartemius@109.252.20.20) |
| 16:32:28 | hackage | Z-IO 0.1.7.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.7.0 (winterland) |
| 16:33:17 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 16:33:18 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 16:34:51 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 16:35:17 | × | xff0x quits (~fox@2001:1a81:5355:300:36b0:bb39:8493:75d8) (Remote host closed the connection) |
| 16:35:35 | → | xff0x joins (~fox@2001:1a81:5355:300:b6fb:6049:f390:36a1) |
| 16:36:13 | × | dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection) |
| 16:36:25 | × | zariuq quits (~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection) |
| 16:36:38 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 16:37:24 | → | zariuq joins (~zar@fw1.ciirc.cvut.cz) |
| 16:37:57 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 16:38:16 | → | christo joins (~chris@81.96.113.213) |
| 16:41:31 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:41:58 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 16:42:05 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 240 seconds) |
| 16:42:12 | → | christo joins (~chris@81.96.113.213) |
| 16:45:05 | × | Gerula quits (~Gerula@unaffiliated/gerula) (Quit: Leaving) |
| 16:45:38 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 16:46:37 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 16:46:52 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 16:46:53 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 16:46:53 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 16:49:20 | → | mananamenos_ joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 16:49:52 | × | son0p quits (~son0p@181.136.122.143) (Ping timeout: 258 seconds) |
| 16:50:37 | × | mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 260 seconds) |
| 16:50:58 | × | coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 16:51:29 | → | son0p joins (~son0p@181.136.122.143) |
| 16:53:14 | × | dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 272 seconds) |
| 16:56:39 | → | daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 16:57:04 | <ixlun> | Does anyone know if there is a way to lift to a pattern in TH? |
| 16:57:56 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) |
| 16:58:09 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-tpxsfbngvqvdwafc) |
| 17:00:18 | → | jsynacek_ joins (~jsynacek@ip-185-149-130-112.kmenet.cz) |
| 17:01:22 | → | danza joins (~francesco@host-87-16-96-139.retail.telecomitalia.it) |
| 17:03:20 | <ixlun> | I found LitP |
| 17:03:39 | <ixlun> | but now I need to lift that into the Q monad |
| 17:04:45 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 17:06:08 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 17:06:50 | <monsterchrom> | just use return? Q is a monad. |
| 17:07:25 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 17:07:38 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 17:10:48 | → | ddellacosta joins (~dd@86.106.121.168) |
| 17:13:29 | → | Gerula joins (~Gerula@unaffiliated/gerula) |
| 17:14:22 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 246 seconds) |
| 17:17:53 | × | Khisanth quits (~Khisanth@166.sub-174-197-147.myvzw.com) (Read error: No route to host) |
| 17:18:17 | → | Khisanth joins (~Khisanth@166.sub-174-197-147.myvzw.com) |
| 17:22:47 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 17:22:57 | × | nlhowell quits (~nlhowell@don28-11.ln.rinet.ru) (Quit: WeeChat 2.9) |
| 17:24:55 | → | thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) |
| 17:25:25 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:27:30 | → | xwl joins (~user@2a01:c22:c834:6a34:5dc7:2232:115c:751e) |
| 17:28:01 | × | xwl quits (~user@2a01:c22:c834:6a34:5dc7:2232:115c:751e) (Client Quit) |
| 17:28:51 | × | thevishy quits (~Nishant@103.210.43.2) (Quit: Leaving) |
| 17:29:22 | × | thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 17:32:25 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 17:36:28 | hackage | ukrainian-phonetics-basic 0.1.3.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.3.0 (OleksandrZhabenko) |
| 17:36:40 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 17:36:50 | → | GyroW joins (~GyroW@d54c03e98.access.telenet.be) |
| 17:36:51 | × | GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 17:36:51 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 17:37:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:42:13 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 260 seconds) |
| 17:43:46 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 17:44:25 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 240 seconds) |
| 17:46:19 | × | alp quits (~alp@2a01:e0a:58b:4920:f8ae:1b82:109a:d6a2) (Ping timeout: 272 seconds) |
| 17:48:19 | × | son0p quits (~son0p@181.136.122.143) (Ping timeout: 246 seconds) |
| 17:48:58 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 17:49:14 | × | Guest54698 quits (5a319fdb@lfbn-nan-1-68-219.w90-49.abo.wanadoo.fr) (Ping timeout: 245 seconds) |
| 17:49:32 | → | son0p joins (~son0p@181.136.122.143) |
| 17:52:15 | × | mirrorbird_ quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving) |
| 17:56:11 | × | Patternmaster quits (~georg@li1192-118.members.linode.com) (Ping timeout: 240 seconds) |
| 17:58:36 | → | Patternmaster joins (~georg@li1192-118.members.linode.com) |
| 17:58:39 | → | mimi_vx joins (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291) |
| 17:59:42 | → | daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 18:00:01 | × | reeiiko quits (~reeiiko@84.39.116.180) () |
| 18:00:39 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 18:02:01 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 18:02:01 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 18:02:01 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 18:02:32 | × | ixlun quits (~matthew@213.205.241.94) (Read error: Connection reset by peer) |
| 18:03:11 | → | christo joins (~chris@81.96.113.213) |
| 18:03:29 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
| 18:05:24 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:07:13 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds) |
| 18:09:12 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:10:51 | × | kish` quits (~oracle@unaffiliated/oracle) (Remote host closed the connection) |
| 18:11:19 | → | kish joins (~oracle@unaffiliated/oracle) |
| 18:11:40 | → | andybkof2001 joins (~andybkof2@201.141.61.28) |
| 18:11:44 | <andybkof2001> | made your area like quebec and speak german, in the frontier méxico with texas,the flag is in the frontier, in horizont orange almost dark like brick in up, in half gray aluminum, and in down blue sky day, with letter L red shinning thick, no very thick just 1 cm and 4 mm with red fire in the right side in line like shadow the same red shinnig 9 mm right, at the left side 1 mm of shadow, |
| 18:11:44 | <andybkof2001> | and in down 3 mm of shadow red shinnig all the shadows stiked at the L the L no with waves in line 9 mm of fire 1 left and 3 in down , the L in the center of the new german flag occupying the entire gray strip with the shadow, the name is Deutcsh, coin deutsches. let the giants play baskectball with the browns.learn german https://app.memrise.com/course/920/5000-german-words-top-87/1/ copy |
| 18:11:44 | <andybkof2001> | the adress of the page, and paste somewhere, for read it later, go at the bookseller and ask for the diccionary english german and read it verbatim, https://www.youtube.com/watch?v=Y6DNjM4s-zw |
| 18:11:49 | × | andybkof2001 quits (~andybkof2@201.141.61.28) (Remote host closed the connection) |
| 18:12:08 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 18:12:09 | × | nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 265 seconds) |
| 18:13:02 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 272 seconds) |
| 18:13:55 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 18:14:15 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 18:14:35 | <MarcelineVQ> | That was kind of poetic until the urls |
| 18:17:11 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 18:18:20 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 18:19:25 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 264 seconds) |
| 18:19:42 | → | mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 18:23:42 | → | ixlun joins (~matthew@213.205.241.94) |
| 18:23:59 | × | danza quits (~francesco@host-87-16-96-139.retail.telecomitalia.it) (Quit: Leaving) |
| 18:25:23 | → | alp joins (~alp@2a01:e0a:58b:4920:ac5b:158:30e4:51d7) |
| 18:25:33 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 18:28:02 | <koz_> | The hell did I just read? |
| 18:28:11 | → | coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) |
| 18:28:56 | × | mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds) |
| 18:29:49 | <ixlun> | Say I had: `Data Foo = Foo Ordering' and then : `x foo = ...'. How could I convert `foo' into a template haskell `Pat'? |
| 18:30:23 | <ixlun> | So far I've got `ConP ''Foo' |
| 18:31:00 | <ixlun> | but I'm unsure how to convert the Ordering type consturctor into a Pat |
| 18:31:44 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 18:32:47 | tomsmeding | is going to assume that was a markov chain generator |
| 18:33:16 | <ixlun> | I don't want to have to write: foo2Pat (Foo EQ) = [p|Foo EQ|] for all Ordering |
| 18:35:03 | <tomsmeding> | ixlun: wild guess, would it not just be ConP ''Foo (ConP ''EQ) ? |
| 18:35:16 | <tomsmeding> | or, well, ConP ''Foo [ConP ''EQ] |
| 18:35:39 | <ixlun> | Ahhhhh |
| 18:36:00 | <ixlun> | Didn't get that it would have another ConP as it's child |
| 18:36:01 | <tomsmeding> | EQ is also just a data constructor :) |
| 18:36:22 | <ixlun> | thanks tomsmeding :-) |
| 18:36:26 | <ixlun> | TH is really cool! |
| 18:37:27 | <chkno> | What's the simplest way to use TCP (client & server) while keeping the rest of my program Safe? I'm starting from "error: [-Wunsafe, -Werror=unsafe] ... Network.Socket: Can't be safely imported! The module itself isn't safe." network-simple gives the same error, and pipes-network looks complicated. Should I bite the bullet and learn Pipes or make small module that wraps Network.Socket & mark it |
| 18:37:33 | <chkno> | Trustworthy? |
| 18:38:23 | → | Kolkrabe joins (~user@unaffiliated/siracusa) |
| 18:39:07 | → | avdb joins (~avdb@ip-62-235-13-212.dsl.scarlet.be) |
| 18:41:20 | × | incertia quits (~incertia@d60-65-215-180.col.wideopenwest.com) (Ping timeout: 256 seconds) |
| 18:42:12 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds) |
| 18:42:36 | → | incertia joins (~incertia@d60-65-215-180.col.wideopenwest.com) |
| 18:43:36 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds) |
| 18:44:29 | → | isovector1 joins (~isovector@172.103.217.169) |
| 18:44:35 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:7496:5c58:dab0:e60e) (Ping timeout: 272 seconds) |
| 18:46:16 | → | acidjnk_new3 joins (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) |
| 18:47:57 | → | nyaomi joins (~naomi@cpe-74-75-6-125.maine.res.rr.com) |
| 18:50:32 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 18:51:48 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 18:51:58 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 18:51:58 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 18:51:58 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 18:52:50 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 18:53:05 | × | taurux quits (~taurux@net-188-152-78-51.cust.dsl.teletu.it) (Ping timeout: 240 seconds) |
| 18:54:10 | × | brettgilio_ quits (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com>) |
| 18:54:13 | → | taurux joins (~taurux@net-188-152-78-51.cust.vodafonedsl.it) |
| 18:55:22 | → | aki_ joins (~aki_@195.206.169.184) |
| 18:56:25 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:2c27:27e3:588f:de92) |
| 18:57:38 | <merijn> | Honestly, I don't think anyone's really using SafeHaskell these days |
| 18:57:43 | ← | isovector1 parts (~isovector@172.103.217.169) ("Leaving") |
| 18:58:09 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 18:58:10 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:00:10 | → | brettgilio joins (~brettgili@brettgilio.com) |
| 19:01:17 | <Zetagon> | Why not? |
| 19:03:24 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:03:28 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:03:52 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 19:04:33 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 19:04:41 | → | fandi joins (~fandi@118.97.77.114) |
| 19:07:54 | <chkno> | I suppose I could keep most of my program in transport-agnostic Safe modules and then just mix the TCP in with the rest in an Unsafe top-level Main. I'm using Safe because it came with -Weverything, and because https://wiki.haskell.org/Safe_Haskell says 'it's like -Wall', and I use -Wall (and -Wextra, -pedantic, clang-tidy, ...) when I write C. |
| 19:10:02 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds) |
| 19:11:07 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 265 seconds) |
| 19:11:43 | → | chaosmasttter joins (~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) |
| 19:12:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) |
| 19:12:25 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 19:13:27 | → | ddellacosta joins (~dd@86.106.121.168) |
| 19:21:01 | × | Varis quits (~Tadas@unaffiliated/varis) (Quit: Leaving) |
| 19:22:08 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:22:21 | × | avdb quits (~avdb@ip-62-235-13-212.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 19:25:53 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) |
| 19:26:43 | → | thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) |
| 19:27:28 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 19:30:29 | <merijn> | chkno: That's not the case |
| 19:30:38 | <merijn> | chkno: You shouldn't use -Weverything |
| 19:31:16 | <merijn> | -Wall enables everything you should care about, -Weverything includes *lots* of things that are very questionable (i.e. warns about things which aren't wrong) |
| 19:32:00 | → | steve_ joins (~quassel@ool-18b99d28.dyn.optonline.net) |
| 19:32:01 | → | steve__ joins (~quassel@ool-18b99d28.dyn.optonline.net) |
| 19:32:17 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 19:32:27 | × | thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 19:32:57 | <christo> | hey guys |
| 19:33:00 | <christo> | in acabal project |
| 19:33:02 | <christo> | cabal* |
| 19:33:14 | <christo> | what should i be .gitignore'ing? |
| 19:33:18 | <merijn> | chkno: Actually using Safe means you're going to have to audit your dependencies and mark which ones you're going to trust, or it's not really going to do anything for you :) |
| 19:33:20 | <christo> | dist/ folder? |
| 19:33:41 | <merijn> | christo: dist and dist-newstyle, that should be the only thing cabal really makes |
| 19:34:05 | <christo> | thx, what does those folders contain? the build of the project? after you compile it? |
| 19:34:13 | <merijn> | And if your cabal-install is making dist folders, you probably wanna upgrade to a newer version of cabal-install :p |
| 19:34:16 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:34:33 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 19:34:37 | <christo> | everything i need for cabal is the .cabal file right? |
| 19:34:46 | <merijn> | christo: dist/dist-newstyle contains the build artifacts of your project, yes (dependencies get installed in ~/.cabal) |
| 19:34:57 | <merijn> | christo: Yeah |
| 19:35:06 | × | bartemius quits (~bartemius@109.252.20.20) (Remote host closed the connection) |
| 19:35:16 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 19:35:29 | <christo> | ok, will do a git -rm -r -cached then i'll double check the command for it lol |
| 19:35:39 | <christo> | thx |
| 19:36:16 | → | knupfer joins (~Thunderbi@i59F7FF06.versanet.de) |
| 19:37:58 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 19:39:02 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 19:39:04 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Client Quit) |
| 19:42:08 | → | lxsameer joins (~lxsameer@unaffiliated/lxsameer) |
| 19:42:21 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 19:42:50 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:43:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 19:44:21 | × | steve__ quits (~quassel@ool-18b99d28.dyn.optonline.net) (Remote host closed the connection) |
| 19:44:22 | × | Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection) |
| 19:44:46 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Client Quit) |
| 19:44:47 | <maerwald> | mouse scroll doesn't seem to register in brick |
| 19:45:02 | <lxsameer> | hey folks, f: a -> Mb and g: b -> Mc . the bind for these two would be Mb >>= \b -> Mc . is it correct to say, in order to compose these two to gether weh have to have a function like z: a -> f(a) >>= g ???? |
| 19:45:24 | <lxsameer> | is z correct as a composition of f and g ? |
| 19:47:25 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:47:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:48:53 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 19:49:56 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 19:51:32 | → | mastarija joins (~mastarija@93-136-107-187.adsl.net.t-com.hr) |
| 19:52:43 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 19:52:53 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 260 seconds) |
| 19:53:03 | <maerwald> | Weird, seems mouse wheel up results in KUp event, not in Button event |
| 19:54:08 | <geekosaur> | that's up to the terminal emulator; most translate it before the app running in the terminal can see it |
| 19:54:24 | <geekosaur> | mouse wheel scrolling is just a bit of a hack |
| 19:57:47 | <geekosaur> | (it should be multiple KUp events normally; there's often a configuration knob for how many) |
| 19:58:01 | × | mastarija quits (~mastarija@93-136-107-187.adsl.net.t-com.hr) (Quit: Leaving) |
| 19:58:50 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-ypwtewedsewvdlne) (Quit: Connection closed for inactivity) |
| 19:59:29 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 20:00:11 | × | mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving) |
| 20:01:04 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 20:01:09 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:01:12 | × | ggole quits (~ggole@2001:8003:8119:7200:f40c:8454:96a4:4e08) (Quit: Leaving) |
| 20:01:45 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 20:01:57 | hackage | aeson-combinators 0.0.4.0 - Aeson combinators for dead simple JSON decoding https://hackage.haskell.org/package/aeson-combinators-0.0.4.0 (MarekFajkus) |
| 20:03:20 | <geekosaur> | hm, although given how hacky that aspect is, it might only be one. (it's not really that kind of UI event in a terminal) |
| 20:03:58 | → | elpfen[m] joins (elpfenmatr@gateway/shell/matrix.org/x-qyxfulwurvxvqcrl) |
| 20:07:28 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 20:08:22 | × | Neo-- quits (~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 260 seconds) |
| 20:09:37 | → | tuple joins (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) |
| 20:10:14 | × | tuple quits (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 20:11:30 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds) |
| 20:12:23 | × | Athas quits (~athas@2a01:7c8:aaac:1cf:430f:bcbb:6418:e5a7) (Quit: ZNC - http://znc.sourceforge.net) |
| 20:12:33 | → | Athas joins (athas@2a01:7c8:aaac:1cf:c447:4462:6f16:b387) |
| 20:14:31 | × | alp quits (~alp@2a01:e0a:58b:4920:ac5b:158:30e4:51d7) (Ping timeout: 272 seconds) |
| 20:15:12 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 20:18:05 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 20:18:27 | × | aki_ quits (~aki_@195.206.169.184) (Remote host closed the connection) |
| 20:18:52 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
| 20:19:26 | <maerwald> | I would have expected alacritty to emit an actual mouse event maybe |
| 20:20:04 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 20:20:33 | <geekosaur> | one could argue the translation is happening at the wrong level, but I suspect nobody would want to fix it |
| 20:20:55 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 20:21:43 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 20:24:00 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 20:24:47 | <geekosaur> | iirc it's somewhat painful to do what you want, given that passing mouse events through is itself a hack; they'd have to arrange somehow for the original event to be saved just for mouse mode |
| 20:25:10 | <maerwald> | well, it's kinda confusing, we have mousewheel in two events: VtyEvent https://hackage.haskell.org/package/vty-5.31/docs/Graphics-Vty-Input-Events.html#t:Event and BrickEvent https://hackage.haskell.org/package/brick-0.57/docs/Brick-Types.html#t:BrickEvent but both never trigger lol |
| 20:25:18 | <geekosaur> | (scrolling is not normally a UI event as such) |
| 20:25:51 | <geekosaur> | right, because it's up to the terminal to pass it on and most probably won't |
| 20:28:06 | <geekosaur> | at least, not as button or scroll events |
| 20:29:19 | <geekosaur> | again, you could try reporting it as a bug in alacritty that it gives you an up key instead of a mouse event in that case, but I suspect they'll find it too hard to fix and that's why they send key-up to begin with |
| 20:29:38 | <maerwald> | https://github.com/alacritty/alacritty/issues/2512 |
| 20:29:57 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 20:30:03 | <maerwald> | so much more you can do with mouse event |
| 20:30:15 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 20:31:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 20:31:48 | → | ozbot joins (~ozbot@154.13.1.56) |
| 20:32:54 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 20:33:08 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 20:33:34 | → | OscarZ joins (~oscarz@95.175.104.44) |
| 20:36:01 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:39:50 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 20:40:22 | → | sfvm joins (~sfvm@37.228.215.148) |
| 20:43:52 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-szummihjpdtceelx) |
| 20:43:56 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 20:44:14 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 20:45:02 | ← | Gerula parts (~Gerula@unaffiliated/gerula) ("Leaving") |
| 20:45:07 | × | jsynacek_ quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds) |
| 20:49:28 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds) |
| 20:50:34 | × | infty quits (~ubuntu@ec2-3-126-179-254.eu-central-1.compute.amazonaws.com) (Quit: leaving) |
| 20:51:23 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 20:53:37 | × | Franciman quits (~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving) |
| 21:00:01 | × | ozbot quits (~ozbot@154.13.1.56) () |
| 21:06:08 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 21:07:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 21:07:57 | hackage | morley 1.8.0 - Developer tools for the Michelson Language https://hackage.haskell.org/package/morley-1.8.0 (gromak) |
| 21:10:25 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 21:12:00 | mursu_ | is now known as mursu |
| 21:13:50 | → | hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 21:15:23 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 21:16:36 | × | trumpsec quits (uid470694@gateway/web/irccloud.com/x-vmczzfmprshkgkkv) () |
| 21:17:09 | → | trumpsec joins (uid470694@gateway/web/irccloud.com/x-csiitbjsrbpckjts) |
| 21:22:08 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 21:22:30 | trumpsec | is now known as psych |
| 21:22:31 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 21:22:31 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 21:22:31 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 21:23:40 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds) |
| 21:23:40 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 21:24:34 | ← | psych parts (uid470694@gateway/web/irccloud.com/x-csiitbjsrbpckjts) () |
| 21:25:48 | × | knupfer quits (~Thunderbi@i59F7FF06.versanet.de) (Quit: knupfer) |
| 21:25:48 | → | knupfer1 joins (~Thunderbi@200116b82cdc6a0038c99fd1ac8ab40b.dip.versatel-1u1.de) |
| 21:25:58 | × | knupfer1 quits (~Thunderbi@200116b82cdc6a0038c99fd1ac8ab40b.dip.versatel-1u1.de) (Client Quit) |
| 21:26:09 | → | knupfer joins (~Thunderbi@200116b82cdc6a00b4a9dbb45e11696e.dip.versatel-1u1.de) |
| 21:27:16 | × | knupfer quits (~Thunderbi@200116b82cdc6a00b4a9dbb45e11696e.dip.versatel-1u1.de) (Client Quit) |
| 21:27:30 | → | knupfer joins (~Thunderbi@200116b82cdc6a00754e6662daa0832c.dip.versatel-1u1.de) |
| 21:29:07 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 21:29:19 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 21:29:49 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 21:30:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:32:02 | × | knupfer quits (~Thunderbi@200116b82cdc6a00754e6662daa0832c.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 21:34:57 | hackage | xlsx 0.8.2 - Simple and incomplete Excel file parser/writer https://hackage.haskell.org/package/xlsx-0.8.2 (KirillZaborsky) |
| 21:35:39 | → | bartemius joins (~bartemius@109-252-20-20.nat.spd-mgts.ru) |
| 21:36:33 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:38:12 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 21:40:13 | × | bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) (Ping timeout: 260 seconds) |
| 21:41:03 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 21:41:24 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 21:43:22 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 21:44:15 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 21:45:49 | → | frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 21:47:08 | <frdg> | adding a function to a `composition pipeline?` will decrease or preserve the size of the compositions image. Is this true and if so is this property named? |
| 21:48:26 | <c_wraith> | where did that question come from? Seems like an odd thing to ask. |
| 21:49:38 | <monsterchrom> | This sounds like a continuation of a misguided line of thought from several days ago. |
| 21:50:26 | <frdg> | I came up with it while learning about monotonicity of entailment |
| 21:50:37 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 21:51:19 | <c_wraith> | It's also clearly not true with arbitrary functions |
| 21:51:44 | <frdg> | oh |
| 21:52:18 | <monsterchrom> | It is true and boring. It is merely part of the definition of "function" in the first place. |
| 21:52:26 | <c_wraith> | (floor . max 0 . min 1 :: Double -> Int) vs (floor . (*5) . max 0 . min 1 :: Double -> Int) |
| 21:53:21 | <frdg> | terrible timing I must eat dinner. |
| 21:54:16 | × | chaosmasttter quits (~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 21:54:19 | → | alp joins (~alp@2a01:e0a:58b:4920:60bf:7356:ce9b:9eec) |
| 21:55:38 | → | [42]1 joins (~42]@195.206.169.184) |
| 21:55:45 | × | taurux quits (~taurux@net-188-152-78-51.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 21:55:48 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 21:56:28 | → | taurux joins (~taurux@net-188-152-78-90.cust.vodafonedsl.it) |
| 22:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:00:37 | × | acidjnk_new3 quits (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 22:00:57 | × | mimi_vx quits (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291) (Ping timeout: 260 seconds) |
| 22:01:31 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 22:01:53 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 22:05:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:09:13 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 264 seconds) |
| 22:12:40 | × | tirej quits (~tirej@unaffiliated/tirej) (Quit: Lost terminal) |
| 22:12:44 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 22:13:10 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 22:13:22 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 22:15:34 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:17:07 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Ping timeout: 246 seconds) |
| 22:18:01 | × | danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 22:19:10 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 22:19:44 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 22:20:31 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-yozgrvcgtawskeqy) |
| 22:20:45 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 22:21:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 22:23:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 22:23:24 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 22:29:17 | → | mbomba joins (~mbomba@142.114.9.241) |
| 22:31:56 | → | thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) |
| 22:33:10 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 22:34:18 | × | darjeeling_ quits (~darjeelin@122.245.123.118) (Ping timeout: 256 seconds) |
| 22:34:52 | → | mimi_vx joins (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291) |
| 22:36:47 | × | thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 22:37:22 | → | darjeeling_ joins (~darjeelin@122.245.123.118) |
| 22:41:57 | hackage | cabal-fmt 0.1.5 - Format .cabal files https://hackage.haskell.org/package/cabal-fmt-0.1.5 (phadej) |
| 22:44:25 | × | Wuzzy quits (~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 22:45:58 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) |
| 22:46:07 | nuka | is now known as niko |
| 22:46:23 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 22:48:38 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Client Quit) |
| 22:48:39 | <frdg> | c_wraith: `(floor . max 0 . min 1 :: Double -> Int) vs (floor . (*5) . max 0 . min 1 :: Double -> Int)` isn't the image of both of these functions infinite? |
| 22:49:45 | <c_wraith> | nope. The first one has the image [0, 1]. the second has the image [0, 1, 2, 3, 4, 5] |
| 22:50:09 | <c_wraith> | err. those are finite sets, not some sort of range notation |
| 22:51:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) |
| 22:51:46 | <frdg> | I see it now |
| 22:51:48 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 22:52:33 | <frdg> | there goes my theory |
| 22:54:40 | <monsterchrom> | oops |
| 22:54:42 | <c_wraith> | monsterchrom was referring to a simpler statement, which *is* trivially true. Composing two functions together results in an image with a size at most the max of the sizes of the two individual functions. |
| 22:55:03 | <c_wraith> | But when you are allowed to insert intermediate steps, things are no longer that simple |
| 22:56:04 | × | Foritus quits (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 22:56:46 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds) |
| 22:58:20 | → | Jimi2M0ITI joins (~JimiMM0JT@unaffiliated/jimimm0jtx) |
| 22:58:56 | × | Jimi2M0ITI quits (~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit) |
| 22:59:38 | → | MikeD joins (ad5822ca@cpe-173-88-34-202.columbus.res.rr.com) |
| 23:01:48 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 23:01:52 | × | fendor_ quits (~fendor@178.115.130.136.wireless.dyn.drei.com) (Remote host closed the connection) |
| 23:02:07 | → | Jimi2M0ITI joins (~JimiMM0JT@unaffiliated/jimimm0jtx) |
| 23:02:21 | × | alp quits (~alp@2a01:e0a:58b:4920:60bf:7356:ce9b:9eec) (Ping timeout: 272 seconds) |
| 23:02:31 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 23:02:56 | × | Jimi2M0ITI quits (~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit) |
| 23:03:14 | × | renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 258 seconds) |
| 23:03:32 | → | Jimi2M0ITI joins (~JimiMM0JT@unaffiliated/jimimm0jtx) |
| 23:03:50 | → | Neo-- joins (~neo@188-230-154-134.dynamic.t-2.net) |
| 23:04:39 | × | Jimi2M0ITI quits (~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit) |
| 23:05:22 | → | Foritus joins (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) |
| 23:08:55 | → | christo joins (~chris@81.96.113.213) |
| 23:09:27 | × | mimi_vx quits (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291) (Ping timeout: 260 seconds) |
| 23:09:34 | → | kewa joins (55aec1a1@85.174.193.161) |
| 23:12:07 | × | Foritus quits (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 23:12:44 | → | Foritus joins (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) |
| 23:12:47 | <kewa> | Hi! Is this chat alive? |
| 23:12:49 | × | Neo-- quits (~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 264 seconds) |
| 23:13:33 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds) |
| 23:15:55 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:16:48 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) |
| 23:19:25 | <Ariakenom> | kewa, sure |
| 23:19:38 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 23:20:45 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 23:23:46 | <koz_> | kewa: No, we are all turingrade AIs. |
| 23:27:21 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 23:29:16 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 23:29:21 | ← | kewa parts (55aec1a1@85.174.193.161) () |
| 23:31:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 23:31:59 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 258 seconds) |
| 23:36:00 | <monsterchrom> | That counts as alive. |
| 23:38:56 | → | andybkof2001 joins (~andybkof2@fixed-187-188-9-123.totalplay.net) |
| 23:38:57 | × | damianfral quits (~damianfra@177.red-2-142-221.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 23:39:05 | <andybkof2001> | made your area like quebec and speak german, in the frontier méxico with texas,the flag is in the frontier, in horizont orange almost dark like brick in up, in half gray aluminum, and in down blue sky day, with letter L red shinning thick, no very thick just 1 cm and 4 mm with red fire in the right side in line like shadow the same red shinnig 9 mm right, at the left side 1 mm of shadow, |
| 23:39:05 | <andybkof2001> | and in down 3 mm of shadow red shinnig all the shadows stiked at the L the L no with waves in line 9 mm of fire 1 left and 3 in down , the L in the center of the new german flag occupying the entire gray strip with the shadow, the name is Deutcsh, coin deutsches. let the giants play baskectball with the browns.learn german https://app.memrise.com/course/920/5000-german-words-top-87/1/ copy |
| 23:39:05 | <andybkof2001> | the adress of the page, and paste somewhere, for read it later, go at the bookseller and ask for the diccionary english german and read it verbatim, https://www.youtube.com/watch?v=Y6DNjM4s-zw |
| 23:40:24 | ChanServ | sets mode +o monsterchrom |
| 23:40:30 | monsterchrom | sets mode +b *!*@fixed-187-188-9-123.totalplay.net |
| 23:40:30 | andybkof2001 | is kicked by monsterchrom (andybkof2001) |
| 23:40:44 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 23:45:17 | monsterchrom | sets mode -b+b *!*@fixed-187-188-9-123.totalplay.net andybkof2001!*@* |
| 23:45:36 | <monsterchrom> | Let's see how well that holds up. |
| 23:45:45 | <Kolkrabe> | Looking at some nicks, I would say the channel is undead rather than alive :p |
| 23:45:46 | monsterchrom | sets mode -o monsterchrom |
| 23:45:53 | <monsterchrom> | Haha |
| 23:47:19 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 23:49:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:54:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 23:58:04 | → | Zer000 joins (~Zer000@64.137.132.26) |
All times are in UTC on 2020-10-24.