Logs: freenode/#haskell
| 2020-11-01 21:29:45 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2020-11-01 21:29:51 | × | vnz quits (~vnz@unaffiliated/vnz) (Quit: ZNC - http://znc.in) |
| 2020-11-01 21:30:36 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-01 21:31:42 | → | vnz joins (~vnz@2001:bc8:604:94f::1) |
| 2020-11-01 21:31:42 | × | vnz quits (~vnz@2001:bc8:604:94f::1) (Changing host) |
| 2020-11-01 21:31:42 | → | vnz joins (~vnz@unaffiliated/vnz) |
| 2020-11-01 21:33:33 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-01 21:36:41 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-01 21:37:29 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-11-01 21:38:29 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2020-11-01 21:38:59 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-01 21:39:05 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-11-01 21:40:01 | hackage | integer-logarithms 1.0.3.1 - Integer logarithms. https://hackage.haskell.org/package/integer-logarithms-1.0.3.1 (phadej) |
| 2020-11-01 21:41:18 | <Tuplanolla> | I hope to be pleasantly surprised when I pick Haskell up again. |
| 2020-11-01 21:43:18 | <[exa]> | If you could change one thing about Haskell, what would it be? |
| 2020-11-01 21:43:26 | <[exa]> | "one more compiler" |
| 2020-11-01 21:43:50 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-01 21:44:15 | <Tuplanolla> | I want easily predictable performance from the compiler and the executables it produces. |
| 2020-11-01 21:44:33 | <hpc> | both-directions-typesafe rust ffi |
| 2020-11-01 21:44:35 | <Tuplanolla> | (Note that I did not say "good performance".) |
| 2020-11-01 21:44:52 | <hpc> | (importing haskell in rust, and importing rust in haskell) |
| 2020-11-01 21:46:14 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2020-11-01 21:46:19 | × | _xor quits (~xor@74.215.46.133) (Ping timeout: 260 seconds) |
| 2020-11-01 21:48:29 | → | coot joins (~coot@37.30.60.135.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-01 21:49:33 | <maerwald> | Tuplanolla: I'm not sure easily predictable performance is even possible with lazy evaluation |
| 2020-11-01 21:49:50 | <maerwald> | so it might not just be a compiler issue, but a language limitation |
| 2020-11-01 21:50:43 | × | knupfer quits (~Thunderbi@200116b82ca86a0081cd9ea58e288a4a.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2020-11-01 21:50:48 | × | sawebb_ quits (~sawebb@75.115.195.184) (Read error: Connection reset by peer) |
| 2020-11-01 21:50:54 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-01 21:51:15 | → | sawebb_ joins (~sawebb@75.115.195.184) |
| 2020-11-01 21:51:24 | <Tuplanolla> | Indeed. |
| 2020-11-01 21:51:24 | × | xff0x quits (~fox@2001:1a81:5341:f200:676a:5a76:34ce:6dec) (Ping timeout: 240 seconds) |
| 2020-11-01 21:51:39 | → | sfvm joins (~sfvm@37.228.215.148) |
| 2020-11-01 21:51:49 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-01 21:51:52 | × | renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds) |
| 2020-11-01 21:52:00 | <Tuplanolla> | That's the one thing I would change. |
| 2020-11-01 21:52:09 | <maerwald> | lenient evaluation? |
| 2020-11-01 21:52:32 | → | xff0x joins (~fox@2001:1a81:5341:f200:c657:86c0:ac7a:d369) |
| 2020-11-01 21:54:53 | <Tuplanolla> | Get rid of lazy evaluation, if that's what it calls for. |
| 2020-11-01 21:54:54 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-11-01 21:54:55 | → | hoppfull joins (55e07432@c-3274e055.19-9-64736c10.bbcust.telenor.se) |
| 2020-11-01 21:56:10 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2020-11-01 21:56:47 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-01 21:56:51 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-11-01 21:57:19 | <davean> | Tuplanolla: why would you want that? |
| 2020-11-01 21:57:26 | <davean> | Tuplanolla: You'd just want worse performance? |
| 2020-11-01 22:00:26 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-01 22:00:31 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2020-11-01 22:00:35 | × | muesli4 quits (~noname@p200300e8472db800148b3a0117ef2d23.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2020-11-01 22:00:45 | <Tuplanolla> | I don't like surprises. |
| 2020-11-01 22:01:28 | <davean> | Tuplanolla: vs. only good surprises? |
| 2020-11-01 22:02:07 | <Tuplanolla> | That's not realistic. |
| 2020-11-01 22:03:22 | <hoppfull> | I'm having some challenges with template haskell. I want to run a side effect during compilation. I know template haskell should be a last resort but it's an important part of my toolbox. I want to read a decode a json file and have its value checked and instantiated at compile time. So I have an effect loadmyfile :: IO MyType. I want to turn it |
| 2020-11-01 22:03:22 | <hoppfull> | into MyType. So I was thinking I need to call $$(runIO loadmyfile) but I get error Expected type: Q (TExp HelloConfig) Actual type: Q HelloConfig. I don't know how to solve this. |
| 2020-11-01 22:04:00 | hackage | bitcoind-rpc 0.2.0.0 - A streamlined interface to bitcoin core using Haskoin types and Servant https://hackage.haskell.org/package/bitcoind-rpc-0.2.0.0 (IanShipman) |
| 2020-11-01 22:05:00 | hackage | bitcoind-regtest 0.2.0.0 - A library for working with bitcoin-core regtest networks https://hackage.haskell.org/package/bitcoind-regtest-0.2.0.0 (IanShipman) |
| 2020-11-01 22:05:12 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-01 22:05:43 | <c_wraith> | hoppfull: if you're on a sufficiently new ghc, https://hackage.haskell.org/package/template-haskell-2.16.0.0/docs/Language-Haskell-TH-Syntax.html#v:liftTyped |
| 2020-11-01 22:07:16 | <c_wraith> | hoppfull: if you're not on a sufficiently new version of GHC, you can combine lift (right above that) with the TExp constructor |
| 2020-11-01 22:07:43 | <koz_> | If I'm trying to push a revision, what does this response from Hackage mean? 'The new x-revision must be 1' |
| 2020-11-01 22:07:49 | <hoppfull> | c_wraith, thank you, I just created a new project and have lts-16.20. I think it's GHC-8.8.2 |
| 2020-11-01 22:08:45 | × | dxld quits (~dxld@2a01:4f8:201:89ff:7479:df6a:7ab8:8305) (Quit: Bye) |
| 2020-11-01 22:09:03 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 2020-11-01 22:09:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2020-11-01 22:09:25 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds) |
| 2020-11-01 22:09:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-11-01 22:10:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-01 22:10:22 | → | dxld joins (~dxld@2a01:4f8:201:89ff:7479:df6a:7ab8:8305) |
| 2020-11-01 22:15:15 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-11-01 22:15:37 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-11-01 22:20:35 | → | bennofs1 joins (~benno@dslb-094-222-054-143.094.222.pools.vodafone-ip.de) |
| 2020-11-01 22:24:18 | × | coot quits (~coot@37.30.60.135.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-11-01 22:28:05 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2020-11-01 22:30:48 | × | elfets quits (~elfets@2002:25c9:1760:0:84de:a283:20:112f) (Read error: Connection reset by peer) |
| 2020-11-01 22:31:21 | → | _xor joins (~xor@74.215.46.133) |
| 2020-11-01 22:32:58 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-01 22:38:19 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-01 22:38:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-01 22:39:09 | <davean> | Tuplanolla: In my experience I can calculate performance as "How fast would the strict version be, ok thats the slowest it can be" |
| 2020-11-01 22:39:40 | → | heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) |
| 2020-11-01 22:39:45 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-01 22:40:08 | <Tuplanolla> | You have never used the lazy state transformer by accident? |
| 2020-11-01 22:40:51 | <davean> | No? |
| 2020-11-01 22:41:23 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-11-01 22:42:23 | <Tuplanolla> | It's really easy to accumulate thunks with it, until you run out of working memory. |
| 2020-11-01 22:43:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-11-01 22:44:11 | × | heebo quits (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2020-11-01 22:48:33 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2020-11-01 22:49:45 | × | chaosmasttter quits (~chaosmast@p200300c4a72dee01c4c235ce0df4f033.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 2020-11-01 22:50:10 | → | nkly joins (~nkly@ip5b40d080.dynamic.kabel-deutschland.de) |
| 2020-11-01 22:50:28 | × | ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 260 seconds) |
| 2020-11-01 22:52:00 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2020-11-01 22:52:09 | → | ski joins (~ski@nc-2504-30.studat.chalmers.se) |
| 2020-11-01 22:52:15 | <dolio> | I accidentally did that once like 15 years ago when I was first learning. Then it hasn't been a serious problem since. |
| 2020-11-01 22:55:17 | <davean> | Also they're *semanticly* different |
| 2020-11-01 22:55:24 | <davean> | so You just can't have the one when you're using the other |
| 2020-11-01 22:55:30 | <davean> | Thats litterly different *meaning* of code |
| 2020-11-01 22:55:47 | <davean> | So sure, if you implimented the Lazy State in strict, it also would perform the same way |
| 2020-11-01 22:55:50 | <davean> | ask for what you mean |
| 2020-11-01 22:55:52 | <davean> | thats ... all? |
All times are in UTC.