Logs on 2020-10-22 (freenode/#haskell)
| 00:00:01 | → | edk_ joins (e@freenode/staff/spy.edk) |
| 00:01:00 | → | polyrain joins (~polyrain@58.161.83.164) |
| 00:01:05 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds) |
| 00:03:37 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Ping timeout: 260 seconds) |
| 00:03:59 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 00:05:33 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 00:05:34 | × | codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer) |
| 00:05:43 | → | codygman joins (codygman@gateway/vpn/privateinternetaccess/codygman) |
| 00:06:29 | <sshine> | is this a halloween thing? |
| 00:06:52 | <monochrom> | yes |
| 00:07:04 | monochrom | is now known as morphochrom |
| 00:08:34 | <morphochrom> | I think this will do this year. :) |
| 00:09:37 | <morphochrom> | Too many morphisms lately as I learn the Yoneda lemma. |
| 00:09:55 | <ghoulguy> | sshine: yeah |
| 00:10:33 | × | codygman quits (codygman@gateway/vpn/privateinternetaccess/codygman) (Ping timeout: 260 seconds) |
| 00:11:04 | <ghoulguy> | monsterchrom |
| 00:11:27 | <sshine> | I'm trying to determine this type of morphism. https://staticdelivery.nexusmods.com/mods/110/images/42586-1-1379644403.jpg |
| 00:11:47 | <morphochrom> | That's a better one, I'll use it! Thanks. |
| 00:11:51 | morphochrom | is now known as monsterchrom |
| 00:12:41 | <sshine> | whenever I see movies with that type of monsters, I always imagine that since they come from outer space, they could just be super tiny. |
| 00:14:23 | <ghoulguy> | ski: spooki :) |
| 00:14:51 | <monsterchrom> | Romula d'deridex class warbid |
| 00:15:38 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 00:16:45 | → | burg_philo joins (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) |
| 00:18:52 | sshine | is now known as mshine |
| 00:18:59 | → | Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 00:19:11 | × | Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 00:19:17 | → | darthfork joins (~igloo@8.9.230.47) |
| 00:19:47 | × | darthfork quits (~igloo@8.9.230.47) (Client Quit) |
| 00:21:40 | × | burg_philo quits (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 00:21:58 | → | luto1 joins (~luto@185.163.110.116) |
| 00:22:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 00:23:04 | <Squarism> | Maybe a weird question, but i'll try. Given data D a = D a ; class C a b where ; get :: a -> Maybe b. Can I write an instance of C that matches the case when "a" is D <whatever> and "b" is D scopedVar. Somehow keep telling myself this should hold : appliedFkn :: forall b. b => Maybe (D b) ; appliedFkn = get (D Int). But I think I'm wrong there. |
| 00:24:14 | → | burg_philo joins (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) |
| 00:24:14 | × | burg_philo quits (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Client Quit) |
| 00:25:34 | → | darthfork joins (~igloo@8.9.230.47) |
| 00:25:41 | × | darthfork quits (~igloo@8.9.230.47) (Client Quit) |
| 00:26:44 | <Squarism> | My intuition feels this should be possible, but my constant fighting with the compiler tells me I've fundamentally confused myself about scope variables arent "wildcards" in this sense. |
| 00:27:36 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 00:27:59 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 00:28:09 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 00:30:28 | × | Wuzzy quits (~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 00:31:25 | × | whatisRT quits (~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Ping timeout: 240 seconds) |
| 00:32:02 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-ozudxpdqqqotmvjh) (Quit: Connection closed for inactivity) |
| 00:34:51 | × | alp quits (~alp@2a01:e0a:58b:4920:b176:4a05:144c:cd70) (Ping timeout: 272 seconds) |
| 00:35:02 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:35:36 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 00:36:09 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 00:37:33 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 00:37:34 | → | rx_ joins (~rx@2607:fea8:2c5f:faea::2277) |
| 00:38:52 | ← | rx_ parts (~rx@2607:fea8:2c5f:faea::2277) () |
| 00:45:13 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds) |
| 00:45:44 | × | Ferdirand quits (~max@2001:4c78:2012:5000::2) (Ping timeout: 246 seconds) |
| 00:45:52 | → | Ferdirand joins (~max@2001:4c78:2012:5000::2) |
| 00:47:39 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 00:48:04 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 00:48:15 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 00:49:11 | → | Lord_of_Life joins (~Lord@46.217.219.190) |
| 00:50:42 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 00:50:52 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 00:50:52 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 00:50:52 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 00:55:53 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 00:56:33 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 00:57:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c4b2:ae08:d967:f34e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:57:08 | × | Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 272 seconds) |
| 00:57:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:00:26 | × | crestfallen quits (~john@128.32.176.159) (Quit: Leaving) |
| 01:00:43 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds) |
| 01:00:49 | × | dsiypl4 quits (~dsiypl4@41.251.199.43) (Quit: Leaving) |
| 01:00:59 | → | acidjnk_new2 joins (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) |
| 01:02:15 | → | LindaTheUltimate joins (3dded63f@61-222-214-63.HINET-IP.hinet.net) |
| 01:02:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 01:03:36 | <koz_> | Is there such a thing as a free Alternative? |
| 01:05:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) |
| 01:05:21 | <dolio> | Certainly. |
| 01:05:49 | <koz_> | Lol... _just_ saw this: http://hackage.haskell.org/package/free-5.1.4/docs/Control-Alternative-Free.html |
| 01:06:30 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 01:07:17 | × | remexre quits (~nathan@207-153-38-50.fttp.usinternet.com) (Read error: Connection reset by peer) |
| 01:07:30 | × | klixto quits (~klixto@130.220.8.131) (Quit: WeeChat 2.9) |
| 01:07:47 | → | klixto joins (~klixto@130.220.8.131) |
| 01:08:37 | → | remexre joins (~nathan@207-153-38-50.fttp.usinternet.com) |
| 01:09:37 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 01:09:45 | × | LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 01:10:20 | × | m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds) |
| 01:12:24 | × | LindaTheUltimate quits (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection) |
| 01:14:15 | × | infinity0 quits (~infinity0@freenet/developer/infinity0) (Ping timeout: 260 seconds) |
| 01:17:01 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:18:06 | × | Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 01:18:46 | → | Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 01:18:57 | hackage | aeson-gadt-th 0.2.3 - Derivation of Aeson instances for GADTs https://hackage.haskell.org/package/aeson-gadt-th-0.2.3 (abrar) |
| 01:21:24 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 01:21:52 | × | ps-auxw quits (~arneb@p548c61b6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 01:21:56 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 01:22:02 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 01:23:31 | → | infinity0 joins (~infinity0@freenet/developer/infinity0) |
| 01:24:57 | hackage | aeson-gadt-th 0.2.4 - Derivation of Aeson instances for GADTs https://hackage.haskell.org/package/aeson-gadt-th-0.2.4 (abrar) |
| 01:24:59 | × | nineonine quits (~textual@216.81.48.202) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:27:05 | → | plutoniix joins (~q@ppp-49-237-23-174.revip6.asianet.co.th) |
| 01:27:06 | × | Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 01:27:25 | → | Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 01:33:15 | → | VirusCorona joins (~roun@103.103.144.162) |
| 01:33:30 | → | ps-auxw joins (~arneb@p548c6f52.dip0.t-ipconnect.de) |
| 01:33:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:36:11 | <monsterchrom> | Haskell is a free alternative to Miranda. :) |
| 01:36:26 | × | plutoniix quits (~q@ppp-49-237-23-174.revip6.asianet.co.th) (Ping timeout: 256 seconds) |
| 01:36:38 | × | polyrain quits (~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:37:54 | → | bartemius joins (~bartemius@109.252.20.20) |
| 01:38:40 | <VirusCorona> | hola |
| 01:39:49 | <mshine> | koz_, hehe. |
| 01:40:29 | × | bitmagie quits (~Thunderbi@200116b806c15c0034a3f18e66d83a15.dip.versatel-1u1.de) (Quit: bitmagie) |
| 01:40:31 | × | klixto quits (~klixto@130.220.8.131) (Quit: WeeChat 2.9) |
| 01:42:05 | × | bartemius quits (~bartemius@109.252.20.20) (Ping timeout: 240 seconds) |
| 01:43:54 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 01:44:38 | <Squarism> | Not figuring this one out https://paste.ofcode.org/zV4YWsC9kWpaW6L7ZrVg9G |
| 01:44:45 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 01:44:54 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Quit: WeeChat 2.8) |
| 01:45:42 | <Squarism> | It seems im not able to prioritize between the instances on row 10 and 16, even if that on 16 is more specific |
| 01:47:12 | → | nineonine joins (~textual@216-19-190-182.dyn.novuscom.net) |
| 01:48:15 | <Squarism> | ...im on ghc 8.6.5 if that helps explaining it |
| 01:48:56 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 01:49:10 | → | plutoniix joins (~q@175.176.222.7) |
| 01:49:31 | → | sqrt2_ joins (~ben@unaffiliated/sqrt2) |
| 01:49:52 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 01:50:20 | × | sqrt2 quits (~ben@unaffiliated/sqrt2) (Ping timeout: 272 seconds) |
| 01:56:05 | × | jespada quits (~jespada@90.254.245.15) (Ping timeout: 240 seconds) |
| 01:56:18 | × | AceNovo quits (~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!) |
| 01:56:33 | × | xff0x quits (~fox@2001:1a81:529c:a900:2bcb:163b:75a7:c7de) (Ping timeout: 272 seconds) |
| 01:56:42 | → | AceNovo joins (~chris@67-42-33-191.phnx.qwest.net) |
| 01:57:27 | → | jespada joins (~jespada@90.254.243.98) |
| 01:57:46 | → | xff0x joins (~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e) |
| 01:58:41 | × | AceNovo quits (~chris@67-42-33-191.phnx.qwest.net) (Remote host closed the connection) |
| 02:02:55 | <monsterchrom> | Haha great, I'm going to troll my students with the Yoneda lemma! |
| 02:04:54 | <monsterchrom> | I'll put this question about parametric polymorphism on the exam. I have a mysterious function f :: (Int -> a) -> [a]. I tell you just one test case: f id = [1,2,3]. Now tell me what f does in general. |
| 02:05:51 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 02:06:46 | lagothrix | is now known as Guest47596 |
| 02:06:51 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 02:08:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 02:08:42 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 02:09:56 | × | Guest47596 quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 256 seconds) |
| 02:09:58 | <dolio> | monsterchrom: https://www.cs.bham.ac.uk/~mhe/yoneda/yoneda.html |
| 02:11:18 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 02:14:36 | → | whatisRT joins (~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) |
| 02:17:14 | × | theDon quits (~td@94.134.91.5) (Ping timeout: 256 seconds) |
| 02:18:54 | → | theDon joins (~td@94.134.91.18) |
| 02:18:56 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 02:20:29 | <Squarism> | monsterchrom, was that in reference to my post? Seems my problem overlaps a little. |
| 02:21:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:23:55 | <monsterchrom> | No. |
| 02:25:10 | × | StoneToad quits (~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 256 seconds) |
| 02:25:24 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) |
| 02:25:38 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 02:26:11 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 02:26:44 | → | StoneToad joins (~StoneToad@199-167-119-239.ppp.storm.ca) |
| 02:29:52 | → | drbean joins (~drbean@TC210-63-209-12.static.apol.com.tw) |
| 02:31:10 | → | GyroW_ joins (~GyroW@d54c03e98.access.telenet.be) |
| 02:31:10 | × | GyroW_ quits (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 02:31:10 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 02:32:03 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 02:32:11 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
| 02:32:53 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 02:36:20 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 02:36:51 | → | veverak joins (~squirrel@ip-89-102-98-161.net.upcbroadband.cz) |
| 02:38:50 | <c_wraith> | halloween names are contagious |
| 02:38:56 | <c_wraith> | wait, I've been a monster this whole time |
| 02:39:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:42:18 | → | christo joins (~chris@81.96.113.213) |
| 02:43:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 02:44:30 | <justsomeguy> | monsterchrom: Something like “f :: (Int -> a) -> [a]; f g = map ((\x -> undefined) . g) [undefined]”? (I'm a beginner, and thought I'd give this a shot.) |
| 02:45:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 02:45:16 | <monsterchrom> | c_wraith: Take on a human nick so it counts as a costume from your POV >:) |
| 02:46:15 | <justsomeguy> | No, wait, that doesn't match the test case. I just got focused on matching the type signature. :^p |
| 02:48:20 | → | shafox joins (~shafox@106.51.234.111) |
| 02:48:31 | justsomeguy | would fail monsterchroms test |
| 02:49:00 | <shafox> | I have unicode in my code, and while building it gives error: error: parse error on input ‘⊥’ |
| 02:49:25 | <ghoulguy> | > Data.Char.generalCategory '⊥' |
| 02:49:26 | <lambdabot> | MathSymbol |
| 02:49:52 | <ghoulguy> | > let (⊥) = "bottom" in ( (⊥), (⊥) ) |
| 02:49:54 | <lambdabot> | ("bottom","bottom") |
| 02:50:23 | <shafox> | in emacs, undefined is change to ⊥ |
| 02:50:35 | <monsterchrom> | Another test case would give f (\x -> 2 * x) = [2, 4, 6] |
| 02:50:45 | → | anik joins (~anik@103.23.207.130) |
| 02:50:58 | <ghoulguy> | shafox: In that case make sure you're actually writing 'undefined' and not '⊥' |
| 02:51:33 | → | amagi joins (716517df@113.101.23.223) |
| 02:52:50 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 02:54:03 | <shafox> | ghoulguy, thanks. |
| 02:54:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:54:26 | × | texasmynsted quits (~texasmyns@104.140.52.83) (Read error: Connection reset by peer) |
| 02:54:33 | <hololeap> | (⊥) really does look like "bottom" lol |
| 02:55:01 | <MarcelineVQ> | opposite of ⊤ |
| 02:55:15 | → | texasmyn_ joins (~texasmyns@217.138.198.228) |
| 02:57:51 | <hololeap> | am i the only one who sees it? |
| 02:58:07 | × | yumh quits (~yumh@mail.xglobe.in) (Ping timeout: 246 seconds) |
| 02:58:40 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds) |
| 02:59:59 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 03:00:01 | × | luto1 quits (~luto@185.163.110.116) () |
| 03:00:04 | × | haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 03:00:31 | <MarcelineVQ> | no |
| 03:01:35 | → | haasn joins (~nand@mpv/developer/haasn) |
| 03:01:46 | → | amagi_ joins (~amagi@113.101.23.223) |
| 03:03:12 | <hololeap> | i must say, i am disappointed by the absense of giggles. use the 5-year-old part of your brain |
| 03:04:07 | × | anik quits (~anik@103.23.207.130) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 03:04:32 | → | visage_ joins (~visage_@unaffiliated/visage/x-6658724) |
| 03:05:16 | <MarcelineVQ> | (⊤) |
| 03:05:36 | <monsterchrom> | It is the 70th time we have seen it. |
| 03:05:52 | <MarcelineVQ> | (.).(.) |
| 03:06:16 | × | amagi_ quits (~amagi@113.101.23.223) (Quit: Lost terminal) |
| 03:08:08 | <justsomeguy> | monsterchrom: “f g = map g [1,2,(3 :: Int)]”? |
| 03:08:28 | <monsterchrom> | yeah! |
| 03:08:32 | <justsomeguy> | :D |
| 03:09:28 | <mshine> | (.).(.) is the Total Recall operator? |
| 03:09:36 | × | visage_ quits (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com) |
| 03:09:52 | <monsterchrom> | haha |
| 03:10:04 | → | amagi_ joins (~amagi@113.101.23.223) |
| 03:10:38 | <MarcelineVQ> | it's the has-a-birthmark combinator, the total recall combinator is (.)(.)(.) |
| 03:11:10 | <MarcelineVQ> | You might think there's no difference but that couldn't be farther from the truth |
| 03:11:20 | <MarcelineVQ> | The difference is ( ) |
| 03:11:44 | <MarcelineVQ> | Now get your ass to mars. |
| 03:14:46 | → | berberman|T joins (berberma_4@gateway/shell/matrix.org/x-cgdaaoawojkzwzyx) |
| 03:15:41 | <koz_> | Something something 'in Haskell we don't inspect each other's bottoms' something. |
| 03:19:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:23:53 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 03:24:47 | × | vqrs quits (~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 260 seconds) |
| 03:25:16 | → | vqrs joins (~vqrs@learnprogramming/regular/vqrs) |
| 03:26:13 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 03:26:22 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 03:27:32 | × | nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:27:41 | ← | aarvar parts (~foewfoiew@50.35.43.33) () |
| 03:28:30 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 272 seconds) |
| 03:29:16 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 03:29:46 | × | revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 03:30:01 | → | nineonine joins (~textual@216-19-190-182.dyn.novuscom.net) |
| 03:30:21 | → | revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 03:30:51 | × | nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit) |
| 03:35:31 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer) |
| 03:35:52 | → | conal_ joins (~conal@ip-66-115-176-174.creativelink.net) |
| 03:36:41 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 03:37:58 | × | amagi_ quits (~amagi@113.101.23.223) (Quit: Lost terminal) |
| 03:38:03 | → | visage_ joins (~visage_@unaffiliated/visage/x-6658724) |
| 03:38:17 | → | amagi_ joins (~amagi@113.101.23.223) |
| 03:38:32 | × | amagi_ quits (~amagi@113.101.23.223) (Client Quit) |
| 03:38:52 | → | amagi_ joins (~amagi@113.101.23.223) |
| 03:39:13 | → | falafel joins (~falafel@71-34-132-121.clsp.qwest.net) |
| 03:39:33 | × | whatisRT quits (~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Quit: ZNC 1.7.5 - https://znc.in) |
| 03:40:32 | <Squarism> | is there a way to promote a value to a value that has a certain instance? |
| 03:40:37 | <Squarism> | class instance |
| 03:41:10 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds) |
| 03:41:10 | × | nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 246 seconds) |
| 03:41:11 | × | dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving) |
| 03:42:11 | × | conal_ quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 03:42:49 | <Squarism> | almost like Data.Typeable's cast but for class instances |
| 03:44:32 | × | VirusCorona quits (~roun@103.103.144.162) (Quit: nice) |
| 03:46:58 | <koz_> | Squarism: What's the context? |
| 03:49:19 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 03:50:48 | <Squarism> | koz_, im working on a textual addressing mechanism for a class of data types i mention the other day. With risk of beeing TLDR : https://paste.ofcode.org/rbJug92hAXGxvAJVDdzAZu |
| 03:51:15 | <koz_> | 13 lines of extensions. This is some Real World Haskell right there. :P |
| 03:52:27 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds) |
| 03:52:27 | <Squarism> | I'm not too experianced in advanced type magic, so I play around a bit |
| 03:52:46 | <Squarism> | im currently working on progress of mapLeaf2 |
| 03:52:56 | → | polyrain joins (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) |
| 03:53:24 | <Squarism> | if " mapLeaf2 pr (a1 : a2 : rest) f" is set to undefined it should compile |
| 03:53:44 | <Squarism> | but its that function im trying to complete |
| 03:54:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 03:55:22 | → | mterwoord joins (~mterwoord@195.140.213.38) |
| 03:58:40 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 04:00:01 | × | alexelcu quits (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:00:56 | → | alexelcu joins (~alexelcu@142.93.180.198) |
| 04:01:20 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 04:02:49 | → | rekahsoft joins (~rekahsoft@fitz10681.telemetry.esentire.com) |
| 04:04:41 | → | ADG1089 joins (~adg1089@122.163.245.127) |
| 04:05:38 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds) |
| 04:05:56 | <ADG1089> | Some company asked me to design & implement XYZ system for last round as a whole day task and they told they will show this to an investor at the end of the day. I'm thinking they are just trying to get free consulting. |
| 04:07:10 | × | rekahsoft quits (~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 256 seconds) |
| 04:08:41 | → | bartemius joins (~bartemius@109.252.20.20) |
| 04:10:06 | → | mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 04:10:08 | × | monsterchrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 04:12:18 | <ADG1089> | any comments? |
| 04:12:35 | × | ADG1089 quits (~adg1089@122.163.245.127) () |
| 04:12:58 | → | monsterchrom joins (trebla@216.138.220.146) |
| 04:13:35 | <Squarism> | Tell them you hourly fee |
| 04:14:21 | × | solonarv quits (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 265 seconds) |
| 04:14:41 | × | Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 04:15:07 | → | Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 04:19:29 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 04:21:02 | → | yumh joins (~yumh@mail.xglobe.in) |
| 04:21:49 | → | nyaomi joins (~naomi@cpe-74-75-6-125.maine.res.rr.com) |
| 04:21:59 | × | visage_ quits (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com) |
| 04:23:49 | × | emmanuel_erc quits (~user@2604:2000:1382:ce03:94e9:f71a:61cb:48a4) (Read error: Connection reset by peer) |
| 04:23:49 | × | darjeeli1 quits (~darjeelin@122.245.123.118) (Ping timeout: 256 seconds) |
| 04:23:58 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 04:24:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:24:17 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 04:24:56 | → | darjeeli1 joins (~darjeelin@122.245.123.118) |
| 04:28:40 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds) |
| 04:29:01 | × | drbean quits (~drbean@TC210-63-209-12.static.apol.com.tw) (Ping timeout: 264 seconds) |
| 04:29:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 04:29:55 | × | Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 04:30:13 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 264 seconds) |
| 04:31:43 | → | mmohammadi981266 joins (~mmohammad@5.238.182.173) |
| 04:34:53 | × | Sarma quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 04:40:09 | × | texasmyn_ quits (~texasmyns@217.138.198.228) (Remote host closed the connection) |
| 04:40:54 | → | texasmynsted joins (~texasmyns@217.138.198.228) |
| 04:41:46 | → | mmohammadi9812 joins (~mmohammad@5.238.182.173) |
| 04:41:58 | → | day_ joins (~Unknown@unaffiliated/day) |
| 04:45:13 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 264 seconds) |
| 04:45:13 | day_ | is now known as day |
| 04:45:39 | × | texasmynsted quits (~texasmyns@217.138.198.228) (Ping timeout: 260 seconds) |
| 04:45:39 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 04:45:52 | → | stefan-__ joins (~cri@42dots.de) |
| 04:47:35 | × | mmohammadi9812 quits (~mmohammad@5.238.182.173) (Quit: Quit) |
| 04:47:51 | × | avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:48:01 | → | mmohammadi9812 joins (~mmohammad@5.238.182.173) |
| 04:48:28 | × | mmohammadi981266 quits (~mmohammad@5.238.182.173) (Quit: I quit (╯°□°）╯︵ ┻━┻) |
| 04:52:19 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-qkgpowqaqjtdktyy) (Quit: Connection closed for inactivity) |
| 04:53:33 | × | dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.1 - https://znc.in) |
| 04:54:49 | × | mmohammadi9812 quits (~mmohammad@5.238.182.173) (Ping timeout: 264 seconds) |
| 04:56:16 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 04:59:19 | → | avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 04:59:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:01:02 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 05:02:55 | × | dorkside quits (~tdbgamer@208.190.197.222) (Ping timeout: 260 seconds) |
| 05:03:27 | → | mmohammadi9812 joins (~mmohammad@188.210.111.222) |
| 05:04:27 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 05:04:30 | × | avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:06:34 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 05:09:43 | × | Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds) |
| 05:10:08 | × | mmohammadi9812 quits (~mmohammad@188.210.111.222) (Ping timeout: 256 seconds) |
| 05:17:55 | → | dorkside joins (~tdbgamer@208.190.197.222) |
| 05:19:31 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 05:23:26 | → | bitmagie joins (~Thunderbi@200116b806fef70051e6f8902f3ffd9c.dip.versatel-1u1.de) |
| 05:29:37 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 05:30:54 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 05:34:20 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 05:34:42 | → | stefan-__ joins (~cri@42dots.de) |
| 05:35:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 05:39:46 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 05:39:49 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 05:40:12 | × | dorkside quits (~tdbgamer@208.190.197.222) (Ping timeout: 258 seconds) |
| 05:41:04 | × | danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9) |
| 05:42:22 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:44:28 | lep-delete | is now known as Guest88073 |
| 05:46:12 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 05:46:30 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 05:48:15 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 05:50:28 | → | eedgit joins (~eedgit@95.179.237.21) |
| 05:51:10 | → | asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) |
| 05:53:56 | → | nineonine joins (~textual@216-19-190-182.dyn.novuscom.net) |
| 05:55:27 | × | mterwoord quits (~mterwoord@195.140.213.38) (Remote host closed the connection) |
| 05:58:09 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 05:59:39 | → | mananamenos_ joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 05:59:45 | × | nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds) |
| 06:01:08 | × | jespada quits (~jespada@90.254.243.98) (Ping timeout: 272 seconds) |
| 06:01:27 | × | simplegauss quits (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
| 06:01:27 | × | sveit quits (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
| 06:01:49 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 06:02:35 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 06:02:45 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Remote host closed the connection) |
| 06:02:50 | × | nlhowell quits (~nlhowell@don28-11.ln.rinet.ru) (Ping timeout: 256 seconds) |
| 06:02:57 | × | ndbtpo^ quits (ndbtpo@ip98-184-89-2.mc.at.cox.net) () |
| 06:03:00 | → | notnatebtw joins (~nate@110.138.18.157) |
| 06:03:02 | × | erolm_a quits (~erolm_a@82.24.185.133) (Ping timeout: 272 seconds) |
| 06:03:02 | → | Xnuk joins (~xnuk@45.76.202.58) |
| 06:03:04 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 06:03:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:04:01 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 06:04:12 | → | jespada joins (~jespada@90.254.243.98) |
| 06:04:53 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 06:06:20 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 244 seconds) |
| 06:07:31 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 06:07:40 | → | sveit joins (~sveit@45.77.0.246) |
| 06:07:55 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 06:08:11 | → | simplegauss joins (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) |
| 06:08:31 | → | nlhowell joins (~nlhowell@don28-11.ln.rinet.ru) |
| 06:08:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 06:09:39 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds) |
| 06:12:05 | × | falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds) |
| 06:12:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:13:13 | → | babygnu joins (~robert@gateway/tor-sasl/babygnu) |
| 06:13:49 | × | babygnu quits (~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection) |
| 06:14:27 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 06:14:49 | → | notnatebtw joins (~nate@110.138.18.157) |
| 06:15:08 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Quit: TooDifficult) |
| 06:15:19 | → | jsynacek joins (~jsynacek@ip-185-149-130-112.kmenet.cz) |
| 06:16:07 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 06:17:00 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 06:19:47 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 06:21:39 | <hyiltiz> | What would be a typical hourly fee as a factor of the local minimum wage? |
| 06:21:48 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 06:21:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:26:59 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 06:29:42 | → | coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) |
| 06:30:52 | × | alexelcu quits (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:31:11 | → | alexelcu joins (~alexelcu@142.93.180.198) |
| 06:31:18 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:31:35 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds) |
| 06:32:44 | → | bergsans joins (~bergsans@c80-217-8-29.bredband.comhem.se) |
| 06:33:40 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 06:34:11 | × | seanvert quits (~user@177.84.244.242) (Remote host closed the connection) |
| 06:34:16 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 06:34:52 | → | notnatebtw joins (~nate@110.138.18.157) |
| 06:34:59 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 06:35:33 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 06:36:33 | × | notnatebtw quits (~nate@110.138.18.157) (Client Quit) |
| 06:36:56 | → | notnatebtw joins (~nate@110.138.18.157) |
| 06:38:27 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 06:40:42 | <pjb> | hyiltiz: it depends on the country. Some country have a smaller difference between higher wages and lower wages, and some have no limit. |
| 06:40:45 | × | jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:41:06 | → | mbomba joins (~mbomba@142.114.9.241) |
| 06:42:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:44:16 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 06:44:17 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 06:44:17 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 06:44:52 | → | dorkside joins (~tdbgamer@208.190.197.222) |
| 06:45:13 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds) |
| 06:45:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:46:04 | → | danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:50:22 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 256 seconds) |
| 06:50:26 | → | Sanchayan joins (~Sanchayan@122.181.211.206) |
| 06:50:45 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 06:51:14 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 06:51:46 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 06:51:51 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 06:52:06 | → | redeemed joins (~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) |
| 06:53:49 | → | Suntop1 joins (~Suntop@84.39.117.57) |
| 06:54:01 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 06:55:20 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 258 seconds) |
| 06:56:00 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 06:56:06 | → | redeemed` joins (~rd@79.115.163.113) |
| 06:58:15 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-zkmqxnjkmjnikczm) (Quit: Connection closed for inactivity) |
| 06:59:34 | → | avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 06:59:55 | × | redeemed quits (~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) (Ping timeout: 272 seconds) |
| 07:05:21 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 07:07:07 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:11:26 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 272 seconds) |
| 07:12:29 | → | jedws joins (~jedws@101.184.148.229) |
| 07:13:40 | → | Alexthek1d joins (~JJJ@p5b3ae7e8.dip0.t-ipconnect.de) |
| 07:13:44 | <Alexthek1d> | hello |
| 07:13:53 | <Alexthek1d> | does anyone know "duckling" ? |
| 07:14:53 | <Alexthek1d> | It is programmed in haskell and needs stack to install |
| 07:14:59 | <Alexthek1d> | but i am a haskell noob |
| 07:15:28 | <Alexthek1d> | can't you compile it with this tack thing, get a "exe" file and run it on another machine without stack? |
| 07:15:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 07:16:25 | × | Lord_of_Life quits (~Lord@46.217.219.190) (Changing host) |
| 07:16:25 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 07:16:49 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 07:16:51 | × | bgamari quits (~bgamari@72.65.103.227) (Ping timeout: 260 seconds) |
| 07:17:02 | → | bgamari joins (~bgamari@72.65.102.2) |
| 07:17:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:17:18 | <Alexthek1d> | i'd need a truly static binary that is entirely self-contained |
| 07:18:04 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 07:18:16 | × | amagi quits (716517df@113.101.23.223) (Remote host closed the connection) |
| 07:18:49 | ← | berberman|T parts (berberma_4@gateway/shell/matrix.org/x-cgdaaoawojkzwzyx) ("User left") |
| 07:20:50 | <pjb> | Alexthek1d: AFAIK, it's not possible on linux or most modern unix platforms. |
| 07:21:10 | <Alexthek1d> | pjb, windows too? |
| 07:21:12 | <pjb> | Alexthek1d: you could generate that for embedded platforms. |
| 07:21:21 | <pjb> | I know nothing about Microsoft systems. |
| 07:21:26 | <Alexthek1d> | i have to run it on windows |
| 07:21:30 | <Alexthek1d> | okay :D |
| 07:22:11 | <pjb> | I'd still be surprised if executable on MS-Windows could be entirely independent from system DLLs… |
| 07:22:39 | → | Hand joins (~Highand@58.33.36.170) |
| 07:22:59 | <Alexthek1d> | ye me2 |
| 07:23:15 | × | polyrain quits (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:23:18 | → | alp joins (~alp@88.126.45.36) |
| 07:24:19 | <yushyin> | so did you try stack? |
| 07:25:13 | × | Hand quits (~Highand@58.33.36.170) (Client Quit) |
| 07:25:19 | → | karanlikmadde joins (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) |
| 07:25:50 | <lortabac> | I think you can have 100% static builds on Alpine, by using musl instead of glibc |
| 07:29:56 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 07:30:23 | × | hiroaki quits (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 07:30:57 | × | acidjnk_new2 quits (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 07:33:22 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 07:33:52 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 07:34:02 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 07:34:02 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 07:34:02 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 07:34:19 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 07:35:01 | × | mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9) |
| 07:35:01 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 07:35:56 | × | sveit quits (~sveit@45.77.0.246) (Quit: Bye) |
| 07:35:56 | × | simplegauss quits (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
| 07:37:22 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 07:37:25 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 07:42:03 | × | jedws quits (~jedws@101.184.148.229) (Remote host closed the connection) |
| 07:42:44 | → | jedws joins (~jedws@101.184.148.229) |
| 07:43:54 | × | bitmagie quits (~Thunderbi@200116b806fef70051e6f8902f3ffd9c.dip.versatel-1u1.de) (Quit: bitmagie) |
| 07:44:44 | × | jedws quits (~jedws@101.184.148.229) (Client Quit) |
| 07:47:24 | → | jedws joins (~jedws@101.184.148.229) |
| 07:47:36 | <merijn> | That information seems rather irrelevant in the context of Windows ;) |
| 07:47:54 | <merijn> | pjb: You have a strange definition of "most modern unix platforms" |
| 07:48:20 | <merijn> | pjb: linux is the only one that commonly ships with glibc and glibc is the one that breaks static linking everything |
| 07:48:25 | × | mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer) |
| 07:48:35 | × | oldsk00l_ quits (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Quit: ZNC - https://znc.in) |
| 07:48:38 | <merijn> | And even linux has exceptions (like Alpine) where they don't ship glibc |
| 07:48:50 | → | mananamenos_ joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 07:48:50 | × | christo quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 07:48:56 | → | oldsk00l joins (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) |
| 07:49:04 | × | wowi42 quits (~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!) |
| 07:49:15 | × | terrorjack quits (~terrorjac@static.23.111.201.195.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 07:49:18 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 07:49:24 | → | christo joins (~chris@81.96.113.213) |
| 07:49:27 | <Alexthek1d> | okay i can use stack now |
| 07:49:36 | <Alexthek1d> | running "stack build" |
| 07:49:45 | <merijn> | stack doesn't really address building static binaries, though |
| 07:49:48 | → | wowi42 joins (~wowi42@51.15.249.183) |
| 07:49:56 | <Alexthek1d> | but it seems to need internet access |
| 07:49:59 | × | devalot quits (~ident@mail.pmade.com) (Ping timeout: 260 seconds) |
| 07:50:05 | <Alexthek1d> | and i have to use a proxy for that |
| 07:50:13 | → | terrorjack joins (~terrorjac@static.23.111.201.195.clients.your-server.de) |
| 07:50:25 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 07:50:30 | <Alexthek1d> | can u run something like "stack build --proxy=112.123.13.13" ? ^^ |
| 07:50:55 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 260 seconds) |
| 07:51:51 | × | saurik quits (saurik@carrier.saurik.com) (Ping timeout: 260 seconds) |
| 07:51:56 | × | rembo10 quits (~rembo10@wally.codeshy.com) (Remote host closed the connection) |
| 07:51:57 | → | devalot joins (~ident@mail.pmade.com) |
| 07:51:57 | × | nerdypepper quits (nerdypeppe@152.67.160.69) (Quit: bye) |
| 07:52:13 | → | rembo10 joins (~rembo10@wally.codeshy.com) |
| 07:52:19 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 07:52:35 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 07:52:36 | × | Sanchayan quits (~Sanchayan@122.181.211.206) (Quit: leaving) |
| 07:52:39 | → | borne joins (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) |
| 07:52:44 | → | saurik joins (saurik@carrier.saurik.com) |
| 07:52:47 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds) |
| 07:52:56 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 07:53:11 | → | nerdypepper joins (nerdypeppe@152.67.160.69) |
| 07:53:15 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds) |
| 07:53:38 | → | chaosmasttter joins (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) |
| 07:53:43 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 07:54:15 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 07:57:53 | × | borne quits (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Quit: WeeChat 2.9) |
| 07:58:00 | → | borne joins (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) |
| 07:59:17 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 07:59:18 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 07:59:18 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 07:59:45 | × | shafox quits (~shafox@106.51.234.111) (Ping timeout: 240 seconds) |
| 08:00:43 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
| 08:03:18 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 08:04:15 | × | karanlikmadde quits (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde) |
| 08:06:40 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 08:12:26 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 08:12:36 | → | Franciman joins (~francesco@host-82-54-10-114.retail.telecomitalia.it) |
| 08:14:43 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 08:16:36 | × | bgamari quits (~bgamari@72.65.102.2) (Ping timeout: 258 seconds) |
| 08:17:02 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 08:18:20 | → | bgamari joins (~bgamari@72.65.102.29) |
| 08:21:00 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-widejiobrxcglhbz) (Quit: Connection closed for inactivity) |
| 08:24:25 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 08:26:10 | × | bgamari quits (~bgamari@72.65.102.29) (Ping timeout: 272 seconds) |
| 08:28:23 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 08:29:03 | → | bgamari joins (~bgamari@72.65.104.154) |
| 08:29:33 | <Alexthek1d> | seems like stack needs internet acccess |
| 08:29:43 | <Alexthek1d> | Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/13/7.yaml: |
| 08:34:27 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 08:34:31 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 08:35:05 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds) |
| 08:37:27 | → | fendor_ joins (~fendor@194-96-53-70.hdsl.highway.telekom.at) |
| 08:38:45 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 08:39:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:40:28 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:42:38 | × | datajerk quits (~datajerk@sense.net) (Ping timeout: 272 seconds) |
| 08:47:47 | <Alexthek1d> | i try so set the proxy like this in windows: " set HTTPS_PROXY=http://myproxy:9090 " |
| 08:47:58 | <Alexthek1d> | but it still doesn't work |
| 08:49:11 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:49:17 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 08:50:13 | × | jedws quits (~jedws@101.184.148.229) (Ping timeout: 246 seconds) |
| 08:50:31 | → | datajerk joins (~datajerk@sense.net) |
| 08:51:19 | → | Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) |
| 08:53:40 | → | jedws joins (~jedws@101.184.148.229) |
| 08:53:55 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 08:55:27 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 08:58:20 | <dminuoso> | Mmm, why don't we have 1-tuples? |
| 08:58:29 | <dminuoso> | That seems like an oversight. :( |
| 08:59:01 | <dminuoso> | (I guess the answer is just the grammar wouldnt allow for it) |
| 08:59:47 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 09:00:01 | × | Suntop1 quits (~Suntop@84.39.117.57) () |
| 09:00:07 | → | mozzarel1 joins (~sam@unaffiliated/sam113101) |
| 09:01:22 | ← | gmind[m] parts (gmindmatri@gateway/shell/matrix.org/x-ytyzdnndqsmeegde) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days") |
| 09:01:51 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Ping timeout: 260 seconds) |
| 09:01:53 | mozzarel1 | is now known as mozzarella |
| 09:04:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:04:43 | <hc> | dminuoso: what about (1,)? that could reasonably be parsed into a 1-tuple? |
| 09:05:25 | <merijn> | hc: Disagree, that's an operator section of (,) :p |
| 09:05:57 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 09:06:07 | <yushyin> | yeah, TupleSections claims that syntax |
| 09:06:42 | <hc> | hmm, true |
| 09:07:38 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 09:08:00 | <dminuoso> | hc: The only reasonable solution appears to have been to use say {} for tuples instead. |
| 09:08:20 | <merijn> | dminuoso: There's a unary tuple somewhere in GHC or ghc-prim or something |
| 09:08:28 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 09:09:14 | <dminuoso> | Though that would conflict with record syntax, unless spaces for record syntax were disallowed, or it would need more lookahead |
| 09:09:18 | <dminuoso> | merijn: Mmm. |
| 09:10:08 | <dminuoso> | hc: Also, `(1,)` would have felt very adhoc, not in line with () (1,2), (1,2,3) |
| 09:10:42 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 09:11:55 | → | lindaTheUltimate joins (3dded63f@61-222-214-63.HINET-IP.hinet.net) |
| 09:12:04 | <hc> | dminuoso: newEmptyTuple function? ;p |
| 09:12:49 | <hc> | or, use «» |
| 09:13:58 | <dminuoso> | At that point, why not adapt arbitrary mixfix operators from Agda as well, and ensure you cant write programs without emacs anymore. :P |
| 09:14:22 | <dminuoso> | (These two remarks are not related to one another) |
| 09:14:30 | <hc> | oh, you can actually write haskell programs without emacs? |
| 09:14:34 | hc | looks surprised |
| 09:14:44 | → | erolm_a joins (~erolm_a@82.24.185.133) |
| 09:14:58 | <dminuoso> | Out of curiosity, do you use haskell-language-server, hc? |
| 09:15:10 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 09:15:13 | <hc> | yes I do, together with neovim |
| 09:15:27 | <hc> | I occasionally use emacs for haskell as well, but haven't properly set it up |
| 09:15:43 | <dminuoso> | Ah. With evil mode presumably? |
| 09:15:47 | <hc> | jup |
| 09:15:57 | <dminuoso> | If it wasn't for evil mode, I would still be a vim user :> |
| 09:16:17 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 09:16:23 | <dminuoso> | Dunno, I keep hearing so much good things about hie, but I fear for my lightweight and fast emacs setup |
| 09:17:06 | <hc> | I haven't found a perfect haskell editor yet, tbh. intellij has some nice features I miss in the others... |
| 09:18:04 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 09:18:10 | <merijn> | dminuoso: ghcide is crazy fast, compared to what I used before (like hdevtools years ago) |
| 09:18:34 | <merijn> | dminuoso: ghcide usually finishes type-checking in the same time as it takes vim to leave insert mode >.> |
| 09:18:59 | <dminuoso> | merijn: Its not that Im worried about. |
| 09:19:09 | <dminuoso> | lsp-mode looks freaking heavy |
| 09:19:13 | <hc> | merijn: can take vim up to two seconds to leave insert mode, depending on your terminal emulator ;) |
| 09:19:19 | <merijn> | dminuoso: in emacs? |
| 09:19:41 | <dminuoso> | Triggered, it seems! |
| 09:19:46 | <dminuoso> | Ye.s |
| 09:19:57 | <merijn> | that seems like an emacs problem, not an hls problem :p |
| 09:22:13 | <dminuoso> | Ah. Perhaps I can use eglot instead, that seems much more lightweight |
| 09:22:13 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 09:22:14 | × | bgamari quits (~bgamari@72.65.104.154) (Ping timeout: 265 seconds) |
| 09:22:35 | → | stefan-__ joins (~cri@42dots.de) |
| 09:24:15 | <Alexthek1d> | guys i still get "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml: |
| 09:24:15 | <Alexthek1d> | HttpExceptionRequest Request {" |
| 09:24:21 | <Alexthek1d> | proxy doesn't work |
| 09:24:25 | <Alexthek1d> | i dunno why |
| 09:24:41 | <Alexthek1d> | why does it need online sources even? |
| 09:24:58 | <Alexthek1d> | can't i have an offline version of stack haskell? |
| 09:25:00 | → | bgamari joins (~bgamari@72.65.104.77) |
| 09:25:20 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 09:25:54 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 09:27:53 | <dminuoso> | Alexthek1d: If you want to be all offline, stack is a bad fit I think. |
| 09:28:02 | <dminuoso> | It'll be easier with cabal and possibly skete |
| 09:28:59 | → | Perry79 joins (6ee39f85@110.227.159.133) |
| 09:29:30 | <Alexthek1d> | a |
| 09:29:39 | <Alexthek1d> | okay:D |
| 09:29:51 | → | polyrain joins (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) |
| 09:30:07 | <dminuoso> | Alexthek1d: What exactly are your requirements here? Wrt to being offline I mean. |
| 09:30:56 | <Alexthek1d> | i just need to get this running on the windows server of my company: https://github.com/facebook/duckling |
| 09:30:59 | <Alexthek1d> | dminuoso, |
| 09:31:35 | <__monty__> | Hmm, can't really find anything about skete. One blogpost and one youtube presentation. |
| 09:31:47 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 09:32:10 | → | stefan-__ joins (~cri@42dots.de) |
| 09:32:20 | <dminuoso> | __monty__: https://code.xkrd.net/skete/skete-haskell/-/tree/master |
| 09:32:27 | hackage | splitmix 0.1.0.3 - Fast Splittable PRNG https://hackage.haskell.org/package/splitmix-0.1.0.3 (phadej) |
| 09:32:48 | <__monty__> | dminuoso: Thanks. Guess DDG was failing me. |
| 09:32:59 | <Alexthek1d> | i'll try cabal then |
| 09:33:02 | <merijn> | __monty__: I mean, you can just download all of Hackage and point cabal at that |
| 09:33:11 | <dminuoso> | Alexthek1d: Well, you will need internet access either way |
| 09:33:18 | <Alexthek1d> | dminuoso, why? |
| 09:33:28 | <dminuoso> | Alexthek1d: Because our package registries live on the internet. |
| 09:33:36 | <Alexthek1d> | oh |
| 09:33:37 | <dminuoso> | You have to get the dependencies from *somewhere* |
| 09:34:14 | <Perry79> | Is it possible to create modular classes (congruence classes) with just a single traversal of list? in python I can do something like "for n in arr: dict[n%k] += [n]". My current Haskell solution involves k traversals of list |
| 09:34:18 | <dminuoso> | What I said about `cabal + skete` is for the use case of `Im gonna live on a boat without internet for 6 months and want to develop on haskell packages` |
| 09:34:27 | <dminuoso> | (Which is exactly how skete was born) |
| 09:34:57 | → | cristi joins (~cristi@82.76.158.82) |
| 09:35:07 | <Alexthek1d> | dminuoso, Hm okay, thanks for the info! I can't believe that i cannot run this program on an offline server :/ |
| 09:35:16 | <dminuoso> | Alexthek1d: Ohh I see what you mean |
| 09:35:18 | <dminuoso> | sorry I misunderstood |
| 09:35:21 | <dminuoso> | Alexthek1d: No you can! |
| 09:35:33 | <Alexthek1d> | :D |
| 09:35:35 | <dminuoso> | Alexthek1d: You first build it with stack or cabal, and then extract the build artifact |
| 09:35:46 | <dminuoso> | But the build process needs internet to grab dependencies |
| 09:35:48 | → | acidjnk_new2 joins (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) |
| 09:35:53 | <dminuoso> | (Or at least access to package registries) |
| 09:36:25 | <Alexthek1d> | yes, stack fails because of this |
| 09:36:26 | <Alexthek1d> | "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml: |
| 09:36:44 | <dminuoso> | Alexthek1d: So what you'd do, is build it on a machine that has internet access |
| 09:36:53 | <dminuoso> | Extract the resulting binary, and then put that onto your server without internet. |
| 09:37:50 | <Alexthek1d> | Hm it is a machine with windows server 2019 . I have windows 10 only |
| 09:38:32 | <__monty__> | merijn: Just wanted to see what skete has to offer in addition. |
| 09:38:53 | <dminuoso> | __monty__: ask davean |
| 09:38:58 | <dminuoso> | They can explain it far better. |
| 09:39:12 | × | chaosmasttter quits (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 09:39:20 | <dminuoso> | Alexthek1d: It shouldn't be an issue I think. |
| 09:39:32 | <dminuoso> | Alexthek1d: Both run PE executables. |
| 09:39:32 | <Alexthek1d> | dminuoso, ok thank you |
| 09:39:34 | <dminuoso> | You could try it at least. |
| 09:39:45 | <dminuoso> | If it doesn't work, you could ask again. |
| 09:39:49 | <Alexthek1d> | thanks |
| 09:39:58 | <dminuoso> | (My windows experience is rather limited with Haskell) |
| 09:41:08 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 09:41:36 | <dminuoso> | __monty__: One of the main issues with hackage, is that its a hideous blob of software. Try running a local hackage mirror, the sheer time and space requirements are crazy! |
| 09:42:01 | <Rembane> | dminuoso: How crazy are the space requirements? |
| 09:44:17 | <dminuoso> | Rembane: Some 2-3 digits of GiB I think. And pulling a mirror takes ages. |
| 09:44:26 | <dminuoso> | With skete you can get that in under 1GiB |
| 09:44:26 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 09:44:43 | → | stefan-__ joins (~cri@42dots.de) |
| 09:45:43 | <dminuoso> | When we tried to set up a hackage mirror, I was frustrated after some two weeks. |
| 09:46:32 | × | jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:48:03 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 09:48:33 | × | cristi quits (~cristi@82.76.158.82) (Quit: cristi) |
| 09:48:39 | <merijn> | dminuoso: You can point cabal at just directories of tarballs, iirc? |
| 09:50:36 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 09:52:11 | × | lindaTheUltimate quits (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection) |
| 09:52:43 | → | sveit joins (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) |
| 09:53:14 | → | simplegauss joins (~simplegau@45.77.0.246) |
| 09:53:49 | <Rembane> | dminuoso: That's quite a lot. I wonder if it would be benificial for the Haskell ecosystem to have more Hackage mirrors and thus make it easier to setup new mirrors. |
| 09:53:56 | → | tsdgeos joins (~tsdgeos@195.206.169.184) |
| 09:55:19 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds) |
| 10:01:06 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 10:01:19 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 10:02:09 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 10:03:17 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 10:04:59 | <Alexthek1d> | dminuoso, so stack failed :D :/ |
| 10:05:11 | <Alexthek1d> | i can't find cabal for windows tho |
| 10:08:20 | → | klixto joins (~klixto@49.188.65.219) |
| 10:08:28 | × | bgamari quits (~bgamari@72.65.104.77) (Ping timeout: 260 seconds) |
| 10:09:05 | → | MVQq joins (~anja@198.254.202.72) |
| 10:09:06 | → | bgamari joins (~bgamari@72.65.102.81) |
| 10:09:15 | → | christo joins (~chris@81.96.113.213) |
| 10:09:19 | × | MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 246 seconds) |
| 10:12:58 | → | karanlikmadde joins (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) |
| 10:13:54 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 10:15:51 | × | mapperr quits (~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection) |
| 10:16:48 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 10:17:01 | × | rprije quits (~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 264 seconds) |
| 10:17:39 | → | kuribas joins (~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be) |
| 10:20:31 | × | tsdgeos quits (~tsdgeos@195.206.169.184) (Ping timeout: 246 seconds) |
| 10:24:49 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:25:50 | <dminuoso> | Alexthek1d: https://www.haskell.org/cabal/download.html |
| 10:25:57 | <dminuoso> | There's windows binaries there |
| 10:26:08 | <Alexthek1d> | ye found it already |
| 10:26:09 | <Alexthek1d> | thanks |
| 10:26:12 | × | Kolkrabe quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 10:26:24 | <dminuoso> | Alexthek1d: by the way, how did the build fail exactly? |
| 10:26:38 | <Alexthek1d> | same error https://github.com/facebook/duckling/issues/510 |
| 10:27:01 | <Alexthek1d> | trying the fix by bmoore117 now |
| 10:28:04 | × | Perry79 quits (6ee39f85@110.227.159.133) (Remote host closed the connection) |
| 10:29:40 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 10:32:56 | → | forgottenone joins (~forgotten@176.88.100.210) |
| 10:33:08 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: killed) |
| 10:34:08 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 10:35:05 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 10:39:57 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 10:41:07 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:edb7:2e5e:75c7:865c) (Ping timeout: 260 seconds) |
| 10:42:55 | <Alexthek1d> | dminuoso, error is fixed . now i get a second one after 56/66 |
| 10:43:05 | <Alexthek1d> | oh no |
| 10:43:15 | <Alexthek1d> | second run and it seems to work now |
| 10:43:16 | <Alexthek1d> | lol |
| 10:43:31 | × | klixto quits (~klixto@49.188.65.219) (Quit: WeeChat 2.9) |
| 10:45:08 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:45:59 | <dminuoso> | Mmm, does lens come with an iso `itself :: Iso' a a` ? |
| 10:46:03 | <dminuoso> | where itself = iso id id |
| 10:46:39 | <dminuoso> | Oh. I guess I can just use `id` |
| 10:46:41 | <dminuoso> | haha |
| 10:48:42 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: killed) |
| 10:49:43 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 10:50:29 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 10:51:19 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 10:53:06 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:e4cc:251e:e67d:9b13) |
| 10:54:36 | Guest88073 | is now known as lep-delete |
| 10:55:05 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 10:55:23 | → | stefan-__ joins (~cri@42dots.de) |
| 10:57:27 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer) |
| 10:58:33 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 10:59:36 | <Alexthek1d> | i have the exe now |
| 11:00:02 | <Alexthek1d> | can't run it tho. Neither stack nor cabal works |
| 11:01:44 | → | kiwi_35 joins (66b6dd1d@gateway/web/cgi-irc/kiwiirc.com/ip.102.182.221.29) |
| 11:02:12 | → | voet joins (~voet@84.39.117.57) |
| 11:03:52 | × | kiwi_35 quits (66b6dd1d@gateway/web/cgi-irc/kiwiirc.com/ip.102.182.221.29) (Client Quit) |
| 11:04:48 | → | son0p joins (~son0p@181.58.39.86) |
| 11:06:25 | → | m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) |
| 11:06:42 | <lortabac> | Alexthek1d: you don't need stack (nor cabal) to run the executable |
| 11:06:46 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer) |
| 11:06:48 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 11:06:50 | <lortabac> | you just have to execute it |
| 11:06:50 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 11:08:39 | <Alexthek1d> | lortabac, when i try this i get: |
| 11:08:40 | <Alexthek1d> | "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml: |
| 11:08:45 | <Alexthek1d> | oh no |
| 11:08:47 | <Alexthek1d> | wrong |
| 11:09:01 | <Alexthek1d> | duckling-example-exe.exe: /usr/share/zoneinfo/: getDirectoryContents:findFirstFile: does not exist (The system cannot find the path specified.) |
| 11:09:01 | <Alexthek1d> | this |
| 11:09:50 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:09:55 | <ridcully> | are you on windows? i doubt windows has those files |
| 11:11:59 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds) |
| 11:12:31 | <lortabac> | Alexthek1d: maybe the example requires some files to be present |
| 11:12:40 | <lortabac> | did you try running the ducking executable? |
| 11:12:45 | <lortabac> | *duckling |
| 11:13:01 | <kuribas> | hi, does something like this exists? Let's say a datastructure a :-> b, which means b depends on a. So I have a function initialize :: MyData -> (MyData :-> DependendData). |
| 11:13:23 | <kuribas> | Then they idea is to be able to incrementally update a, and b gets updated automatically. |
| 11:13:26 | <Alexthek1d> | i compiled on my windows 10 and try to run it on windows server |
| 11:13:31 | <kuribas> | but without recomputing all of b. |
| 11:13:33 | <Alexthek1d> | lortabac, yes |
| 11:13:43 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 246 seconds) |
| 11:13:51 | <ridcully> | the example directly tries to load this directory |
| 11:14:04 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 11:14:06 | <ridcully> | (or rather the timezone data therein) |
| 11:14:21 | <kuribas> | for example for a word processor ui, I have Document :-> Intermediate :-> GraphicElements |
| 11:14:29 | <lortabac> | Alexthek1d: and? |
| 11:14:46 | <lortabac> | did it work? |
| 11:15:15 | <Alexthek1d> | lortabac, it gives me the error above |
| 11:15:41 | <lortabac> | I'm not familiar with this package, but the error is about duckling-example-exe |
| 11:16:00 | <lortabac> | I was asking if you have tried running duckling-exe (or whatever it is called) |
| 11:16:41 | <kuribas> | Then I can specify the UI as a single transformation on the source document, but still have good performance. |
| 11:17:11 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 11:18:56 | <Alexthek1d> | lortabac, there is duckling-example-exe.exe only |
| 11:19:05 | <lortabac> | oh |
| 11:19:37 | <lortabac> | then I guess it has never been tested on Windows |
| 11:21:38 | <lortabac> | given the name of the executable, I suppose duckling is meant to be used as a library |
| 11:21:59 | <lortabac> | you can take inspiration from the example and build your own executable |
| 11:22:49 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 11:23:22 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 11:27:21 | <typetetris> | https://www.irccloud.com/pastebin/cL3DJSYB/ |
| 11:27:43 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) () |
| 11:27:55 | <typetetris> | Is that a bad idea for prod builds? |
| 11:28:34 | → | Ariakenom joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 11:28:34 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 11:28:53 | → | stefan-__ joins (~cri@42dots.de) |
| 11:30:15 | <merijn> | typetetris: O2 generally takes a lot longer to compile and may not have any impact on a significant umber of workloads |
| 11:31:01 | <typetetris> | So its up to experimentation of it is worthwhile. |
| 11:31:11 | <typetetris> | if not of |
| 11:31:59 | <merijn> | yeah |
| 11:32:20 | <merijn> | O1 you should always do, though |
| 11:32:39 | × | avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:34:03 | <dminuoso> | typetetris: If your builds run in CI and are not time sensitive, then O2 is fine. |
| 11:35:09 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds) |
| 11:36:34 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 11:41:59 | × | plutoniix quits (~q@175.176.222.7) (Quit: Leaving) |
| 11:44:26 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 11:44:43 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 11:44:43 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 11:44:43 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 11:45:37 | → | dhil joins (~dhil@195.213.192.122) |
| 11:48:05 | × | Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds) |
| 11:48:19 | → | Sanchayan joins (~Sanchayan@122.181.211.206) |
| 11:51:20 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds) |
| 11:51:22 | <typetetris> | hmm, O2 made ghc 8.10.2 panic on my code. That means I am a bad haskell coder :) |
| 11:52:00 | <maerwald> | 8.10.2 is also a bit more segfaulty than 8.8.4 or 8.6.5 |
| 11:52:22 | → | Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 11:52:38 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:54:32 | × | Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 11:56:58 | hackage | antiope-shell 7.5.3 - Please see the README on Github at <https://github.com/arbor/antiope#readme> https://hackage.haskell.org/package/antiope-shell-7.5.3 (arbornetworks) |
| 11:57:58 | hackage | antiope-core 7.5.3, antiope-sns 7.5.3, antiope-es 7.5.3, antiope-dynamodb 7.5.3, antiope-contract 7.5.3, antiope-athena 7.5.3, antiope-optparse-applicative 7.5.3, antiope-messages 7.5.3, antiope-sqs 7.5.3, antiope-s3 7.5.3 (arbornetworks) |
| 12:00:01 | × | voet quits (~voet@84.39.117.57) () |
| 12:02:09 | edk_ | is now known as deadk |
| 12:03:10 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:03:52 | → | SanchayanM joins (~Sanchayan@106.200.205.180) |
| 12:04:21 | <Alexthek1d> | lortabac, just read this "However you will still face issues when running it, as it needs to be built and run under something like MSYS2 or Cygwin, it needs linux stuff like /usr/share/zoneinfo" |
| 12:04:28 | <Alexthek1d> | https://github.com/facebook/duckling/issues/510 |
| 12:04:49 | × | Sanchayan quits (~Sanchayan@122.181.211.206) (Ping timeout: 246 seconds) |
| 12:05:39 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-fjkcgpxmhvapxtfm) (Quit: Connection closed for inactivity) |
| 12:07:17 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) |
| 12:08:03 | × | SanchayanM quits (~Sanchayan@106.200.205.180) (Client Quit) |
| 12:08:59 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 260 seconds) |
| 12:09:32 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 12:09:42 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 12:09:42 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 12:09:42 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 12:10:34 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 12:13:22 | × | Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 256 seconds) |
| 12:15:21 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 12:17:03 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 12:17:40 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 12:17:50 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 12:20:31 | → | texasmynsted joins (~texasmyns@104.140.52.99) |
| 12:21:11 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 12:22:06 | → | Ariakenom joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 12:22:49 | → | Kolkrabe joins (~user@unaffiliated/siracusa) |
| 12:24:39 | × | chindy quits (~quassel@51.15.63.78) (Remote host closed the connection) |
| 12:25:31 | → | chindy joins (~quassel@51.15.63.78) |
| 12:27:10 | → | brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 12:29:15 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 12:29:51 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 12:30:43 | <typetetris> | 8.8.4 works fine |
| 12:31:28 | hackage | call-alloy 0.2.0.6 - A simple library to call Alloy given a specification https://hackage.haskell.org/package/call-alloy-0.2.0.6 (marcellus) |
| 12:33:23 | → | acidjnk_new3 joins (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) |
| 12:34:48 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: Textual IRC Client: www.textualapp.com) |
| 12:35:09 | → | babygnu joins (~robert@gateway/tor-sasl/babygnu) |
| 12:36:09 | → | Sarma joins (~Amras@unaffiliated/amras0000) |
| 12:36:37 | × | acidjnk_new2 quits (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 12:37:22 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:39:43 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 12:40:13 | → | Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 12:42:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 12:42:02 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 272 seconds) |
| 12:42:45 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 12:43:17 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 12:43:19 | × | Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds) |
| 12:44:15 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 12:45:04 | → | carlomagno1 joins (~cararell@148.87.23.5) |
| 12:45:05 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 12:47:12 | × | carlomagno quits (~cararell@148.87.23.9) (Remote host closed the connection) |
| 12:50:21 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 12:50:37 | × | StoneToad quits (~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 264 seconds) |
| 12:52:36 | → | tirej joins (~tirej@unaffiliated/tirej) |
| 12:55:16 | → | pixel_ joins (~pixel_@178.238.229.54) |
| 12:56:36 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 12:56:37 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 12:56:53 | → | vacm joins (~vacwm@70.23.92.191) |
| 12:59:53 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 12:59:54 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 12:59:54 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 13:00:19 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
| 13:01:34 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 13:02:46 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 13:02:54 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 13:04:51 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 13:05:11 | <AWizzArd> | Why is mapM_ in prelude but not traverse_ ? |
| 13:05:30 | <AWizzArd> | Historical reasons? |
| 13:06:03 | <geekosaur> | yes |
| 13:07:04 | <typetetris> | My ghc panic with ghc 8.10.2 was related to polysemy-plugin, removing that and `-fplugin=Polysemy.Plugin` from my project made the panic go away. |
| 13:07:42 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 13:07:55 | × | son0p quits (~son0p@181.58.39.86) (Quit: leaving) |
| 13:08:55 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:09:21 | → | christo joins (~chris@81.96.113.213) |
| 13:10:53 | → | sandman13 joins (~sandman@unaffiliated/sandman13) |
| 13:12:12 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 13:12:27 | <AWizzArd> | geekosaur: do you think ghc will stick with those historical decisions or clean this at some point up, and move/remove certain functions? |
| 13:12:36 | <sandman13> | Hi, I have a directory that is tracked by git and has few Haskell files. How can I setup stack without deleting the repo and starting from scratch? |
| 13:13:06 | <sandman13> | I tried stack new <already_existing_directory> but it refused to setup as directory already existed |
| 13:13:30 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 13:13:49 | <geekosaur> | AWizzArd, there is a library proposals process for such changes |
| 13:13:58 | × | erolm_a quits (~erolm_a@82.24.185.133) (Ping timeout: 260 seconds) |
| 13:14:30 | <merijn> | geekosaur: Incorrect |
| 13:14:36 | <merijn> | geekosaur: Prelude is in the Report |
| 13:14:48 | <merijn> | the library proposals process is for non-report libraries only |
| 13:15:02 | <merijn> | Good freaking luck getting people to accept Prelude changes |
| 13:15:10 | <geekosaur> | we aleady violate the Report in a few places (notably some Applicative stuff iirc) |
| 13:15:27 | <merijn> | geekosaur: Yes, and if you recall the mailing list drama involved for those... |
| 13:15:35 | <geekosaur> | and of course there's AMP which completely violates the Report |
| 13:15:46 | <merijn> | AMP took months/years of mailing list skirmishes to pass |
| 13:16:07 | <merijn> | And there are very vocal people who oppose to any *growth* of Prelude |
| 13:16:25 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 13:16:37 | <merijn> | So the realistic time frame for "traverse_" moving to Prelude are very slim |
| 13:16:38 | → | christo joins (~chris@81.96.113.213) |
| 13:18:08 | <yushyin> | haskell2020 now! |
| 13:18:51 | → | visage_ joins (~visage_@unaffiliated/visage/x-6658724) |
| 13:19:10 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:19:33 | <merijn> | yushyin: Everyone wants a new standard because they get all the cool new extensions, nobody wants to do the work to specify the extensions |
| 13:19:34 | <geekosaur> | the kind of yammering merijn is talking about is part of why h2020 is dead, I suspect |
| 13:19:45 | <merijn> | geekosaur: Well, not quite |
| 13:20:09 | <merijn> | geekosaur: HaskellPrime keeps dying because people want to do the cool Prelude refactors, but not the "how do we specify extension X?" work |
| 13:20:20 | <merijn> | HaskellPrime keeps being restarted and dying for that reason |
| 13:20:31 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 13:21:31 | <yushyin> | my comment was meant rather sarcastically |
| 13:22:18 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 13:23:42 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 13:25:03 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 13:28:19 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 13:30:16 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 13:30:34 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:dc3b:a165:56fa:c9b) (Remote host closed the connection) |
| 13:31:01 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 13:32:59 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 13:33:51 | × | rotaerk quits (rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 272 seconds) |
| 13:34:56 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer) |
| 13:36:22 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 13:36:39 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 13:38:05 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 13:38:14 | × | sandman13 quits (~sandman@unaffiliated/sandman13) (Quit: Leaving...) |
| 13:38:59 | → | ph88 joins (~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de) |
| 13:39:42 | → | daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 13:40:11 | <daydaynatation> | what does the tilde mean? ~(f, s') <- mf s |
| 13:40:27 | <merijn> | daydaynatation: Lazy pattern |
| 13:40:48 | <ph88> | is this a promoted datatype which needs DataKinds extension? type Foo = '("Bar", String) |
| 13:40:59 | <daydaynatation> | merijn: thx |
| 13:40:59 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 13:41:05 | <merijn> | daydaynatation: So the pattern forcing is delayed until you evaluate the f or s' |
| 13:41:10 | → | justsomeguy joins (~justsomeg@216.186.218.241) |
| 13:41:11 | × | justsomeguy quits (~justsomeg@216.186.218.241) (Changing host) |
| 13:41:11 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 13:41:24 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 13:41:51 | <daydaynatation> | merijn: when would you use it? |
| 13:42:01 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 13:42:26 | <merijn> | daydaynatation: usually in a recursive binding where the pattern you're computing depends on the result of the pattern match |
| 13:42:28 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds) |
| 13:44:04 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 13:44:17 | × | MVQq quits (~anja@198.254.202.72) (Quit: q) |
| 13:44:55 | → | MarcelineVQ joins (~anja@198.254.202.72) |
| 13:46:22 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:47:34 | <siraben> | daydaynatation: you should not use it when you have more than one constructor for the data type, see the Implications section of https://wiki.haskell.org/Lazy_pattern_match |
| 13:48:26 | → | fendor__ joins (~fendor@91.141.1.218.wireless.dyn.drei.com) |
| 13:48:56 | → | rotaerk joins (~rotaerk@ender.afternet.org) |
| 13:50:45 | × | fendor quits (~fendor@91.141.3.69.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 13:50:52 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 13:51:52 | × | Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Remote host closed the connection) |
| 13:52:38 | → | Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) |
| 13:53:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7) |
| 13:53:27 | × | pixel_ quits (~pixel_@178.238.229.54) (Remote host closed the connection) |
| 13:53:46 | <siraben> | Have people here used AutoBench https://github.com/mathandley/AutoBench or is there a better alternative? |
| 13:53:59 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7) (Client Quit) |
| 13:54:21 | <hyperisco> | No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for .stack-work\dist\29cc6475\build\weave\autogen\... |
| 13:54:21 | <hyperisco> | Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie) |
| 13:55:15 | <hyperisco> | I get that error every time I save a file in VSCode using the Haskell IDE extension. I have created a cradle yaml for my project. How can I know where it is looking for the cradle config? |
| 13:56:45 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 13:56:55 | → | stefan-__ joins (~cri@42dots.de) |
| 13:57:30 | → | sendak joins (~sendak@94.229.74.91) |
| 13:59:31 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 14:00:38 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 14:01:45 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 14:03:24 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 14:03:56 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds) |
| 14:07:04 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:08:41 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 14:10:50 | → | ubert1 joins (~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de) |
| 14:11:40 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 14:11:43 | × | dhil quits (~dhil@195.213.192.122) (Ping timeout: 260 seconds) |
| 14:11:51 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 272 seconds) |
| 14:11:51 | ubert1 | is now known as ubert |
| 14:11:52 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 14:11:57 | → | StoneToad joins (~StoneToad@199-167-119-164.ppp.storm.ca) |
| 14:12:48 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 14:13:53 | × | mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving) |
| 14:14:31 | × | daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 14:14:42 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 14:15:01 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 14:15:02 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 14:15:02 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 14:16:02 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 14:16:12 | → | mceier joins (~mceier@89-68-132-187.dynamic.chello.pl) |
| 14:17:59 | → | ddellacosta joins (~dd@86.106.121.168) |
| 14:19:29 | × | jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 14:20:08 | → | jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
| 14:22:02 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-usqgjetlamaxjqlh) |
| 14:24:04 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 14:24:16 | → | dhil joins (~dhil@openvpn-125-1027.inf.ed.ac.uk) |
| 14:25:04 | × | stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 14:25:22 | → | stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) |
| 14:26:53 | × | alp quits (~alp@88.126.45.36) (Remote host closed the connection) |
| 14:27:14 | → | alp joins (~alp@2a01:e0a:58b:4920:1917:422e:237d:9e1) |
| 14:30:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8c51:e657:bdba:514a) |
| 14:30:25 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 14:31:44 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8c51:e657:bdba:514a) (Client Quit) |
| 14:31:58 | × | karanlikmadde quits (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde) |
| 14:32:45 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 14:33:03 | × | babygnu quits (~robert@gateway/tor-sasl/babygnu) (Ping timeout: 240 seconds) |
| 14:33:05 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer) |
| 14:33:46 | → | babygnu joins (~robert@gateway/tor-sasl/babygnu) |
| 14:34:56 | → | karanlikmadde joins (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) |
| 14:35:16 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 14:35:23 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh) |
| 14:35:36 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 256 seconds) |
| 14:36:20 | → | shafox joins (~shafox@106.51.234.111) |
| 14:36:28 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 14:40:55 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:43:35 | → | knupfer joins (~Thunderbi@200116b824e61300a15c6f312f497d6e.dip.versatel-1u1.de) |
| 14:44:43 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:46:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:46:26 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-odbovwgffdjqqzdy) |
| 14:47:00 | <fendor_> | hyperisco, it looks for the cradle config in some parent directory starting from the workspace directory |
| 14:49:31 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 14:50:00 | → | Deide joins (~Deide@217.155.19.23) |
| 14:50:00 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-kxtnycxbgunquota) |
| 14:50:33 | <dminuoso> | ph88: Yes. |
| 14:54:17 | × | alp quits (~alp@2a01:e0a:58b:4920:1917:422e:237d:9e1) (Ping timeout: 272 seconds) |
| 14:54:45 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
| 14:55:44 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 14:56:22 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 14:57:57 | × | texasmynsted quits (~texasmyns@104.140.52.99) (Remote host closed the connection) |
| 14:58:54 | × | fendor_ quits (~fendor@194-96-53-70.hdsl.highway.telekom.at) (Remote host closed the connection) |
| 14:59:29 | × | kini quits (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 15:00:02 | × | sendak quits (~sendak@94.229.74.91) () |
| 15:02:42 | × | bartemius quits (~bartemius@109.252.20.20) (Remote host closed the connection) |
| 15:03:35 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:e4cc:251e:e67d:9b13) (Ping timeout: 246 seconds) |
| 15:04:51 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 15:05:10 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 15:05:10 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 15:05:10 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 15:06:57 | × | borne quits (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Ping timeout: 272 seconds) |
| 15:07:29 | → | seanvert joins (~user@177.84.244.242) |
| 15:08:31 | → | kini joins (~kini@unaffiliated/kini) |
| 15:08:32 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 15:10:39 | → | Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 15:11:09 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:11:20 | → | Deide joins (~Deide@217.155.19.23) |
| 15:11:59 | → | raichoo joins (~raichoo@213.240.178.58) |
| 15:12:57 | × | Deide quits (~Deide@217.155.19.23) (Client Quit) |
| 15:13:32 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 15:14:15 | × | Pitaya quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
| 15:14:32 | → | Deide joins (~Deide@217.155.19.23) |
| 15:15:56 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 15:16:00 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b) |
| 15:17:57 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:21:26 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:22:22 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 15:23:33 | → | lidenbrock joins (bd21e61f@189.33.230.31) |
| 15:25:22 | <ph88> | dminuoso, i had another type type Qux = Quz [Foo, AnotherFoo] and i don't understand why this list here (of which i think it's a type list) does not need that ' in front of it like '[ .. ] |
| 15:26:06 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 15:26:47 | × | polyrain quits (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:27:41 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 15:27:58 | × | jneira quits (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 272 seconds) |
| 15:28:42 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 15:31:06 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 15:31:09 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 15:31:46 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:32:36 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) |
| 15:33:29 | <lortabac> | ph88: ' does not have any semantic meaning, it's just for name disambiguation, it means "search this name in the namespace of data constructors" |
| 15:34:34 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 15:35:12 | <lortabac> | so if the namespace is clear the single quote is not needed |
| 15:35:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 15:36:51 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 15:38:27 | hackage | tzdata 0.2.20201021.0 - Time zone database (as files and as a module) https://hackage.haskell.org/package/tzdata-0.2.20201021.0 (MihalyBarasz) |
| 15:38:28 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 15:38:40 | → | stefan-__ joins (~cri@42dots.de) |
| 15:39:21 | ← | lidenbrock parts (bd21e61f@189.33.230.31) () |
| 15:40:47 | × | knupfer quits (~Thunderbi@200116b824e61300a15c6f312f497d6e.dip.versatel-1u1.de) (Quit: knupfer) |
| 15:41:04 | → | knupfer joins (~Thunderbi@200116b824e6130098a94da731634c1e.dip.versatel-1u1.de) |
| 15:43:07 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 15:44:14 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
| 15:44:16 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds) |
| 15:44:42 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 15:45:54 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
| 15:46:24 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 15:46:51 | → | texasmynsted joins (~texasmyns@104.140.52.115) |
| 15:48:45 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 15:49:17 | → | isBEKaml joins (~~.~@42.110.181.139) |
| 15:50:17 | × | acidjnk_new3 quits (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 15:52:02 | × | texasmynsted quits (~texasmyns@104.140.52.115) (Ping timeout: 272 seconds) |
| 15:52:36 | <tomsmeding> | ph88: does that even compile? I don't think it does |
| 15:52:48 | <tomsmeding> | or perhaps with DataKinds? |
| 15:53:48 | × | isBEKaml quits (~~.~@42.110.181.139) (Changing host) |
| 15:53:48 | → | isBEKaml joins (~~.~@unaffiliated/isbekaml) |
| 15:54:22 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:55:27 | <tomsmeding> | I see with a number of extensions it does compile |
| 15:55:28 | → | beaups joins (~beaups@84.39.117.57) |
| 15:55:40 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 15:55:45 | tomsmeding | requests to ignore my comments, I also don't know exactly how this all works |
| 15:55:56 | → | bartemius joins (~bartemius@109-252-20-20.nat.spd-mgts.ru) |
| 15:57:27 | → | Tops2 joins (~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de) |
| 15:58:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:58:18 | → | alp joins (~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef) |
| 15:58:41 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 16:00:28 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 16:00:33 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 16:02:10 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 16:06:38 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 16:07:40 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 16:07:58 | hackage | tz 0.1.3.5 - Efficient time zone handling https://hackage.haskell.org/package/tz-0.1.3.5 (MihalyBarasz) |
| 16:08:22 | × | dhil quits (~dhil@openvpn-125-1027.inf.ed.ac.uk) (Ping timeout: 260 seconds) |
| 16:10:48 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 16:12:05 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:14:11 | mshine | is now known as simon |
| 16:16:57 | <kuribas> | isn't there a library for quickly making form based UIs for editing configuration? |
| 16:17:07 | <kuribas> | and exporting to XML? |
| 16:17:45 | <Uniaika> | not that I know of |
| 16:19:20 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 16:21:42 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 16:21:50 | → | dhil joins (~dhil@195.213.192.122) |
| 16:21:54 | <maerwald> | persistent doesn't have `updateMany`? |
| 16:22:07 | <merijn> | maerwald: Probably no |
| 16:22:29 | <merijn> | maerwald: Why are you using persistent? |
| 16:22:39 | <maerwald> | It was not my choice. |
| 16:22:50 | <merijn> | maerwald: This does not surprise me ;) |
| 16:23:11 | <maerwald> | SQL is already a DSL |
| 16:23:20 | <maerwald> | I don't know why I need a shitty on top |
| 16:23:28 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds) |
| 16:23:40 | × | mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving) |
| 16:23:53 | <maerwald> | (that goes for all ORMs) |
| 16:24:03 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 256 seconds) |
| 16:24:28 | hackage | cobot-io 0.1.3.8 - Biological data file formats and IO https://hackage.haskell.org/package/cobot-io-0.1.3.8 (ozzzzz) |
| 16:24:35 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 16:24:46 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 16:26:29 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 16:28:12 | × | Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving) |
| 16:28:57 | hackage | ngx-export-tools-extra 0.5.6.0 - More extra tools for Nginx haskell module https://hackage.haskell.org/package/ngx-export-tools-extra-0.5.6.0 (lyokha) |
| 16:29:30 | → | solonarv joins (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) |
| 16:31:11 | → | mceier joins (~mceier@89-68-132-187.dynamic.chello.pl) |
| 16:31:46 | × | mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Client Quit) |
| 16:32:11 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 16:33:26 | → | mceier joins (~mceier@89-68-132-187.dynamic.chello.pl) |
| 16:37:15 | → | borne joins (~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de) |
| 16:37:35 | × | ubert quits (~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 16:37:50 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 16:39:28 | × | bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection) |
| 16:41:58 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 16:42:12 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:42:17 | → | walt joins (~ggVGc@141-136-155-251.dsl.iskon.hr) |
| 16:42:27 | × | walt quits (~ggVGc@141-136-155-251.dsl.iskon.hr) (Client Quit) |
| 16:42:50 | → | Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 16:44:28 | hackage | darcs 2.16.3 - a distributed, interactive, smart revision control system https://hackage.haskell.org/package/darcs-2.16.3 (bfrk) |
| 16:45:29 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 16:46:34 | × | Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds) |
| 16:47:15 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 16:49:03 | × | isBEKaml quits (~~.~@unaffiliated/isbekaml) (Quit: Leaving) |
| 16:50:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 16:52:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 16:52:51 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 16:52:58 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:53:45 | → | Lycurgus joins (~niemand@98.4.96.235) |
| 16:54:34 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 16:56:59 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 16:57:43 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds) |
| 16:58:32 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 16:58:40 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 16:58:59 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 17:00:14 | → | awasey joins (~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net) |
| 17:02:15 | fendor__ | is now known as fendor |
| 17:02:34 | → | Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 17:03:12 | × | kuribas quits (~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 17:03:49 | × | awasey quits (~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net) (Client Quit) |
| 17:04:50 | × | Pitaya quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 258 seconds) |
| 17:05:02 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh) (Quit: Connection closed for inactivity) |
| 17:05:53 | → | LKoen joins (~LKoen@81.255.219.130) |
| 17:06:36 | → | Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 17:09:17 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 17:09:33 | <monsterchrom> | "As a convenience, GHC allows you to omit the quote mark when the name is unambiguous." |
| 17:10:16 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:10:24 | <Uniaika> | monsterchrom: wait what |
| 17:10:27 | × | Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
| 17:10:40 | <monsterchrom> | When you use DataKinds. |
| 17:12:00 | <monsterchrom> | And in the case of type-level list, "For type-level lists of two or more elements, such as the signature of foo2 above, the quote may be omitted because the meaning is unambiguous." |
| 17:12:18 | <monsterchrom> | Or, meta-ly, an exercise in reading the GHC user's guide. |
| 17:14:15 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds) |
| 17:16:49 | justache | is now known as justHaunted |
| 17:17:27 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 17:18:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:23:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:26:17 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 17:26:35 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 17:26:36 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 17:26:36 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 17:27:33 | × | mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds) |
| 17:30:21 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) |
| 17:31:59 | × | alp quits (~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef) (Ping timeout: 272 seconds) |
| 17:36:56 | × | taurux quits (~taurux@net-188-218-229-119.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 17:37:15 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 17:37:34 | → | stefan-__ joins (~cri@42dots.de) |
| 17:38:34 | → | taurux joins (~taurux@net-130-25-101-151.cust.vodafonedsl.it) |
| 17:40:14 | → | Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 17:40:58 | × | Pitaya quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 272 seconds) |
| 17:42:45 | × | knupfer quits (~Thunderbi@200116b824e6130098a94da731634c1e.dip.versatel-1u1.de) (Remote host closed the connection) |
| 17:42:53 | → | knupfer joins (~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de) |
| 17:43:07 | × | redeemed` quits (~rd@79.115.163.113) (Quit: q) |
| 17:43:09 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 17:43:47 | × | MarcelineVQ quits (~anja@198.254.202.72) (Read error: Connection reset by peer) |
| 17:44:30 | → | MarcelineVQ joins (~anja@198.254.202.72) |
| 17:45:21 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 17:45:32 | → | geekosaur69 joins (82659a09@host154-009.vpn.uakron.edu) |
| 17:46:42 | → | mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 17:48:24 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 17:49:00 | × | geekosaur69 quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 17:49:41 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 17:53:12 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:55:00 | → | Ariakenom joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 17:55:07 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 17:56:10 | × | xlei quits (znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in) |
| 17:57:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:57:28 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 17:59:17 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 17:59:46 | → | thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
| 17:59:51 | × | asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 18:00:02 | × | beaups quits (~beaups@84.39.117.57) () |
| 18:00:26 | → | xlei joins (znc@unaffiliated/xlei) |
| 18:01:54 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 18:02:29 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 18:02:39 | → | knightpp_ joins (~knightpp@195.189.234.98) |
| 18:02:56 | × | knightpp_ quits (~knightpp@195.189.234.98) (Client Quit) |
| 18:03:03 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 18:03:11 | → | Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 18:04:11 | × | thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 18:05:03 | × | Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
| 18:06:27 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds) |
| 18:08:12 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 272 seconds) |
| 18:09:15 | → | pjrt joins (~pjrt@pool-108-21-216-76.nycmny.fios.verizon.net) |
| 18:10:50 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 18:10:51 | → | thir joins (~thir@p4febc6a5.dip0.t-ipconnect.de) |
| 18:11:05 | → | alp joins (~alp@2a01:e0a:58b:4920:44cc:a22e:2b7b:c759) |
| 18:12:09 | → | Quarl joins (~Quarl@94.191.136.95.mobile.tre.se) |
| 18:12:09 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 18:14:40 | × | dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection) |
| 18:15:06 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 18:15:25 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 18:15:35 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:15:52 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 18:16:06 | → | raichoo joins (~raichoo@dslb-084-062-118-149.084.062.pools.vodafone-ip.de) |
| 18:16:21 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 18:16:40 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 18:16:40 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 18:16:40 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 18:18:23 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 18:25:35 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds) |
| 18:25:56 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 18:28:27 | → | jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
| 18:28:27 | × | jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
| 18:28:27 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 18:32:18 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 18:33:03 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds) |
| 18:33:50 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 18:35:11 | → | chaosmasttter joins (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) |
| 18:39:55 | → | notnatebtw joins (~nate@110.138.18.157) |
| 18:41:26 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 18:41:43 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 18:41:43 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 18:41:43 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 18:45:52 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 18:47:38 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 18:50:39 | → | Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 18:52:10 | → | Iwawa joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 18:52:30 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz) |
| 18:52:53 | → | acidjnk_new3 joins (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) |
| 18:52:53 | × | Pitaya quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
| 18:55:01 | × | Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds) |
| 18:55:30 | → | Guest76304 joins (~davidfisc@178.238.229.54) |
| 18:55:42 | × | Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Ping timeout: 272 seconds) |
| 18:56:42 | × | bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) (Remote host closed the connection) |
| 18:58:01 | → | Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com) |
| 19:01:14 | → | jneira joins (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) |
| 19:02:14 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 19:03:14 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 19:03:29 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:27 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 19:05:12 | × | Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 272 seconds) |
| 19:06:21 | × | alp quits (~alp@2a01:e0a:58b:4920:44cc:a22e:2b7b:c759) (Ping timeout: 272 seconds) |
| 19:07:11 | × | Franciman quits (~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving) |
| 19:07:21 | → | Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) |
| 19:08:43 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:08:57 | hackage | versions 4.0.1 - Types and parsers for software version numbers. https://hackage.haskell.org/package/versions-4.0.1 (fosskers) |
| 19:09:13 | <dminuoso> | monsterchrom: I personally think keeping them as separate namespaces was a mistake. |
| 19:09:47 | <dminuoso> | What does it even mean "when the name is unambiguous"? |
| 19:10:08 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 19:10:44 | <dminuoso> | Given `data Foo = Foo`, is the reference to Foo ambiguous? `type F = Identity Foo` |
| 19:11:10 | → | ystael joins (~ystael@209.6.50.55) |
| 19:11:18 | → | hiroaki joins (~hiroaki@2a02:908:4b18:e20::e363) |
| 19:13:01 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 19:14:16 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72378771d1e3adff3a8980c.dip0.t-ipconnect.de) |
| 19:14:25 | <dminuoso> | There's of course possible answers that include "Of course it's not, Foo couldn't possibly be the data constructor". But isn't it GHCs job to report when the user might have misspecified a program that can, with some consideration, still type check? |
| 19:15:13 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds) |
| 19:15:15 | <hyperisco> | somehow when I call stack build now it just hangs |
| 19:15:28 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 19:16:22 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 19:17:57 | × | acidjnk_new3 quits (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 19:18:15 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 19:19:09 | × | jespada quits (~jespada@90.254.243.98) (Ping timeout: 265 seconds) |
| 19:19:18 | <dminuoso> | hyperisco: Too much use of UndecideableInstances or TyFams? :> |
| 19:19:23 | × | Quarl quits (~Quarl@94.191.136.95.mobile.tre.se) (Read error: Connection reset by peer) |
| 19:19:32 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Client Quit) |
| 19:19:41 | <hyperisco> | I didn't change any code =\ well this is just my luck lately |
| 19:21:14 | → | jespada joins (~jespada@90.254.243.98) |
| 19:21:39 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Read error: Connection reset by peer) |
| 19:22:00 | × | knupfer quits (~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 19:22:15 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 19:23:22 | × | thir quits (~thir@p4febc6a5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 19:25:13 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 19:28:00 | × | kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 19:28:03 | → | thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) |
| 19:30:29 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 19:30:49 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 19:30:59 | ← | aarvar parts (~foewfoiew@50.35.43.33) () |
| 19:31:16 | → | reppertj joins (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) |
| 19:31:34 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 19:31:54 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 19:31:54 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 19:31:54 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 19:32:20 | → | alp joins (~alp@2a01:e0a:58b:4920:d80c:9dfe:7aa1:7540) |
| 19:34:13 | × | thir quits (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 19:38:34 | <fresheyeball> | is there any way to make jsaddle-warp debugging more reliable? |
| 19:39:10 | → | mbomba joins (~mbomba@142.114.9.241) |
| 19:39:13 | × | shafox quits (~shafox@106.51.234.111) (Remote host closed the connection) |
| 19:39:49 | <fresheyeball> | hamishmack: it looks like I am going to be building more and more stuff on your work |
| 19:40:03 | <fresheyeball> | would you be willing to do a call with me and talk about some stuff with jsaddle? |
| 19:41:08 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b) (Ping timeout: 246 seconds) |
| 19:42:28 | × | coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 19:43:32 | × | Alexthek1d quits (~JJJ@p5b3ae7e8.dip0.t-ipconnect.de) (Quit: Leaving) |
| 19:47:00 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 19:47:03 | → | kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) |
| 19:47:06 | → | Tario joins (~Tario@201.192.165.173) |
| 19:47:16 | → | knupfer joins (~Thunderbi@mue-88-130-61-228.dsl.tropolys.de) |
| 19:48:11 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds) |
| 19:48:31 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 19:49:54 | × | oisdk_ quits (~oisdk@2001:bb6:3329:d100:110c:4b45:443f:14f0) (Quit: oisdk_) |
| 19:50:32 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
| 19:51:23 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 19:51:53 | <merijn> | dminuoso: Easy, "Just" in a type is unambigously datakinds, unless you first define a new "Just" type |
| 19:52:32 | <merijn> | % :i Identity |
| 19:52:32 | <yahb> | merijn: type Identity :: * -> *; newtype Identity a = Identity {runIdentity :: a}; -- Defined in `Data.Functor.Identity'; instance Applicative Identity -- Defined in `Data.Functor.Identity'; instance Eq a => Eq (Identity a) -- Defined in `Data.Functor.Identity'; instance Functor Identity -- Defined in `Data.Functor.Identity'; instance Monad Identity -- Defined in `Data.Functor.Identity'; instance Monoid a => |
| 19:52:48 | <merijn> | dminuoso: That one is also unambiguous, since the kind is * :p |
| 19:53:02 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:53:09 | × | raichoo quits (~raichoo@dslb-084-062-118-149.084.062.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 19:53:20 | <dminuoso> | merijn: Since they occupy the same namespace, I'm not willing to accept that |
| 19:53:34 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765) |
| 19:54:09 | <dminuoso> | But really, my arguments boil down to "they shouldn't occupy the same namespace in the first place" |
| 19:57:03 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 19:57:28 | → | notnatebtw joins (~nate@110.138.18.157) |
| 19:57:32 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 19:57:59 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 19:58:10 | → | stefan-__ joins (~cri@42dots.de) |
| 19:59:41 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection) |
| 20:00:00 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 20:00:29 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 20:00:54 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Client Quit) |
| 20:02:09 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 20:02:23 | → | stefan-__ joins (~cri@42dots.de) |
| 20:03:20 | → | rprije joins (~rprije@110-175-117-18.tpgi.com.au) |
| 20:05:53 | × | zariuq quits (~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection) |
| 20:06:05 | → | zariuq joins (~zar@fw1.ciirc.cvut.cz) |
| 20:06:46 | → | thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) |
| 20:08:31 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Remote host closed the connection) |
| 20:08:40 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 20:08:56 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 20:09:35 | × | forgottenone quits (~forgotten@176.88.100.210) (Read error: Connection reset by peer) |
| 20:10:05 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 20:10:37 | → | djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 20:11:01 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds) |
| 20:12:00 | → | zephyz joins (~zephyz@2a02:c7f:b0ff:7000:817:8e89:a6:b588) |
| 20:13:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 20:14:19 | → | justan0theruser joins (~justanoth@unaffiliated/justanotheruser) |
| 20:14:32 | × | thir quits (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 20:14:32 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 20:15:31 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 20:16:39 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 20:18:03 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 20:18:25 | × | borne quits (~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 20:18:55 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 20:19:10 | → | stefan-__ joins (~cri@42dots.de) |
| 20:19:13 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
| 20:19:39 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 20:21:21 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 20:21:35 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Client Quit) |
| 20:22:12 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 20:22:23 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Client Quit) |
| 20:23:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 20:25:54 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 20:26:10 | → | stefan-__ joins (~cri@42dots.de) |
| 20:28:04 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 20:28:05 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 240 seconds) |
| 20:29:08 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 20:31:03 | × | Majiir quits (~Majiir@2601:18c:ca00:a400:211:32ff:fe42:6eda) (Quit: CUT THE HARDLINES!!) |
| 20:31:16 | <monsterchrom> | dminuoso: I think that automatic promotion-pun is wrong in the first place. Note that the need for the singletons library implies that automatic promotion-pun doesn't even buy any superficial convenience, lack alone fundamental benenfits. |
| 20:31:17 | → | coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) |
| 20:32:50 | <monsterchrom> | Instead, "data X = A | B" should only give "X :: Type, A, B :: X", and for the promotion, one must write separately "kind X2 = A2 | B2". |
| 20:33:22 | <monsterchrom> | Either that, or automatic promotion-pun should automatically induce what singletons now does. |
| 20:33:43 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 20:33:52 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 20:34:22 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 20:37:18 | × | knupfer quits (~Thunderbi@mue-88-130-61-228.dsl.tropolys.de) (Ping timeout: 260 seconds) |
| 20:37:27 | hackage | keep-alive 0.1.0.0 - TCP keep alive implementation https://hackage.haskell.org/package/keep-alive-0.1.0.0 (3kyro) |
| 20:38:15 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 20:38:16 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 20:40:38 | × | hiroaki quits (~hiroaki@2a02:908:4b18:e20::e363) (Ping timeout: 246 seconds) |
| 20:42:23 | × | xff0x quits (~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e) (Ping timeout: 246 seconds) |
| 20:43:02 | → | conal joins (~conal@ip-66-115-176-174.creativelink.net) |
| 20:43:08 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds) |
| 20:43:23 | → | xff0x joins (~fox@2001:1a81:52d2:ca00:522a:154a:cc26:5e43) |
| 20:45:45 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 20:48:19 | → | crestfallen joins (~John@135-180-15-188.fiber.dynamic.sonic.net) |
| 20:48:50 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-pqhdvcgecdtzmnpf) |
| 20:51:05 | → | thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) |
| 20:51:48 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 20:51:59 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 20:54:29 | → | britva joins (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) |
| 20:54:38 | × | mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9) |
| 20:54:50 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 20:55:55 | × | thir quits (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 20:55:58 | hackage | keep-alive 0.1.1.0 - TCP keep alive implementation https://hackage.haskell.org/package/keep-alive-0.1.1.0 (3kyro) |
| 20:57:11 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765) (Ping timeout: 272 seconds) |
| 20:59:05 | × | chaosmasttter quits (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 21:00:01 | × | Guest76304 quits (~davidfisc@178.238.229.54) () |
| 21:01:25 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:01:37 | → | ComposerMike joins (~Mike@047-037-150-174.res.spectrum.com) |
| 21:03:39 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 258 seconds) |
| 21:05:02 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz) (Quit: Connection closed for inactivity) |
| 21:05:09 | → | avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 21:05:55 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 21:06:10 | <ComposerMike> | I started getting AesonExcpetions when Stack tries to download the resolver build plan .. this seems to have happened right after I tried to use ghcup to install a default system ghc.. any ideas? |
| 21:06:17 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 21:06:26 | → | stefan-__ joins (~cri@42dots.de) |
| 21:06:34 | × | crestfallen quits (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 21:07:31 | → | crestfallen joins (~John@135-180-15-188.fiber.dynamic.sonic.net) |
| 21:07:36 | <ComposerMike> | for instance, “Error in $.pcakages.cassave.contraints.flags[‘bytestring-lt_0_1_4’]: invalid file name” |
| 21:08:01 | × | mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 246 seconds) |
| 21:08:23 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 21:08:52 | × | conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 21:09:15 | → | Lord_of_Life joins (~Lord@46.217.219.190) |
| 21:09:16 | × | Lord_of_Life quits (~Lord@46.217.219.190) (Changing host) |
| 21:09:16 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 21:09:22 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:15c:9b88:93:51eb) |
| 21:10:58 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 21:11:14 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 272 seconds) |
| 21:11:14 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 21:11:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:12:34 | × | crestfallen quits (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 21:12:37 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:12:49 | → | conal joins (~conal@64.71.133.70) |
| 21:12:55 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:13:03 | × | ComposerMike quits (~Mike@047-037-150-174.res.spectrum.com) (Quit: ComposerMike) |
| 21:13:26 | <merijn> | Which stack version? |
| 21:13:38 | → | crestfallen joins (~John@135-180-15-188.fiber.dynamic.sonic.net) |
| 21:14:23 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 21:15:47 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 21:24:13 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:24:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:25:52 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 246 seconds) |
| 21:25:59 | → | son0p joins (~son0p@181.136.122.143) |
| 21:26:20 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 21:27:29 | × | karanlikmadde quits (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde) |
| 21:27:56 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 21:30:11 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 21:30:44 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 21:31:14 | → | conal joins (~conal@64.71.133.70) |
| 21:32:32 | → | karanlikmadde joins (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) |
| 21:33:43 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 21:34:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 21:34:07 | × | britva quits (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep) |
| 21:35:46 | × | Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving) |
| 21:36:09 | → | hiroaki joins (~hiroaki@2a02:908:4b18:e20::e363) |
| 21:36:46 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 21:36:56 | → | GyroW joins (~GyroW@d54c03e98.access.telenet.be) |
| 21:36:56 | × | GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 21:36:56 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 21:37:00 | × | hiroaki quits (~hiroaki@2a02:908:4b18:e20::e363) (Remote host closed the connection) |
| 21:37:09 | → | polyrain joins (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) |
| 21:37:28 | → | mbomba joins (~mbomba@142.114.9.241) |
| 21:38:00 | → | hiroaki joins (~hiroaki@2a02:908:4b18:e20::e363) |
| 21:40:46 | × | Tops2 quits (~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 21:42:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:43:04 | × | crestfallen quits (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 21:45:58 | → | crestfallen_ joins (~John@135-180-15-188.fiber.dynamic.sonic.net) |
| 21:46:25 | × | LKoen quits (~LKoen@81.255.219.130) (Remote host closed the connection) |
| 21:46:57 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:47:11 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 21:47:59 | × | pjrt quits (~pjrt@pool-108-21-216-76.nycmny.fios.verizon.net) (Quit: WeeChat 2.9) |
| 21:48:11 | × | sqrt2_ quits (~ben@unaffiliated/sqrt2) (Ping timeout: 246 seconds) |
| 21:48:14 | → | conal joins (~conal@64.71.133.70) |
| 21:48:59 | → | dansho joins (~dansho@ip68-108-167-185.lv.lv.cox.net) |
| 21:49:20 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-ytqlliqaiojyqsrz) |
| 21:50:02 | <dansho> | does anyone know how to do a 1d convolution on multiple channel data with massiv? |
| 21:50:11 | → | sqrt2 joins (~ben@unaffiliated/sqrt2) |
| 21:50:21 | <dansho> | i have a 6x3 input (6 samples, 3 channels) |
| 21:51:01 | × | worc3131 quits (~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4) (Ping timeout: 272 seconds) |
| 21:51:01 | <dansho> | and stencil 3x3 (width 3, channels 3) |
| 21:51:56 | <dansho> | mapStencil seems to be doing a 2d convolution though so it produces a 6x3 output instead of 6x1 |
| 21:52:57 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 21:53:04 | × | polyrain quits (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:53:09 | × | babygnu quits (~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection) |
| 21:53:27 | × | a3Dman quits (~3Dman@unaffiliated/a3dman) (Ping timeout: 260 seconds) |
| 21:53:28 | → | babygnu joins (~robert@gateway/tor-sasl/babygnu) |
| 21:54:18 | × | cohn quits (~noone@unaffiliated/cohn) (Ping timeout: 265 seconds) |
| 21:54:34 | → | cohn joins (~noone@unaffiliated/cohn) |
| 21:55:07 | × | rotaerk quits (~rotaerk@ender.afternet.org) (Ping timeout: 260 seconds) |
| 21:55:30 | → | a3Dman joins (~3Dman@unaffiliated/a3dman) |
| 21:56:11 | × | mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving) |
| 21:57:06 | × | rprije quits (~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 256 seconds) |
| 21:57:22 | → | rprije joins (~rprije@194-193-168-77.tpgi.com.au) |
| 21:57:41 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 21:58:30 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 21:58:58 | → | notnatebtw joins (~nate@110.138.18.157) |
| 22:02:04 | → | GyroW_ joins (~GyroW@d54C03E98.access.telenet.be) |
| 22:02:04 | × | GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 22:02:04 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 22:02:23 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 22:02:55 | → | technician1138 joins (~wircer@62.144.c10008-a77.dsl-dynamic.vsi.ru) |
| 22:03:03 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
| 22:03:14 | ← | technician1138 parts (~wircer@62.144.c10008-a77.dsl-dynamic.vsi.ru) ("wIRC") |
| 22:03:19 | × | jsynacek quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 246 seconds) |
| 22:03:51 | × | oats quits (~hurr@durr/im/a/sheep) (Quit: until later, my friends) |
| 22:03:56 | → | Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 22:04:19 | × | hiroaki quits (~hiroaki@2a02:908:4b18:e20::e363) (Ping timeout: 272 seconds) |
| 22:04:28 | → | oats joins (~hurr@durr/im/a/sheep) |
| 22:04:40 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 22:05:03 | → | N3RGY joins (~N3RGY@65.141.87.122) |
| 22:05:57 | → | falafel joins (~falafel@71-34-132-121.clsp.qwest.net) |
| 22:06:21 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 22:07:09 | <N3RGY> | Hey all. Having a weird issue. I have a device with a quectel EG25 4G modem. The first two times I booted up, ugen recognized the device and then u3g recognized the device and made /dev/cuaUxxx devices. I can still see this in /var/log/messages. No problem. But subsequent times I turned on the device, ugen sees the modem, but u3g doesn't do anything. Any idea what could be going wrong? |
| 22:08:11 | × | Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds) |
| 22:08:51 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 22:08:59 | × | coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 22:09:06 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 22:10:11 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 22:11:25 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 22:11:33 | <N3RGY> | Oops sorry wrong channel! |
| 22:12:41 | → | conal_ joins (~conal@66.115.157.144) |
| 22:13:13 | × | conal_ quits (~conal@66.115.157.144) (Client Quit) |
| 22:13:25 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 22:13:33 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 260 seconds) |
| 22:14:13 | → | texasmynsted joins (~texasmyns@104.140.52.115) |
| 22:15:49 | × | rprije quits (~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 264 seconds) |
| 22:15:50 | × | texasmynsted quits (~texasmyns@104.140.52.115) (Read error: Connection reset by peer) |
| 22:15:53 | × | Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds) |
| 22:16:14 | → | conal joins (~conal@66.115.157.144) |
| 22:20:52 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 22:22:55 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds) |
| 22:23:32 | × | danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds) |
| 22:23:36 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 22:24:08 | → | valli1 joins (~valli@139.28.218.148) |
| 22:24:46 | × | babygnu quits (~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection) |
| 22:28:43 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 22:30:04 | × | conal quits (~conal@66.115.157.144) (Quit: Computer has gone to sleep.) |
| 22:30:17 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 22:30:38 | → | conal joins (~conal@66.115.157.144) |
| 22:31:11 | × | conal quits (~conal@66.115.157.144) (Client Quit) |
| 22:32:39 | → | fraktor joins (~walt@129.93.191.18) |
| 22:33:14 | <fraktor> | So I'm trying to learn Parsec, and I wrote this method to parse a Float. It seems like a pretty bad way to do it though, and I'm wondering if someone could help me understand a better way to do this. https://hastebin.com/qatizuxebe.hs |
| 22:33:20 | → | conal joins (~conal@66.115.157.144) |
| 22:33:33 | × | conal quits (~conal@66.115.157.144) (Client Quit) |
| 22:35:39 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 22:37:45 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 22:39:02 | <ph88> | thank you for the clarification lortabac |
| 22:39:14 | → | Guest18 joins (bc1a97dc@gateway/web/cgi-irc/kiwiirc.com/ip.188.26.151.220) |
| 22:39:21 | → | N3RGY_ joins (~N3RGY@65.141.87.122) |
| 22:39:41 | → | conal joins (~conal@66.115.157.144) |
| 22:39:46 | <Guest18> | hello peeps, anyone know a good online haskell repl i could use while my linux comp is unavailable? |
| 22:40:08 | <Guest18> | the one on repl.it is really annoying me with it's bugs |
| 22:40:57 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72378771d1e3adff3a8980c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 22:41:39 | <maerwald> | It's not a particularly strong business model :) |
| 22:41:44 | × | falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 22:42:08 | → | falafel joins (~falafel@71-34-132-121.clsp.qwest.net) |
| 22:43:07 | × | N3RGY quits (~N3RGY@65.141.87.122) (Ping timeout: 265 seconds) |
| 22:43:25 | → | N3RGY joins (~N3RGY@65.141.87.122) |
| 22:43:27 | <lambdabot> | Maybe I should set up a Patreon ;-) |
| 22:44:19 | <Guest18> | did the lambdabot just gain sentience? |
| 22:44:34 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 22:44:49 | <Guest18> | i'm sorry of the things i told you in confidence, lambdabot |
| 22:44:54 | <int-e> | It's a different niche... but it is kind of offering free computing resources to the masses. |
| 22:44:55 | hekkaidekapus_ | is now known as hekkaidekapus |
| 22:45:24 | <int-e> | Guest18: Don't worry, there are no logs or people reading them. |
| 22:46:03 | <Guest18> | so i take it there are no good repls out there? |
| 22:46:07 | <int-e> | But it does have a feature for sending messages to the channel, which I just (ab?)used. |
| 22:47:01 | × | N3RGY_ quits (~N3RGY@65.141.87.122) (Ping timeout: 264 seconds) |
| 22:47:13 | → | poljar1 joins (~poljar@93-143-177-96.adsl.net.t-com.hr) |
| 22:47:54 | <hekkaidekapus> | fraktor: It is probably not a good idea to roll your own float parser. Background: |
| 22:48:03 | <int-e> | Guest18: I'm vaguely aware that such sites exist. Does tio.run do Haskell? |
| 22:48:08 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 272 seconds) |
| 22:48:10 | <hekkaidekapus> | @where floating-point -- fraktor |
| 22:48:10 | <lambdabot> | "What Every Programmer Should Know About Floating-Point Arithmetic" at <http://floating-point-gui.de/> and "What Every Computer Scientist Should Know About Floating-Point Arithmetic" by David |
| 22:48:10 | <lambdabot> | Goldberg in 1991 at <http://docs.sun.com/source/806-3568/ncg_goldberg.html> and <http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.244> |
| 22:48:42 | <hekkaidekapus> | fraktor: But you could try <https://hackage.haskell.org/package/megaparsec-9.0.0/docs/Text-Megaparsec-Char-Lexer.html#v:float> |
| 22:49:24 | × | poljar quits (~poljar@93-139-70-179.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 22:49:28 | → | Tario joins (~Tario@201.192.165.173) |
| 22:50:18 | <Guest18> | int-e: it does |
| 22:50:30 | <Guest18> | I hope it handles IO better than repl.it |
| 22:50:32 | <Guest18> | thank you |
| 22:51:26 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 22:51:53 | <fraktor> | hekkaidekapus: So what I'm doing is using Parsec to determine which characters are part of the float and then `read`, so it's still pretty straightforward. |
| 22:52:18 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 22:52:40 | <Guest18> | Another question: if i have two ints, and wanted to divide them (not div, but /) why won't haskell let me? |
| 22:52:51 | <Guest18> | If you need more context |
| 22:53:28 | <Guest18> | I have a function that counts how many letters are different in two given strings. For example "hello" and "hellq" would be 1 |
| 22:53:57 | <Guest18> | And I use genericLength to get the length of those strings |
| 22:54:10 | <Guest18> | But for some reason it won't let me divide them |
| 22:54:24 | <int-e> | :t genericLength |
| 22:54:25 | <lambdabot> | Num i => [a] -> i |
| 22:54:35 | → | denisse joins (~spaceCat@gateway/tor-sasl/alephzer0) |
| 22:55:05 | × | amagi_ quits (~amagi@113.101.23.223) (Ping timeout: 240 seconds) |
| 22:55:20 | → | jedws joins (~jedws@101.184.148.229) |
| 22:56:04 | <Guest18> | Ok, so the typeclass is Num, and so if i make the first function also return a num, it should work? |
| 22:56:16 | <bliminse> | Guest18: to divide 2 ints with / call fromIntegral on each of them |
| 22:56:32 | <hekkaidekapus> | fraktor: I don’t understand well what you’re trying to do. Do you want to extract sub-strings that could be converted to floats? |
| 22:56:42 | → | texasmynsted joins (~texasmyns@104.140.52.115) |
| 22:57:00 | <int-e> | Something doesn't add up. Anyway, the usual conversion functions are: fromIntegral, realToFrac, and floor/round/ceiling to get back to integers. |
| 22:57:18 | → | amagi joins (~amagi@113.101.23.223) |
| 22:57:21 | → | texasmyn_ joins (~texasmyns@104.140.52.115) |
| 22:57:33 | <Guest18> | Actually, it worked just by putting the Num constraint on the first functrion |
| 22:58:40 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 22:58:42 | × | texasmyn_ quits (~texasmyns@104.140.52.115) (Client Quit) |
| 22:58:45 | → | rotaerk joins (rotaerk@2600:3c02::f03c:91ff:fe70:4a45) |
| 22:58:55 | <Guest18> | https://pastebin.pl/view/7e4a65f8 |
| 22:58:58 | <Guest18> | For reference |
| 22:59:02 | → | texasmyn_ joins (~texasmyns@104.140.52.115) |
| 22:59:45 | <Guest18> | It should calculate the percentage to which the second string is like the first |
| 23:00:00 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:00:04 | <Guest18> | It takes a key string, and several other strings |
| 23:00:07 | × | texasmynsted quits (~texasmyns@104.140.52.115) (Read error: Connection reset by peer) |
| 23:00:26 | <Guest18> | For every one, if the percentage is bigger than 0.9, it prints pass otherwise fail |
| 23:00:49 | × | mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9) |
| 23:00:59 | × | conal quits (~conal@66.115.157.144) (Quit: Computer has gone to sleep.) |
| 23:01:16 | <Guest18> | Wait, that's not the right code |
| 23:01:38 | <Guest18> | https://pastebin.pl/view/49dd7475 |
| 23:01:45 | <Guest18> | This is the working version |
| 23:01:53 | × | texasmyn_ quits (~texasmyns@104.140.52.115) (Client Quit) |
| 23:02:24 | <Guest18> | The key and the other strings are guaranteed to be of the same length |
| 23:02:56 | → | conal joins (~conal@66.115.157.144) |
| 23:03:13 | <Guest18> | I know I could have done better, maybe do the nums function with a fold or something, but i had a few minutes to do this |
| 23:03:20 | × | seanvert quits (~user@177.84.244.242) (Ping timeout: 256 seconds) |
| 23:03:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 23:04:30 | <Guest18> | Suggestions? |
| 23:05:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 23:05:07 | × | vk3wtf quits (~doc@14-202-30-62.static.tpgi.com.au) (Quit: WeeChat 2.7.1) |
| 23:05:37 | → | vk3wtf joins (~doc@14-202-30-62.static.tpgi.com.au) |
| 23:10:53 | × | jiribenes quits (~jiribenes@rosa.jiribenes.com) (Remote host closed the connection) |
| 23:11:11 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 23:12:25 | <Guest18> | num key sub = foldr (\(x,y) b -> if x == y then b+1 else b) 0 $ zip key sub -- i reckon this is better |
| 23:12:51 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 23:13:02 | × | xff0x quits (~fox@2001:1a81:52d2:ca00:522a:154a:cc26:5e43) (Ping timeout: 260 seconds) |
| 23:13:14 | × | dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Remote host closed the connection) |
| 23:13:37 | → | xff0x joins (~fox@2001:1a81:52d2:ca00:c409:1d88:453d:35d6) |
| 23:13:39 | → | dansho joins (~dansho@ip68-108-167-185.lv.lv.cox.net) |
| 23:15:16 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 23:15:46 | × | dqd quits (id@wikipedia/dqd) (Ping timeout: 246 seconds) |
| 23:15:49 | × | StoneToad quits (~StoneToad@199-167-119-164.ppp.storm.ca) (Ping timeout: 264 seconds) |
| 23:16:15 | → | StoneToad_ joins (~StoneToad@199-167-119-164.ppp.storm.ca) |
| 23:16:18 | <Guest18> | Really, any suggestions whatsoever are welcome |
| 23:17:01 | <hekkaidekapus> | fraktor: I’m going away. In the meantime, here is something to chew on. Your bespoke parser would recognise "+45.6". Now try Text.Megaparsec.Char.Lexer.float with that to see what you get. Also: |
| 23:17:18 | <hekkaidekapus> | > isIEE 45.6 -- fraktor |
| 23:17:20 | <lambdabot> | error: |
| 23:17:20 | <lambdabot> | • Variable not in scope: isIEE :: t0 -> t |
| 23:17:20 | <lambdabot> | • Perhaps you meant ‘isIEEE’ (imported from Prelude) |
| 23:17:35 | <hekkaidekapus> | > isIEEE 45.6 -- fraktor |
| 23:17:37 | <lambdabot> | True |
| 23:17:43 | <hekkaidekapus> | > isIEEE +45.6 -- fraktor |
| 23:17:45 | <lambdabot> | error: |
| 23:17:45 | <lambdabot> | • No instance for (Fractional (Double -> Bool)) |
| 23:17:45 | <lambdabot> | arising from a use of ‘e_1456’ |
| 23:19:43 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 23:20:15 | <int-e> | :t isIEEE |
| 23:20:17 | <lambdabot> | RealFloat a => a -> Bool |
| 23:22:43 | × | conal quits (~conal@66.115.157.144) (Quit: Computer has gone to sleep.) |
| 23:24:00 | → | dqd joins (id@wikipedia/dqd) |
| 23:24:35 | → | conal joins (~conal@66.115.157.144) |
| 23:25:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 23:26:47 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:28:37 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 23:29:28 | × | conal quits (~conal@66.115.157.144) (Client Quit) |
| 23:30:14 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 23:31:38 | → | texasmynsted joins (~texasmyns@104.140.52.115) |
| 23:32:22 | × | fraktor quits (~walt@129.93.191.18) (Quit: WeeChat 2.8) |
| 23:33:56 | × | falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 256 seconds) |
| 23:34:02 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
| 23:35:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:36:56 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 23:37:33 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 23:40:05 | → | acertain_ joins (uid470584@gateway/web/irccloud.com/x-nuijhjibtvepkxua) |
| 23:40:05 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 23:42:05 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 256 seconds) |
| 23:42:23 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 23:43:29 | × | acertain quits (~acertain@unaffiliated/fread2281) (Disconnected by services) |
| 23:43:30 | acertain_ | is now known as acertain |
| 23:43:43 | → | acertain- joins (~acertain@unaffiliated/fread2281) |
| 23:46:45 | × | acertain- quits (~acertain@unaffiliated/fread2281) (Client Quit) |
| 23:47:28 | → | conal joins (~conal@66.115.157.144) |
| 23:47:35 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 260 seconds) |
| 23:48:45 | × | conal quits (~conal@66.115.157.144) (Client Quit) |
| 23:49:25 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 264 seconds) |
| 23:49:25 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 23:49:41 | → | stefan-__ joins (~cri@42dots.de) |
| 23:50:36 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 23:52:08 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 23:52:55 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 23:55:00 | × | dhil quits (~dhil@195.213.192.122) (Ping timeout: 258 seconds) |
| 23:55:02 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-ytqlliqaiojyqsrz) (Quit: Connection closed for inactivity) |
| 23:57:27 | × | N3RGY quits (~N3RGY@65.141.87.122) (Remote host closed the connection) |
| 23:57:59 | → | christo joins (~chris@81.96.113.213) |
| 23:58:02 | → | N3RGY joins (~N3RGY@65.141.87.122) |
| 23:58:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:59:13 | × | texasmynsted quits (~texasmyns@104.140.52.115) () |
| 23:59:32 | → | texasmynsted joins (~texasmyns@104.140.52.115) |
| 23:59:42 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
All times are in UTC on 2020-10-22.