| 2021-03-14 00:03:28 +0100 | plutoniix | (~q@node-uj8.pool-125-24.dynamic.totinternet.net) |
| 2021-03-14 00:04:42 +0100 | unyu | (~pyon@unaffiliated/pyon) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-03-14 00:05:01 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-14 00:05:23 +0100 | Tops22 | (~Tobias@dyndsl-095-033-094-082.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-14 00:05:45 +0100 | ajc | (~ajc@69.231.232.79) |
| 2021-03-14 00:06:13 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-14 00:06:38 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-14 00:06:58 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 00:08:41 +0100 | teardown | (~user@gateway/tor-sasl/mrush) |
| 2021-03-14 00:09:02 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-14 00:09:32 +0100 | ajc | (~ajc@69.231.232.79) (Quit: Konversation terminated!) |
| 2021-03-14 00:09:50 +0100 | ajc_ | (~ajc@69.231.232.79) |
| 2021-03-14 00:10:24 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 246 seconds) |
| 2021-03-14 00:11:15 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2021-03-14 00:11:52 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2021-03-14 00:11:58 +0100 | ajc_ | (~ajc@69.231.232.79) (Client Quit) |
| 2021-03-14 00:12:18 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-03-14 00:14:15 +0100 | plutoniix | (~q@node-uj8.pool-125-24.dynamic.totinternet.net) (Ping timeout: 246 seconds) |
| 2021-03-14 00:14:42 +0100 | fuzzypixelz | (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
| 2021-03-14 00:15:20 +0100 | ajc | (~ajc@69.231.232.79) |
| 2021-03-14 00:15:46 +0100 | bergey` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-14 00:15:47 +0100 | plutoniix | (~q@node-uj8.pool-125-24.dynamic.totinternet.net) |
| 2021-03-14 00:16:31 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 2021-03-14 00:19:56 +0100 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-03-14 00:20:33 +0100 | bergey` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-14 00:21:24 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 00:27:12 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-14 00:29:15 +0100 | xsperry | (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-03-14 00:30:03 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Ping timeout: 245 seconds) |
| 2021-03-14 00:30:57 +0100 | Vra | (8077caad@natp-128-119-202-173.wireless.umass.edu) (Quit: Connection closed) |
| 2021-03-14 00:31:55 +0100 | elusive | (~Jeanne-Ka@static-198-54-134-171.cust.tzulo.com) (Quit: Leaving) |
| 2021-03-14 00:36:53 +0100 | lechner | (~lechner@letbox-vps.us-core.com) |
| 2021-03-14 00:49:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-14 00:51:35 +0100 | borne | (~fritjof@200116b86494d20065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2021-03-14 00:52:13 +0100 | unyu | (~pyon@unaffiliated/pyon) |
| 2021-03-14 00:53:25 +0100 | bdixat | (~AdminUser@pool-173-76-103-124.bstnma.fios.verizon.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-03-14 00:58:33 +0100 | hacxman | (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-14 00:58:33 +0100 | sorki | (~sorki@gateway/tor-sasl/sorki) |
| 2021-03-14 00:59:14 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 2021-03-14 00:59:15 +0100 | hacxman | hexo |
| 2021-03-14 00:59:51 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds) |
| 2021-03-14 01:00:29 +0100 | <dmwit> | Huh. You can use . in module aliases when you import. I guess it makes sense, I just never thought to try it before. |
| 2021-03-14 01:00:42 +0100 | <dmwit> | i.e. import qualified Data.ByteString.Lazy as BS.L |
| 2021-03-14 01:01:25 +0100 | SupaYoshii | (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-03-14 01:01:28 +0100 | sorki | srk |
| 2021-03-14 01:02:23 +0100 | <dmwit> | mpickering: Sounds to me like you have a package database that believes it contains unix-2.7.2.2, but somebody has deleted the directory that database is pointing to. Perhaps you have recently been bumping about inside your cabal store? |
| 2021-03-14 01:03:30 +0100 | <dmwit> | koz_: You can usually test this kind of thing yourself using `undefined`. |
| 2021-03-14 01:03:47 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 01:03:54 +0100 | <koz_> | dmwit: Yeah, but it's easier to ask the nice folks in here. |
| 2021-03-14 01:03:55 +0100 | <dmwit> | > let f x = if x then y else () where y = undefined in (f False, f True) |
| 2021-03-14 01:03:57 +0100 | <lambdabot> | ((),*Exception: Prelude.undefined |
| 2021-03-14 01:04:18 +0100 | <dmwit> | Is it actually easier? I think my \bot query is actually shorter than your English query. ^_^ |
| 2021-03-14 01:04:26 +0100 | <koz_> | dmwit: To each their own. |
| 2021-03-14 01:04:39 +0100 | <koz_> | Maybe I'm just too daft to magic up code to test my English-language queries. |
| 2021-03-14 01:04:50 +0100 | dmwit | nods gravely |
| 2021-03-14 01:05:22 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 01:07:04 +0100 | egwor | (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) |
| 2021-03-14 01:08:51 +0100 | SupaYoshi | (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-03-14 01:09:14 +0100 | <hpc> | it's easy to forget sometimes that you can just write haskell |
| 2021-03-14 01:09:20 +0100 | <hpc> | it's not so easy in most other languages |
| 2021-03-14 01:10:28 +0100 | <egwor> | are there chat logs stored? I can't seem to get the tunes.org link to work |
| 2021-03-14 01:11:57 +0100 | motherfsck | (~motherfsc@unaffiliated/motherfsck) (Ping timeout: 264 seconds) |
| 2021-03-14 01:14:13 +0100 | motherfsck | (~motherfsc@unaffiliated/motherfsck) |
| 2021-03-14 01:14:28 +0100 | <egwor> | I wanted to find a chat I was involved in back on May 13th 2020 |
| 2021-03-14 01:16:21 +0100 | LotteM | (54bd53e9@p54bd53e9.dip0.t-ipconnect.de) |
| 2021-03-14 01:16:51 +0100 | <koz_> | I wanna read the Core produced from a particular module. What do I need to call 'cabal build' with to get this? |
| 2021-03-14 01:18:24 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 01:19:38 +0100 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-03-14 01:22:14 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-14 01:24:27 +0100 | bennofs__ | (~quassel@dslb-188-103-037-063.188.103.pools.vodafone-ip.de) |
| 2021-03-14 01:25:19 +0100 | egwor | (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) (Quit: Connection closed) |
| 2021-03-14 01:28:45 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 2021-03-14 01:28:52 +0100 | bennofs_ | (~quassel@dslb-188-106-240-148.188.106.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2021-03-14 01:29:30 +0100 | SupaYoshi | (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-03-14 01:31:11 +0100 | hackage | normalization-insensitive 2.0.2 - Normalization insensitive string comparison https://hackage.haskell.org/package/normalization-insensitive-2.0.2 (ppelleti) |
| 2021-03-14 01:31:12 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 256 seconds) |
| 2021-03-14 01:33:29 +0100 | <koz_> | OK, figured that out. Now a bigger problem - figuring out wtf the dumped core _means_. |
| 2021-03-14 01:35:12 +0100 | SupaYoshi | (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-03-14 01:36:00 +0100 | <slack1256> | koz_: The general tips of `let` bindings doing allocation and `case` driving evaluation are good guides. |
| 2021-03-14 01:36:27 +0100 | <slack1256> | I am no expert but I only read Core to check if my intuition for fusions triggered or not. |
| 2021-03-14 01:37:02 +0100 | <koz_> | slack1256: I have a case of mysterious allocs in some code, would appreciate the oversight of someone who has a clue. |
| 2021-03-14 01:37:09 +0100 | <koz_> | (which I do not) |
| 2021-03-14 01:37:57 +0100 | hodapp | (~hodapp@react-ams-119225.antiddos.solutions) (Ping timeout: 256 seconds) |
| 2021-03-14 01:38:09 +0100 | <slack1256> | I have only done analisys on a per function case. You could post a paste so I could see?. |
| 2021-03-14 01:38:38 +0100 | <koz_> | Sure, one sec. |
| 2021-03-14 01:40:06 +0100 | SupaYoshi | (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-03-14 01:40:36 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving) |
| 2021-03-14 01:40:57 +0100 | <koz_> | slack1256: https://gist.github.com/kozross/ce6c1bff17a1c82f58da1bbdc4d0dc66 |
| 2021-03-14 01:43:23 +0100 | <koz_> | This _should_ be zero-alloc, but it's still allocating somewhat. |
| 2021-03-14 01:43:33 +0100 | <koz_> | I have a profile if you want (with those cost centres) if that'd help. |
| 2021-03-14 01:44:53 +0100 | <slack1256> | Let me read a sec |
| 2021-03-14 01:45:31 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-03-14 01:47:47 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 01:49:06 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-03-14 01:51:58 +0100 | <slack1256> | koz_: Can you upload the profile somewhere? |
| 2021-03-14 01:52:07 +0100 | <slack1256> | I got the core output if you want. |
| 2021-03-14 01:52:31 +0100 | elusive | (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) |
| 2021-03-14 01:52:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-14 01:53:51 +0100 | <slack1256> | I create them with following ghci alias called ghci-core `ghci -ddump-simpl -dsuppress-idinfo -dsuppress-coercions -dsuppress-type-applications -dsuppress-uniques -dsuppress-module-prefixes` |
| 2021-03-14 01:56:08 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 2021-03-14 01:58:22 +0100 | <koz_> | slack1256: Updated the gist with the profile. |
| 2021-03-14 01:58:34 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-14 01:58:42 +0100 | <slack1256> | Nice |
| 2021-03-14 01:58:42 +0100 | <koz_> | I have the core output. |
| 2021-03-14 01:58:47 +0100 | <koz_> | (I just can't make much sense of it) |
| 2021-03-14 01:58:52 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-14 02:01:34 +0100 | SupaYoshi | (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-03-14 02:01:55 +0100 | <slack1256> | koz_: On the profile, there isn't an entry for the `indices` function. |
| 2021-03-14 02:02:14 +0100 | <koz_> | I didn't set a cost centre for it. |
| 2021-03-14 02:02:25 +0100 | <koz_> | I can add one and re-run? |
| 2021-03-14 02:02:30 +0100 | <slack1256> | yeah, sure |
| 2021-03-14 02:02:31 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-14 02:04:24 +0100 | <koz_> | Updated gist with new profile having 'indices' as a cost centre. |
| 2021-03-14 02:04:31 +0100 | <slack1256> | Cool |
| 2021-03-14 02:06:45 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-14 02:06:46 +0100 | fosterite | (~fosterite@071-082-136-216.res.spectrum.com) |
| 2021-03-14 02:07:12 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 02:07:49 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 02:09:09 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-ucvijfuheygbyqkt) |
| 2021-03-14 02:09:12 +0100 | elliott_1 | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 02:09:15 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-14 02:12:42 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2021-03-14 02:12:59 +0100 | fosterite | (~fosterite@071-082-136-216.res.spectrum.com) () |
| 2021-03-14 02:14:41 +0100 | elliott_1 | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-14 02:17:54 +0100 | plutoniix | (~q@node-uj8.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-03-14 02:22:51 +0100 | <slack1256> | That allocation only attributable to `go` is weird. We have 829 entries to that SCC, but it is recursive. The first case on the `go` function also has the attributed memory of evaluating its argument (elemIndices). |
| 2021-03-14 02:22:57 +0100 | <slack1256> | I just thinking outloud. |
| 2021-03-14 02:28:08 +0100 | lewky | (4cba4096@cpe-76-186-64-150.tx.res.rr.com) |
| 2021-03-14 02:29:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 02:29:13 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-14 02:29:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 02:29:28 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-14 02:31:33 +0100 | luke | (~luke@bitnomial/staff/luke) |
| 2021-03-14 02:34:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Ping timeout: 264 seconds) |
| 2021-03-14 02:36:53 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 2021-03-14 02:37:08 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-03-14 02:37:25 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 02:37:56 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-14 02:38:08 +0100 | Tario | (~Tario@200.119.185.246) |
| 2021-03-14 02:40:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 02:40:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 02:42:24 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 02:42:46 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 02:43:45 +0100 | lewky_ | (~lewky@159.65.37.240) |
| 2021-03-14 02:43:52 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 02:45:54 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Client Quit) |
| 2021-03-14 02:45:58 +0100 | lewky_ | (~lewky@159.65.37.240) (Client Quit) |
| 2021-03-14 02:46:20 +0100 | lewky_ | (~lewky@159.65.37.240) |
| 2021-03-14 02:46:32 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 02:48:15 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2021-03-14 02:52:47 +0100 | <koz_> | slack1256: This is why I'm confused. |
| 2021-03-14 02:53:58 +0100 | <koz_> | I assume strictness isn't killing me somehow? |
| 2021-03-14 02:54:05 +0100 | <koz_> | (or lack thereof) |
| 2021-03-14 02:56:13 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 02:57:14 +0100 | lambda-11235 | (~lambda-11@2600:1700:7c70:4600:f419:51eb:6249:5266) |
| 2021-03-14 02:58:32 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-14 02:58:52 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-14 03:00:28 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2021-03-14 03:01:42 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-14 03:03:15 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-14 03:09:49 +0100 | Tario | (~Tario@200.119.185.246) (Read error: Connection reset by peer) |
| 2021-03-14 03:10:34 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-03-14 03:12:31 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-14 03:12:39 +0100 | <slack1256> | I don't think the strictness is affecting. |
| 2021-03-14 03:12:51 +0100 | <koz_> | Me neither, but figured I'd ask. |
| 2021-03-14 03:14:12 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 03:14:47 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-03-14 03:15:46 +0100 | <slack1256> | you can also profile expressions with SCC annotations |
| 2021-03-14 03:16:07 +0100 | <slack1256> | you could put one inside the case and see what the memory only from the case statement it is. |
| 2021-03-14 03:16:35 +0100 | <koz_> | Wait, so where would it go? |
| 2021-03-14 03:21:04 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 265 seconds) |
| 2021-03-14 03:21:11 +0100 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Quit: ZNC - https://znc.in) |
| 2021-03-14 03:21:35 +0100 | _bin | (~bin@2600:1700:10a1:38d0:a1bb:96d6:a6dd:43f2) |
| 2021-03-14 03:22:02 +0100 | <slack1256> | "go sd = case ({-# SCC "inside |
| 2021-03-14 03:22:26 +0100 | <slack1256> | "go sd = case ({-# SCC "insideCase" #-} sd) of" |
| 2021-03-14 03:24:12 +0100 | <koz_> | Ah, OK. |
| 2021-03-14 03:24:18 +0100 | <koz_> | Let me try and see what I get. |
| 2021-03-14 03:25:04 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:41fd:e964:f33c:bb7f) |
| 2021-03-14 03:27:08 +0100 | <koz_> | Doesn't even show up. |
| 2021-03-14 03:27:09 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-tmzskshpdqzcnhax) (Quit: Connection closed for inactivity) |
| 2021-03-14 03:28:26 +0100 | lewky | (4cba4096@cpe-76-186-64-150.tx.res.rr.com) (Quit: Connection closed) |
| 2021-03-14 03:32:55 +0100 | luke | (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2021-03-14 03:33:03 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2021-03-14 03:34:54 +0100 | elusive | (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) (Quit: Leaving) |
| 2021-03-14 03:38:32 +0100 | drbean | (~drbean@TC210-63-209-28.static.apol.com.tw) |
| 2021-03-14 03:41:51 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-14 03:44:35 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-14 03:44:51 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-14 03:46:03 +0100 | xff0x | (~xff0x@2001:1a81:5243:ae00:5e7b:1781:48fd:8ee9) (Ping timeout: 272 seconds) |
| 2021-03-14 03:46:15 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-14 03:47:00 +0100 | <koz_> | I think I'm gonna leave it for now. Maybe someone might spot the issue. |
| 2021-03-14 03:47:08 +0100 | <koz_> | Thanks for the help slack1256! |
| 2021-03-14 03:47:22 +0100 | xff0x | (~xff0x@2001:1a81:527c:ad00:48ed:9caa:8d1f:c9c7) |
| 2021-03-14 03:47:29 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-14 03:47:47 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 2021-03-14 03:48:51 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-03-14 03:49:02 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 03:49:07 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 03:50:54 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.131) (Ping timeout: 246 seconds) |
| 2021-03-14 03:54:03 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2021-03-14 03:55:13 +0100 | ephemera_ | (~E@122.34.1.187) (Ping timeout: 260 seconds) |
| 2021-03-14 03:55:37 +0100 | ephemera_ | (~E@122.34.1.187) |
| 2021-03-14 03:58:32 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-14 03:58:52 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-14 03:59:01 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-14 04:00:44 +0100 | <ntkr> | writing a RIO app and wondering why a `logInfo "Running Server"` will typecheck but `logInfo ("Running " ++ "Server")` fails with `Expected Utf8Builder got [Char]` (or thereabouts) |
| 2021-03-14 04:02:04 +0100 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-03-14 04:02:23 +0100 | <dmj`> | ntkr: {-# LANGUAGE OverloadedStrings #-} |
| 2021-03-14 04:02:41 +0100 | <dmj`> | ntkr: and use <>, not ++ |
| 2021-03-14 04:04:36 +0100 | <ntkr> | wow, i have a lot to learn. I assumed that OverloadedStrings would convert the String that i constructed to the right of the `$` before checking it as an arg of logInfo. |
| 2021-03-14 04:05:00 +0100 | <ntkr> | i'm assuming <> is part of the builder api? |
| 2021-03-14 04:06:38 +0100 | LotteM | (54bd53e9@p54bd53e9.dip0.t-ipconnect.de) () |
| 2021-03-14 04:07:19 +0100 | <ntkr> | dmj`: monoid api, cool. Thanks for the quick response! |
| 2021-03-14 04:07:53 +0100 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-14 04:07:53 +0100 | finn_elija | Guest95420 |
| 2021-03-14 04:07:53 +0100 | FinnElija | finn_elija |
| 2021-03-14 04:11:42 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 2021-03-14 04:12:15 +0100 | Guest95420 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-14 04:12:52 +0100 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-03-14 04:13:54 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-14 04:19:58 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9) |
| 2021-03-14 04:21:27 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 04:23:23 +0100 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-03-14 04:23:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-14 04:26:35 +0100 | alx741 | (~alx741@181.196.69.27) (Quit: alx741) |
| 2021-03-14 04:34:07 +0100 | theDon | (~td@muedsl-82-207-238-134.citykom.de) (Ping timeout: 276 seconds) |
| 2021-03-14 04:34:08 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-03-14 04:35:14 +0100 | theDon | (~td@94.134.91.134) |
| 2021-03-14 04:37:00 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-14 04:37:56 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 04:38:12 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 04:41:02 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-03-14 04:42:42 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 2021-03-14 04:42:45 +0100 | soft-warm | (44695313@ip68-105-83-19.sd.sd.cox.net) |
| 2021-03-14 04:43:03 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 04:47:42 +0100 | soft-warm | (44695313@ip68-105-83-19.sd.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-03-14 04:47:50 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 2021-03-14 04:50:54 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-14 04:51:41 +0100 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-03-14 04:56:56 +0100 | gitgoood | (~gitgood@80-44-12-39.dynamic.dsl.as9105.com) |
| 2021-03-14 04:58:33 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-14 04:58:53 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-14 04:59:58 +0100 | gitgood | (~gitgood@80-44-12-84.dynamic.dsl.as9105.com) (Ping timeout: 260 seconds) |
| 2021-03-14 05:00:08 +0100 | cortexman | (4ba3f30c@75-163-243-12.clsp.qwest.net) |
| 2021-03-14 05:00:13 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 05:02:18 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-03-14 05:03:39 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 05:04:09 +0100 | SaitamaPlus | (uid272474@gateway/web/irccloud.com/x-jbfyoygjgujgyaip) (Quit: Connection closed for inactivity) |
| 2021-03-14 05:08:51 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-14 05:11:39 +0100 | rocket_man | (~rocket_ma@165.166.32.50) |
| 2021-03-14 05:14:33 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 2021-03-14 05:16:41 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-03-14 05:17:38 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-14 05:18:40 +0100 | <remal> | [haskell language server question] hello, I was wondering if hie.yaml can be setup as a fallback when it is not present. |
| 2021-03-14 05:21:51 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) (Quit: Lost terminal) |
| 2021-03-14 05:22:13 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-14 05:25:54 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) (Client Quit) |
| 2021-03-14 05:33:27 +0100 | Lycurgus | (~niemand@98.4.114.199) |
| 2021-03-14 05:33:30 +0100 | loli | (~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0.1) |
| 2021-03-14 05:37:37 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-iwavjdaunpjxrjlx) (Quit: Connection closed for inactivity) |
| 2021-03-14 05:38:02 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-03-14 05:38:16 +0100 | <dmj`> | ntkr: when you have a string literal defined top-level, using (<>) is best because (++) is specialized to String (afaik), so GHC should pick up the right instance (be it Text, String, or what have you) |
| 2021-03-14 05:40:11 +0100 | soft-warm | (44695313@ip68-105-83-19.sd.sd.cox.net) |
| 2021-03-14 05:41:07 +0100 | DirefulSalt | (~DirefulSa@109.201.152.181) |
| 2021-03-14 05:44:28 +0100 | <cortexman> | yes i was able to prove it https://github.com/chalice-dev/awesome-chalice |
| 2021-03-14 05:46:21 +0100 | cortexman | (4ba3f30c@75-163-243-12.clsp.qwest.net) (K-Lined) |
| 2021-03-14 05:47:53 +0100 | m2rrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-14 05:49:48 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 05:50:57 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 246 seconds) |
| 2021-03-14 05:54:00 +0100 | <nitrix> | They posted the same spam on all the channels I'm on. |
| 2021-03-14 05:54:35 +0100 | <dmj`> | will father Musk bless us |
| 2021-03-14 05:54:42 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2021-03-14 05:57:07 +0100 | Wuzzy | (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 2021-03-14 06:00:03 +0100 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 260 seconds) |
| 2021-03-14 06:00:53 +0100 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
| 2021-03-14 06:01:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 06:01:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 06:03:42 +0100 | m2rrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving) |
| 2021-03-14 06:09:33 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 06:14:38 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 2021-03-14 06:16:08 +0100 | thunderrd | (~thunderrd@183.182.115.72) (Ping timeout: 272 seconds) |
| 2021-03-14 06:16:47 +0100 | justan0theruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 2021-03-14 06:19:40 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 06:20:41 +0100 | hackage | cabal-cache 1.0.3.0 - CI Assistant for Haskell projects https://hackage.haskell.org/package/cabal-cache-1.0.3.0 (haskellworks) |
| 2021-03-14 06:20:42 +0100 | soft-warm | (44695313@ip68-105-83-19.sd.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-03-14 06:22:48 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-14 06:23:18 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-14 06:26:52 +0100 | Lycurgus | (~niemand@98.4.114.199) (Quit: Exeunt) |
| 2021-03-14 06:28:19 +0100 | jespada | (~jespada@90.254.243.187) |
| 2021-03-14 06:29:24 +0100 | thunderrd | (~thunderrd@183.182.111.238) |
| 2021-03-14 06:34:42 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 06:36:25 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 06:39:15 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-14 06:39:15 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-14 06:39:34 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-03-14 06:40:40 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.57.186) |
| 2021-03-14 06:40:44 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:41fd:e964:f33c:bb7f) (Remote host closed the connection) |
| 2021-03-14 06:43:40 +0100 | heck-to-the-gnom | < https://matrix.org/_matrix/media/r0/download/matrix.org/tmqdYKWbcaWbWvfIefeRmIYv/message.txt > |
| 2021-03-14 06:43:45 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-14 06:43:59 +0100 | lambda-11235 | (~lambda-11@2600:1700:7c70:4600:f419:51eb:6249:5266) (Max SendQ exceeded) |
| 2021-03-14 06:44:35 +0100 | <heck-to-the-gnom> | well, I guess you could remove 8 whitespace from the first, while only 5 from the second, if code golf was the subject |
| 2021-03-14 06:45:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 06:45:46 +0100 | lambda-11235 | (~lambda-11@2600:1700:7c70:4600:f419:51eb:6249:5266) |
| 2021-03-14 06:46:10 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 260 seconds) |
| 2021-03-14 06:46:29 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.57.186) (Ping timeout: 265 seconds) |
| 2021-03-14 06:46:41 +0100 | mozzarella | (~sam@unaffiliated/sam113101) (Read error: Connection reset by peer) |
| 2021-03-14 06:51:14 +0100 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-03-14 06:54:12 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-14 06:55:23 +0100 | Guest29429 | (~mauricio@host-181-39-120-169.netlife.ec) |
| 2021-03-14 06:57:00 +0100 | Guest29429 | (~mauricio@host-181-39-120-169.netlife.ec) () |
| 2021-03-14 06:57:01 +0100 | rocket_man | (~rocket_ma@165.166.32.50) (Remote host closed the connection) |
| 2021-03-14 06:57:49 +0100 | rocket_man | (~rocket_ma@165.166.32.50) |
| 2021-03-14 07:00:21 +0100 | debclair | (~mauricio@host-181-39-120-169.netlife.ec) |
| 2021-03-14 07:00:43 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-14 07:01:37 +0100 | debclair | (~mauricio@host-181-39-120-169.netlife.ec) () |
| 2021-03-14 07:01:41 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-14 07:02:09 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:615e:a496:893f:2a8e) |
| 2021-03-14 07:02:32 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-14 07:02:56 +0100 | russruss40 | (~russruss@my.russellmcc.com) |
| 2021-03-14 07:04:22 +0100 | jokester_ | jokester |
| 2021-03-14 07:07:33 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 245 seconds) |
| 2021-03-14 07:09:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 07:09:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 07:10:01 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-14 07:11:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 07:11:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 07:11:48 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-14 07:11:49 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:615e:a496:893f:2a8e) (Remote host closed the connection) |
| 2021-03-14 07:12:09 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 07:12:49 +0100 | <koz_> | heck-to-the-gnom: Don't even think about performance. |
| 2021-03-14 07:12:59 +0100 | <koz_> | First, you can't tell; second, you'll be wrong anyway. |
| 2021-03-14 07:13:04 +0100 | <koz_> | Go for readability always. |
| 2021-03-14 07:13:15 +0100 | <koz_> | Signed, a person who just sank most of their day chasing a small allocation bug. |
| 2021-03-14 07:14:03 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 07:16:43 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-14 07:17:02 +0100 | xff0x | (~xff0x@2001:1a81:527c:ad00:48ed:9caa:8d1f:c9c7) (Ping timeout: 260 seconds) |
| 2021-03-14 07:17:43 +0100 | xff0x | (~xff0x@2001:1a81:527c:ad00:3e:1651:56e6:1c9) |
| 2021-03-14 07:21:18 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-03-14 07:21:34 +0100 | xelxebar_ | (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds) |
| 2021-03-14 07:21:51 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-yuuljllgcbbnaiwc) (Quit: Connection closed for inactivity) |
| 2021-03-14 07:22:32 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 07:24:54 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 07:27:33 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-14 07:28:24 +0100 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-14 07:28:59 +0100 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-03-14 07:30:21 +0100 | DataComputist | (~lumeng@50.43.26.251) (Ping timeout: 246 seconds) |
| 2021-03-14 07:32:03 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-03-14 07:32:18 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:9912:8897:6dd2:f14) |
| 2021-03-14 07:37:14 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:9912:8897:6dd2:f14) (Ping timeout: 264 seconds) |
| 2021-03-14 07:38:26 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-03-14 07:39:11 +0100 | hackage | free-algebras 0.1.0.1 - Free algebras https://hackage.haskell.org/package/free-algebras-0.1.0.1 (coot) |
| 2021-03-14 07:39:44 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-14 07:41:22 +0100 | nbloomf | (~nbloomf@70.182.116.249) |
| 2021-03-14 07:44:50 +0100 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-14 07:45:17 +0100 | rocket_man | (~rocket_ma@165.166.32.50) (Quit: Quit) |
| 2021-03-14 07:46:11 +0100 | hackage | pandoc-csv2table 1.0.9 - Convert CSV to Pandoc Table Markdown https://hackage.haskell.org/package/pandoc-csv2table-1.0.9 (vmandela) |
| 2021-03-14 07:49:48 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-03-14 07:50:39 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 07:51:26 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-14 07:53:42 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 2021-03-14 07:54:28 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 07:55:12 +0100 | magnuscake | (~magnuscak@87-121-92-61.dyn.launtel.net.au) |
| 2021-03-14 07:55:28 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2021-03-14 07:57:20 +0100 | toorevitimirp | (~tooreviti@117.182.180.50) |
| 2021-03-14 07:57:51 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-14 07:59:28 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 265 seconds) |
| 2021-03-14 08:01:40 +0100 | bgamari_ | (~bgamari@72.65.102.227) |
| 2021-03-14 08:02:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 08:02:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 08:02:46 +0100 | bgamari | (~bgamari@72.65.101.101) (Ping timeout: 276 seconds) |
| 2021-03-14 08:04:21 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Remote host closed the connection) |
| 2021-03-14 08:07:08 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-14 08:11:28 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-14 08:13:38 +0100 | magnuscake | (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Ping timeout: 260 seconds) |
| 2021-03-14 08:14:06 +0100 | timCF | (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Ping timeout: 256 seconds) |
| 2021-03-14 08:19:31 +0100 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-eyjzukijciociqrd) (Quit: Connection closed for inactivity) |
| 2021-03-14 08:23:12 +0100 | forgottenone | (~forgotten@176.42.24.172) |
| 2021-03-14 08:24:19 +0100 | <gentauro> | I must admit that I have used this one, once or twice -> `((g .) .) . f` https://ubikium.gitlab.io/portfolio/2021-03-13-wait-a-moment.html |
| 2021-03-14 08:24:43 +0100 | raym | (~ray@45.64.220.113) |
| 2021-03-14 08:25:26 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 08:25:53 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-14 08:28:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 2021-03-14 08:34:11 +0100 | hackage | caps 0.1 - Monadic capabilities with late binding https://hackage.haskell.org/package/caps-0.1 (int_index) |
| 2021-03-14 08:36:35 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-14 08:37:04 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-03-14 08:37:24 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 08:39:08 +0100 | arrowsvc_ | (~arr@2.93.163.35) |
| 2021-03-14 08:40:00 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2021-03-14 08:40:53 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 08:41:49 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-14 08:43:41 +0100 | hackage | rescue 0.4.1 - More understandable exceptions https://hackage.haskell.org/package/rescue-0.4.1 (expede) |
| 2021-03-14 08:46:13 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 08:50:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 08:50:56 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2021-03-14 08:52:07 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-14 08:52:08 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 2021-03-14 08:53:06 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 08:57:30 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 2021-03-14 08:58:43 +0100 | unyu | (~pyon@unaffiliated/pyon) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-03-14 09:02:27 +0100 | magnuscake | (~magnuscak@87-121-92-61.dyn.launtel.net.au) |
| 2021-03-14 09:08:01 +0100 | hiptobecubic | (~john@unaffiliated/hiptobecubic) |
| 2021-03-14 09:10:48 +0100 | timCF | (~i.tkachuk@m91-129-99-43.cust.tele2.ee) |
| 2021-03-14 09:14:34 +0100 | <curiousgay> | `take 1000 ['\0'..]` alright, this breaks assumption that Char is 8-bit |
| 2021-03-14 09:14:49 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 09:15:11 +0100 | <c_wraith> | why would any sort of language from the 90s use 8-bit characters? |
| 2021-03-14 09:15:53 +0100 | <curiousgay> | c_wraith: to save some memory and because in ASCII using more than 8-bit doesn't make any sense? |
| 2021-03-14 09:16:12 +0100 | <c_wraith> | people in the 90s were aware of countries that use other characters |
| 2021-03-14 09:16:48 +0100 | <curiousgay> | but Haskell's Char are ASCII-only, aren't they? |
| 2021-03-14 09:16:53 +0100 | <koz_> | curiousgay: No. |
| 2021-03-14 09:16:57 +0100 | <koz_> | What gave you that idea? |
| 2021-03-14 09:17:12 +0100 | <curiousgay> | because I didn't see them being UTF |
| 2021-03-14 09:17:21 +0100 | <koz_> | Look up the docs in base for Char. |
| 2021-03-14 09:17:26 +0100 | <c_wraith> | they're not UTF |
| 2021-03-14 09:17:28 +0100 | <koz_> | It explains exactly what they are there. |
| 2021-03-14 09:17:29 +0100 | <c_wraith> | they're characters. |
| 2021-03-14 09:18:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 09:18:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 09:19:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 09:19:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 09:19:27 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-14 09:19:47 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2021-03-14 09:22:03 +0100 | bitmagie | (~Thunderbi@200116b8062714004dd6871dfade2055.dip.versatel-1u1.de) |
| 2021-03-14 09:22:12 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 09:22:28 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-14 09:24:31 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 09:25:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-14 09:26:13 +0100 | <curiousgay> | koz_: well, they say Char represents Unicode https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base-4.15.0.0/Data-Char.html |
| 2021-03-14 09:26:39 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Read error: Connection reset by peer) |
| 2021-03-14 09:26:54 +0100 | <koz_> | Unicode code points, more precisely. |
| 2021-03-14 09:27:00 +0100 | <koz_> | This doesn't contradict anything I said. |
| 2021-03-14 09:27:46 +0100 | <curiousgay> | alright |
| 2021-03-14 09:28:17 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2021-03-14 09:28:23 +0100 | malumore | (~malumore@151.62.115.237) |
| 2021-03-14 09:28:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 09:29:00 +0100 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 246 seconds) |
| 2021-03-14 09:31:34 +0100 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2021-03-14 09:32:41 +0100 | hackage | conferer-aeson 1.1.0.1 - conferer's source for reading json files https://hackage.haskell.org/package/conferer-aeson-1.1.0.1 (ludat) |
| 2021-03-14 09:32:58 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-14 09:33:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 2021-03-14 09:35:37 +0100 | dain | (~dain@mobile-166-170-34-1.mycingular.net) |
| 2021-03-14 09:38:01 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-03-14 09:39:01 +0100 | siers | (~ij@2a03:b0c0:1:e0::366:f001) (Changing host) |
| 2021-03-14 09:39:01 +0100 | siers | (~ij@NixOS/user/siers) |
| 2021-03-14 09:39:02 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 265 seconds) |
| 2021-03-14 09:42:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 09:42:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 09:42:53 +0100 | magnuscake | (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Ping timeout: 260 seconds) |
| 2021-03-14 09:43:52 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Remote host closed the connection) |
| 2021-03-14 09:44:18 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-14 09:44:28 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:ccec:b748:42d2:7842) |
| 2021-03-14 09:46:14 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 09:47:11 +0100 | hackage | Win32 2.12.0.0 - A binding to Windows Win32 API. https://hackage.haskell.org/package/Win32-2.12.0.0 (TamarChristina) |
| 2021-03-14 09:48:35 +0100 | nbloomf | (~nbloomf@70.182.116.249) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-14 09:48:59 +0100 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-14 09:49:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-14 09:53:41 +0100 | hackage | futhark 0.19.2 - An optimising compiler for a functional, array-oriented language. https://hackage.haskell.org/package/futhark-0.19.2 (TroelsHenriksen) |
| 2021-03-14 09:53:41 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:ccec:b748:42d2:7842) (Remote host closed the connection) |
| 2021-03-14 09:54:03 +0100 | <ephemient> | curiousgay: Char being 8-bit or 32-bit makes no difference in space usage for most Haskell programs using String, as type String = [Char] (so all the chars are individual objects on the heap, and and all heap objects have a minimum size) |
| 2021-03-14 09:56:12 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-14 09:56:40 +0100 | borne | (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-14 09:56:42 +0100 | <ephemient> | @hackage text-utf8 has a packed UTF-8 representation can use less memory than text's Data.Text which is packed UTF-16, but either way it's significantly different from String |
| 2021-03-14 09:56:42 +0100 | <lambdabot> | https://hackage.haskell.org/package/text-utf8 has a packed UTF-8 representation can use less memory than text's Data.Text which is packed UTF-16, but either way it's significantly different from |
| 2021-03-14 09:56:43 +0100 | <lambdabot> | String |
| 2021-03-14 09:57:03 +0100 | <ephemient> | ... I didn't expect lambdabot to just concat like that, but ok |
| 2021-03-14 09:57:43 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-14 10:06:18 +0100 | alexelcu | (~alexelcu@142.93.180.198) (Remote host closed the connection) |
| 2021-03-14 10:07:27 +0100 | pehjota | (~pehjota@37.120.211.188) (Remote host closed the connection) |
| 2021-03-14 10:08:15 +0100 | fendor | (~fendor@91.141.1.110.wireless.dyn.drei.com) |
| 2021-03-14 10:09:33 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 264 seconds) |
| 2021-03-14 10:11:38 +0100 | hexfive | (~hexfive@50.35.83.177) |
| 2021-03-14 10:12:59 +0100 | teardown | (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 2021-03-14 10:13:25 +0100 | teardown | (~user@gateway/tor-sasl/mrush) |
| 2021-03-14 10:13:41 +0100 | drbean | (~drbean@TC210-63-209-28.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-14 10:13:50 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-14 10:15:22 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 256 seconds) |
| 2021-03-14 10:15:52 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-03-14 10:17:12 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-14 10:23:18 +0100 | <curiousgay> | ephemient: right, on C side they are `struct String {char c; struct String *next}` where sizeof(struct String) = sizeof(void*) * 2, so on 32-bit machines one character consumes 8 bytes and on 64-bit ones that's 16 bytes |
| 2021-03-14 10:24:08 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-03-14 10:24:17 +0100 | <curiousgay> | that actually gave me a bad first impression about Haskell because I enjoy low level programming, so I already knew how lists work |
| 2021-03-14 10:24:18 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-14 10:24:50 +0100 | aggin | (~ecm@103.88.87.37) |
| 2021-03-14 10:26:42 +0100 | <curiousgay> | size of pointer is larger than size of char, but struct needs all elements to be of the same size |
| 2021-03-14 10:26:59 +0100 | <ephemient> | no, struct does not. but it does require alignment |
| 2021-03-14 10:27:11 +0100 | <ephemient> | that's not quite how it works in Haskell runtime either, it's actually worse |
| 2021-03-14 10:28:18 +0100 | <ADG1089__> | what are phantom types? |
| 2021-03-14 10:28:36 +0100 | <mikoto-chan> | https://dpaste.com/2BWJF66FX |
| 2021-03-14 10:28:46 +0100 | <mikoto-chan> | Hmmm ... this was what I meant last time |
| 2021-03-14 10:28:48 +0100 | <curiousgay> | if strings in Haskell would be arrays from the beginning, I guess that would prevent list comprehensions to work on them |
| 2021-03-14 10:29:05 +0100 | <mikoto-chan> | I tried to install a package globally to test a library but no GHCi doesn't work |
| 2021-03-14 10:29:33 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-03-14 10:30:21 +0100 | <Rembane> | curiousgay: But then Haskell could have array comprehensions, just like Python does. |
| 2021-03-14 10:30:21 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 10:30:25 +0100 | <ephemient> | curiousgay: closer to `union List { struct { int tag; void *head; union List *tail; } cons; struct { int tag; } nil; }`, where head points to *another* heap object that would be a Char in the case of String, plus a few other ways to represent thunks etc. |
| 2021-03-14 10:31:01 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Remote host closed the connection) |
| 2021-03-14 10:31:06 +0100 | <curiousgay> | guh |
| 2021-03-14 10:31:37 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-14 10:32:13 +0100 | <ephemient> | curiousgay: can you think of a way to make Array structurally lazy? IMO that's the most important part of List - not its use as a data structure, although that's convenient, but using it to build control flow |
| 2021-03-14 10:32:31 +0100 | asicia | (~asdfasdfa@86.100.110.212) |
| 2021-03-14 10:33:09 +0100 | <ephemient> | and Haskell 98 does have arrays, they're just not convenient to use |
| 2021-03-14 10:34:18 +0100 | <ephemient> | well that and they were still boxed, so you're saving the cost of the cons cells but the chars are still on the heap... we do have multiple packed text types now though |
| 2021-03-14 10:34:26 +0100 | bwe_ | (~bwe@2a01:4f8:1c1c:4878::2) (Quit: leaving) |
| 2021-03-14 10:34:35 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 240 seconds) |
| 2021-03-14 10:34:37 +0100 | <curiousgay> | ephemient: that's really hard, I'm learning Haskell (beginner), I'm not even sure Go's proverb "make zero value useful" will help here |
| 2021-03-14 10:35:30 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-14 10:35:30 +0100 | <curiousgay> | nah, that proverb is inadequate here |
| 2021-03-14 10:37:28 +0100 | <asicia> | I'm trying to solve an exercise that asks me to create a function that generates infinate fibonacci sequence only using list comprehension - fib :: [Integer]. I'm assuming creating an inlined recursive function with `where` would be cheating. Any tips for possible strategies? |
| 2021-03-14 10:38:15 +0100 | <asicia> | I've been thinking about this for a few hours, but can't come up with anything |
| 2021-03-14 10:39:03 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-14 10:39:38 +0100 | <tomsmeding> | > let fib = 1 : 1 : zipWith (+) fib (tail fib) in take 20 fib |
| 2021-03-14 10:39:40 +0100 | <lambdabot> | [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765] |
| 2021-03-14 10:39:45 +0100 | bwe | (~bwe@unaffiliated/bwe) |
| 2021-03-14 10:39:58 +0100 | <tomsmeding> | asicia: not a list comprehension, but this is a "standard" trick; maybe you can get inspiration from it? |
| 2021-03-14 10:40:09 +0100 | <asicia> | thanks, i will try |
| 2021-03-14 10:40:11 +0100 | <tomsmeding> | or perhaps they're asking for something different, I don't know |
| 2021-03-14 10:40:45 +0100 | aggin | (~ecm@103.88.87.37) (Quit: WeeChat 3.0.1) |
| 2021-03-14 10:40:56 +0100 | <Rembane> | asicia: Are you only allowed to use a list comprehension, nothing else at all? |
| 2021-03-14 10:41:06 +0100 | <asicia> | the author did mention zip and tail in the tips section |
| 2021-03-14 10:42:13 +0100 | <tomsmeding> | ah yes, that sounds like a variation on the version I showed |
| 2021-03-14 10:42:33 +0100 | <asicia> | great, i will try to crack it somehow |
| 2021-03-14 10:42:44 +0100 | <curiousgay> | ephemient: well, I think for lazyness internal representation of array needs to be realloc'ed (twice amount of its previous size, I remember seeing that in Go's internal implementation of slices) and there needs to be an integer that will increment by 1 each time a new element is calculated, however this needs adjustments for concurrent needs |
| 2021-03-14 10:42:52 +0100 | <Rembane> | tomsmeding: But how? A list comprehension is kinda flat, and unrecursive to its nature, or have I missed something here? |
| 2021-03-14 10:43:11 +0100 | hackage | Decimal 0.5.2 - Decimal numbers with variable precision https://hackage.haskell.org/package/Decimal-0.5.2 (PaulJohnson) |
| 2021-03-14 10:43:44 +0100 | <tomsmeding> | > [x | let x = 42] -- Rembane |
| 2021-03-14 10:43:46 +0100 | <lambdabot> | [42] |
| 2021-03-14 10:43:50 +0100 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2021-03-14 10:44:10 +0100 | <tomsmeding> | but, like, if the teacher suggests using zip and tail |
| 2021-03-14 10:44:17 +0100 | <ephemient> | > [round (((1 + sqrt 5) / 2) ^ i - ((1 - sqrt 5) / 2) ^ i) / sqrt 5 | i <- [0..]] -- I'm certain this is not what they want... it gets inaccurate too |
| 2021-03-14 10:44:19 +0100 | <lambdabot> | error: |
| 2021-03-14 10:44:19 +0100 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M197298689765... |
| 2021-03-14 10:44:19 +0100 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2021-03-14 10:44:26 +0100 | <Rembane> | tomsmeding: That's true, but it feels like cheating. :) |
| 2021-03-14 10:44:32 +0100 | <tomsmeding> | Rembane: yes lol |
| 2021-03-14 10:44:41 +0100 | <Rembane> | ephemient: Is that the closed form of the Fibonacci series? |
| 2021-03-14 10:44:44 +0100 | <curiousgay> | Rembane: I don't know what Python actually has, when I told on interview I used two-dimentional array to represent a plane they asked me "what is that?" and they didn't understand my explanations because I didn't bother saying "list of lists" |
| 2021-03-14 10:44:55 +0100 | <ephemient> | Rembane, one of the closed forms yes |
| 2021-03-14 10:44:58 +0100 | <tomsmeding> | ephemient: can remobe that ((1 - sqrt 5) / 2) ^ i term if you're rounding |
| 2021-03-14 10:45:03 +0100 | malumore | (~malumore@151.62.115.237) (Ping timeout: 245 seconds) |
| 2021-03-14 10:45:11 +0100 | <tomsmeding> | Rembane: Binet's formula |
| 2021-03-14 10:45:30 +0100 | <Rembane> | curiousgay: It has list comprehensions, but in Python a list is an array. [x*2 for x in range(10)] <- how to double some numbers in an array in Python using a list comprehension. |
| 2021-03-14 10:45:49 +0100 | <Rembane> | ephemient, tomsmeding: It's beautiful and absolutely horrible at the same time. :) |
| 2021-03-14 10:46:33 +0100 | <ephemient> | tomsmeding: you're right, just round works. I thought I needed it for the 0th case, but forgot that / sqrt 5 brings the error down small enough |
| 2021-03-14 10:46:41 +0100 | hackage | instana-haskell-trace-sdk 0.6.2.0 - SDK for adding custom Instana tracing support to Haskell applications. https://hackage.haskell.org/package/instana-haskell-trace-sdk-0.6.2.0 (basti1302) |
| 2021-03-14 10:46:51 +0100 | <ephemient> | the matrix multiplication form can be done accurately at least |
| 2021-03-14 10:48:33 +0100 | MoeEl | (62a7e21a@ip98-167-226-26.ph.ph.cox.net) |
| 2021-03-14 10:48:40 +0100 | <tomsmeding> | > map snd (iterate (\(a,b) -> (b,a+b)) (0,1)) |
| 2021-03-14 10:48:43 +0100 | <lambdabot> | [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,17... |
| 2021-03-14 10:50:03 +0100 | <ephemient> | @where pristine.hs |
| 2021-03-14 10:50:03 +0100 | <lambdabot> | I know nothing about pristine.hs. |
| 2021-03-14 10:50:06 +0100 | <MoeEl> | I tried to do heapsort in Haskell, 3 days after learning it, now I have gray hair |
| 2021-03-14 10:50:14 +0100 | <ephemient> | eh, I forgot if lambdabot imports Linear |
| 2021-03-14 10:50:21 +0100 | <Rembane> | MoeEl: What gives you gray hairs? Where do you get stuck? |
| 2021-03-14 10:50:26 +0100 | <ephemient> | :t Linear.Matrix.M22 |
| 2021-03-14 10:50:27 +0100 | <lambdabot> | error: |
| 2021-03-14 10:50:27 +0100 | <lambdabot> | Not in scope: data constructor ‘Linear.Matrix.M22’ |
| 2021-03-14 10:50:27 +0100 | <lambdabot> | No module named ‘Linear.Matrix’ is imported. |
| 2021-03-14 10:51:40 +0100 | malumore | (~malumore@151.62.115.237) |
| 2021-03-14 10:52:01 +0100 | <MoeEl> | Not really stuck. I got it done, but it’s so inefficient because of the immutability of lists. I looked up MArray but it seems horrible. Then just learned about the vector package, so I think that will be my next experiment |
| 2021-03-14 10:52:29 +0100 | <Rembane> | MoeEl: How is it inefficient? |
| 2021-03-14 10:53:34 +0100 | <tomsmeding> | Rembane: heapsort is defined in terms of swapping operations on an array |
| 2021-03-14 10:54:22 +0100 | <MoeEl> | Rembane anytime I need to swap two elements I have to construct a new list, for now I’m using drop and take which is O(n) when swapping is supposed to be O(1) |
| 2021-03-14 10:55:03 +0100 | <ephemient> | array and vector have similar operations, vector is more ergonomic to use in lots of ways though |
| 2021-03-14 10:55:22 +0100 | qih | (~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: leaving) |
| 2021-03-14 10:55:32 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-hxnrioewzbkzbjta) |
| 2021-03-14 10:55:32 +0100 | MoeEl | (62a7e21a@ip98-167-226-26.ph.ph.cox.net) (Quit: Connection closed) |
| 2021-03-14 10:58:49 +0100 | MoeEl | (62a7e21a@ip98-167-226-26.ph.ph.cox.net) |
| 2021-03-14 10:59:28 +0100 | <MoeEl> | Got disconnected. Hope I didn’t miss any responses |
| 2021-03-14 10:59:34 +0100 | hiptobecubic | (~john@unaffiliated/hiptobecubic) (Ping timeout: 260 seconds) |
| 2021-03-14 10:59:51 +0100 | <tomsmeding> | you didn't :) |
| 2021-03-14 11:00:38 +0100 | <tomsmeding> | but yeah Data.Vector.Mutable may be somewhat easier to use than Data.Array.MArray, but they give mostly the same operations |
| 2021-03-14 11:01:11 +0100 | <MoeEl> | Any top book recommendations in this channel? |
| 2021-03-14 11:01:23 +0100 | <tomsmeding> | 'vector' is special-cased on single-dimensional arrays, whereas 'array' allows any instance of Ix as a key (which includes Int, producing single-dimensional arrays) |
| 2021-03-14 11:02:02 +0100 | <curiousgay> | ephemient: have you seen my idea about how to make arrays lazy? I think it's naive, but if it's not and it can be used to represent lists internally without significant tradeoffs in memory and performance, maintainers will have to carefully restructure runtime (I know how restructuring can be hard) |
| 2021-03-14 11:02:09 +0100 | <curiousgay> | s/about/above/ |
| 2021-03-14 11:02:26 +0100 | xff0x | (~xff0x@2001:1a81:527c:ad00:3e:1651:56e6:1c9) (Ping timeout: 264 seconds) |
| 2021-03-14 11:02:45 +0100 | hiptobecubic | (~john@unaffiliated/hiptobecubic) |
| 2021-03-14 11:02:56 +0100 | xff0x | (~xff0x@2001:1a81:527c:ad00:2731:c024:969b:283c) |
| 2021-03-14 11:03:28 +0100 | <MoeEl> | Maybe I’m thinking it wrong but I liked that you can create a vector from a list. If you worked with Python it’s kinda similar to most packages like numpy or pandas. The syntax for constructing arrays is very prohibitive to me |
| 2021-03-14 11:04:08 +0100 | <ephemient> | curiousgay: I think you're looking at a very small subset of what List is used for |
| 2021-03-14 11:04:56 +0100 | <ephemient> | curiousgay: (:) means we can cheaply discard any initial portion, have multiple lists share the same tail, have a list use its own tail... like the `fib = 0 : 1 : zipWith (+) fib (tail fibs)` example just now |
| 2021-03-14 11:04:58 +0100 | <curiousgay> | ephemient: and you are right, because I am reading tutorial without exercises that introduces basics |
| 2021-03-14 11:05:52 +0100 | <tomsmeding> | MoeEl: what about https://hackage.haskell.org/package/array-0.5.4.0/docs/Data-Array-MArray.html#v:newListArray ? |
| 2021-03-14 11:06:11 +0100 | <tomsmeding> | fromList' l = newListArray (0, length l - 1) l |
| 2021-03-14 11:06:14 +0100 | lambda-11235 | (~lambda-11@2600:1700:7c70:4600:f419:51eb:6249:5266) (Quit: Bye) |
| 2021-03-14 11:06:31 +0100 | <tomsmeding> | (which produces the result in a monad, of course, because mutable arrays; the non-mutable version doesn't have monads) |
| 2021-03-14 11:06:38 +0100 | <ephemient> | it is possible to build something like an lazy infinite Sequence with O(log n) indexed access, but that doesn't strike me as particularly useful |
| 2021-03-14 11:08:20 +0100 | <ephemient> | (I mean, it has its uses; that's how some Haskell memoization libraries work. but it doesn't have as many general uses as [] I believe) |
| 2021-03-14 11:08:33 +0100 | <MoeEl> | I wish they had some examples .. I don’t know what monads are yet 😁 |
| 2021-03-14 11:09:20 +0100 | <tomsmeding> | MoeEl: mutable arrays using 'vector' will also use monads :p |
| 2021-03-14 11:09:35 +0100 | <curiousgay> | ephemient: your example with fibonacci reminds me Rust's tutorial that tells how to create a structure that'll be evaluated lazingly (not hard to translate to C), I think fib function can implicitly have a global variable that will be updated when needed |
| 2021-03-14 11:09:47 +0100 | <tomsmeding> | mutable things in haskell have to use monads in general |
| 2021-03-14 11:10:19 +0100 | <curiousgay> | implicitly - I mean how compiler decides internally |
| 2021-03-14 11:10:48 +0100 | <MoeEl> | 😭 |
| 2021-03-14 11:10:58 +0100 | <tomsmeding> | curiousgay: such a structure would be useful for certain purposes, but the standard list structure also has its uses |
| 2021-03-14 11:11:02 +0100 | <MoeEl> | Back to the classroom then |
| 2021-03-14 11:11:06 +0100 | <tomsmeding> | please build such a thing, as a separate library :p |
| 2021-03-14 11:11:48 +0100 | <curiousgay> | tomsmeding: if internal implementation of compiler can be safely changed, that won't affect language itself |
| 2021-03-14 11:12:38 +0100 | <ephemient> | curiousgay: true of course, but you'd have to prove that you can always perform this sort of program rewriting safely |
| 2021-03-14 11:12:48 +0100 | <tomsmeding> | MoeEl: it's because everything in haskell is supposed to be immutable. So if you want to have mutable arrays, you should somehow enforce that the programmer cannot observe that the previous value changed under their feet, breaking the immutability principle -- and that's done using monads |
| 2021-03-14 11:12:57 +0100 | <tomsmeding> | though monads aren't hard to use! |
| 2021-03-14 11:13:23 +0100 | <tomsmeding> | fully understanding how they work under the hood is slightly more work, but just using them is quite doable, also for a beginner |
| 2021-03-14 11:13:27 +0100 | <tomsmeding> | don't despair! :) |
| 2021-03-14 11:13:42 +0100 | <ephemient> | MoeEl: in theory the newly-merged Linear Types in Haskell would allow for building a mutable vector library without monads. but nobody has done so yet as far as I know, and you'd have to learn about linear types which I don't think is easier... |
| 2021-03-14 11:13:56 +0100 | <tomsmeding> | hah yes |
| 2021-03-14 11:15:21 +0100 | <Rembane> | tomsmeding, MoeEl: That's a very good point. I mixed heapsort up with mergesort. |
| 2021-03-14 11:16:13 +0100 | <curiousgay> | ephemient: yeah, that'll require testing by building different programs, also if most programs use lists in a way that'll work faster with lists, such a change in runtime will only be worth for saving memory |
| 2021-03-14 11:16:18 +0100 | <MoeEl> | I sorta understand the reasoning behind it from FP standpoint, but it makes implementing certain algorithms like heapsort slow. But surely my curiosity for monads peaked :) |
| 2021-03-14 11:17:45 +0100 | <tomsmeding> | MoeEl: if you don't want to go into mutable arrays, you can use Data.Sequence instead of lists; that structure has O(log(n)) complexity for most operations instead of O(n) as for lists |
| 2021-03-14 11:18:16 +0100 | <tomsmeding> | preserving the pattern that converting a traditional imperative algorithm to use immutable structures in haskell introduces an extra log-factor in the time complexity |
| 2021-03-14 11:18:35 +0100 | <tomsmeding> | but if you want to avoid also that log factor, then mutable arrays are the thing :) |
| 2021-03-14 11:18:38 +0100 | <MoeEl> | Rembane even mergesort suffers the same but at least the sorted list it can be built up from ground rather than split and merged |
| 2021-03-14 11:19:21 +0100 | <Rembane> | MoeEl: Yeah, that's true. |
| 2021-03-14 11:19:37 +0100 | <tomsmeding> | MoeEl: I believe mergesort can be implemented in O(n * log(n)) in normal, immutable haskell using lists? |
| 2021-03-14 11:20:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 11:21:09 +0100 | <curiousgay> | ephemient: hm, thinking about that constantly discarding initial portions won't be cheap for memory because garbage collector will have to store entire array and depending on size it might occupy even more memory than a list would |
| 2021-03-14 11:21:12 +0100 | <MoeEl> | tomsmeding I believe so. I think rather than splitting the list you just take elements in pairs and combine them. If I understood correctly |
| 2021-03-14 11:22:36 +0100 | <MoeEl> | My motivation was to compare Python and Haskell performance of a sort algorithm but I ran into the brick wall. |
| 2021-03-14 11:23:15 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-14 11:23:23 +0100 | <siraben> | With linear base, in the future one won't need to use a monad to use the mutable structures right? |
| 2021-03-14 11:23:59 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-14 11:25:11 +0100 | <ephemient> | once somebody writes those linear mutable structures, I would expect |
| 2021-03-14 11:25:17 +0100 | <curiousgay> | siraben: what? internally everything after being built is mutable, the purpose of declarative language is to provide abstraction over that |
| 2021-03-14 11:25:59 +0100 | <siraben> | curiousgay: sure, but with linear types you can have in-place mutable structures without comprising the reformational transparency Haskell has |
| 2021-03-14 11:26:50 +0100 | <siraben> | ephemient: the FAQ on GHC's wiki re linear types says that they won't lead to better performance (as of yet), but would be nice to control Haskell programs to the point where you can guarantee X about of allocations occur and where |
| 2021-03-14 11:27:21 +0100 | <siraben> | s/reformational/referential/ |
| 2021-03-14 11:27:22 +0100 | <ephemient> | curiousgay: one way of enforcing sequencing of mutations is through monads. another way is through linear types. so far Haskell has the former, and some infrastructure to make the latter possible, but that's just getting started |
| 2021-03-14 11:27:23 +0100 | <siraben> | damn spellchecker |
| 2021-03-14 11:28:02 +0100 | <siraben> | (reformational transparency would be nice IRL though :P) |
| 2021-03-14 11:28:50 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-14 11:32:24 +0100 | MoeEl | (62a7e21a@ip98-167-226-26.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 2021-03-14 11:32:26 +0100 | borne | (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-03-14 11:34:24 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-14 11:38:39 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-03-14 11:38:48 +0100 | monadmatt | (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2021-03-14 11:39:47 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-14 11:40:25 +0100 | MoeEl | (62a7e21a@ip98-167-226-26.ph.ph.cox.net) |
| 2021-03-14 11:42:28 +0100 | kafl_ | (~kafl@unaffiliated/kafl) (Ping timeout: 260 seconds) |
| 2021-03-14 11:42:33 +0100 | MoeEl | (62a7e21a@ip98-167-226-26.ph.ph.cox.net) () |
| 2021-03-14 11:43:56 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-14 11:44:00 +0100 | toorevitimirp | (~tooreviti@117.182.180.50) (Remote host closed the connection) |
| 2021-03-14 11:44:48 +0100 | hiptobecubic | (~john@unaffiliated/hiptobecubic) (Ping timeout: 246 seconds) |
| 2021-03-14 11:45:12 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-14 11:46:20 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-14 11:54:11 +0100 | malumore | (~malumore@151.62.115.237) (Remote host closed the connection) |
| 2021-03-14 11:54:29 +0100 | malumore | (~malumore@151.62.115.237) |
| 2021-03-14 11:54:43 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-14 11:55:06 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-14 11:58:11 +0100 | hackage | tasty-grading-system 0.1.0.0 - Grade your tasty-testsuite. https://hackage.haskell.org/package/tasty-grading-system-0.1.0.0 (fendor) |
| 2021-03-14 11:59:05 +0100 | helloworld | (~hello@117.222.69.45) |
| 2021-03-14 12:00:25 +0100 | Tops2 | (~Tobias@dyndsl-095-033-025-225.ewe-ip-backbone.de) |
| 2021-03-14 12:00:31 +0100 | curiousgay | ran hindent |
| 2021-03-14 12:00:40 +0100 | <curiousgay> | hindent's style is nobody's favourite |
| 2021-03-14 12:01:57 +0100 | malumore | (~malumore@151.62.115.237) (Ping timeout: 246 seconds) |
| 2021-03-14 12:02:10 +0100 | <tomsmeding> | I use hindent only to format Show-gnerated debug output in a readable way |
| 2021-03-14 12:03:04 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-14 12:03:35 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:6cfb:c91f:3c9a:a8cb) (Ping timeout: 240 seconds) |
| 2021-03-14 12:04:39 +0100 | fendor | (~fendor@91.141.1.110.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-14 12:06:06 +0100 | fendor | (~fendor@91.141.1.110.wireless.dyn.drei.com) |
| 2021-03-14 12:07:29 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 12:07:46 +0100 | <juri_> | ormolu? |
| 2021-03-14 12:08:38 +0100 | helloworld | (~hello@117.222.69.45) (Quit: leaving) |
| 2021-03-14 12:10:47 +0100 | Guest34685 | (~textual@2603-7000-3040-0000-90f8-4e28-a385-635a.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-14 12:13:25 +0100 | <siraben> | +1 for ormolu |
| 2021-03-14 12:15:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 12:16:55 +0100 | Ishutin_ | (~ishutin@77-234-64-188.pool.digikabel.hu) |
| 2021-03-14 12:20:21 +0100 | Ishutin | (~ishutin@91-83-11-236.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2021-03-14 12:20:43 +0100 | son0p | (~son0p@181.58.39.182) |
| 2021-03-14 12:21:10 +0100 | magnuscake | (~magnuscak@87.121.92.61) |
| 2021-03-14 12:22:58 +0100 | jespada | (~jespada@90.254.243.187) (Ping timeout: 245 seconds) |
| 2021-03-14 12:25:11 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-14 12:25:32 +0100 | jespada | (~jespada@90.254.243.187) |
| 2021-03-14 12:27:57 +0100 | EdwardIII | (~edwardiii@unaffiliated/edward123) |
| 2021-03-14 12:28:09 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 264 seconds) |
| 2021-03-14 12:29:55 +0100 | dhil | (~dhil@80.208.56.181) |
| 2021-03-14 12:31:40 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-14 12:31:41 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 12:33:13 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 2021-03-14 12:34:01 +0100 | malumore | (~malumore@151.62.115.237) |
| 2021-03-14 12:34:45 +0100 | DataComputist | (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 2021-03-14 12:36:15 +0100 | <fendor> | Can I generate a .ghci.environment file without transitive dependencies? |
| 2021-03-14 12:36:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 2021-03-14 12:41:58 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-14 12:43:09 +0100 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-03-14 12:43:33 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 12:44:06 +0100 | asicia | (~asdfasdfa@86.100.110.212) (Read error: Connection reset by peer) |
| 2021-03-14 12:48:14 +0100 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-03-14 12:48:37 +0100 | Alleria | Guest32906 |
| 2021-03-14 12:57:31 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Quit: Konversation terminated!) |
| 2021-03-14 13:01:22 +0100 | leonardys | (~leonard@118.136.35.158) |
| 2021-03-14 13:02:11 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-14 13:02:53 +0100 | bobiusbillius | (~bobiusbil@92.40.175.51.threembb.co.uk) |
| 2021-03-14 13:06:44 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-14 13:07:04 +0100 | magnuscake | (~magnuscak@87.121.92.61) (Ping timeout: 256 seconds) |
| 2021-03-14 13:07:09 +0100 | benkolera | (sid285671@gateway/web/irccloud.com/x-sxotikxkrteyeims) (Quit: Connection closed for inactivity) |
| 2021-03-14 13:07:11 +0100 | kenran | (~kenran@mue-88-130-62-145.dsl.tropolys.de) |
| 2021-03-14 13:08:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 13:08:11 +0100 | hackage | concurrency 1.11.0.1 - Typeclasses, functions, and data types for concurrency and STM. https://hackage.haskell.org/package/concurrency-1.11.0.1 (barrucadu) |
| 2021-03-14 13:08:21 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-14 13:08:25 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 13:09:11 +0100 | hackage | dejafu 2.4.0.2 - A library for unit-testing concurrent programs. https://hackage.haskell.org/package/dejafu-2.4.0.2 (barrucadu) |
| 2021-03-14 13:11:53 +0100 | son0p | (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 2021-03-14 13:13:23 +0100 | kenran_ | (~kenran@mue-88-130-62-145.dsl.tropolys.de) |
| 2021-03-14 13:16:48 +0100 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-03-14 13:16:50 +0100 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:84fd:19e6:b34a:aa93) (Ping timeout: 264 seconds) |
| 2021-03-14 13:16:59 +0100 | ixlun | (~user@213.205.241.14) |
| 2021-03-14 13:17:29 +0100 | kenran | (~kenran@mue-88-130-62-145.dsl.tropolys.de) (Quit: Lost terminal) |
| 2021-03-14 13:17:49 +0100 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-03-14 13:18:11 +0100 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Client Quit) |
| 2021-03-14 13:19:39 +0100 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-03-14 13:19:47 +0100 | magnuscake | (~magnuscak@87-121-92-61.dyn.launtel.net.au) |
| 2021-03-14 13:21:22 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 13:21:38 +0100 | drbean | (~drbean@TC210-63-209-99.static.apol.com.tw) |
| 2021-03-14 13:28:41 +0100 | hackage | selective 0.4.2 - Selective applicative functors https://hackage.haskell.org/package/selective-0.4.2 (snowleopard) |
| 2021-03-14 13:30:47 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-14 13:31:14 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 2021-03-14 13:31:22 +0100 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-03-14 13:32:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-14 13:32:23 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 13:32:34 +0100 | azure2 | (~azure@103.154.230.130) |
| 2021-03-14 13:32:36 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-14 13:33:49 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.65) |
| 2021-03-14 13:34:03 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) () |
| 2021-03-14 13:35:49 +0100 | SaitamaPlus | (uid272474@gateway/web/irccloud.com/x-abijodguhnyidowb) |
| 2021-03-14 13:35:53 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-14 13:35:58 +0100 | azure1 | (~azure@103.154.230.130) (Ping timeout: 256 seconds) |
| 2021-03-14 13:36:45 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-14 13:37:13 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-14 13:37:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 2021-03-14 13:37:57 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 2021-03-14 13:38:18 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-14 13:38:57 +0100 | azure2 | (~azure@103.154.230.130) (Ping timeout: 264 seconds) |
| 2021-03-14 13:39:51 +0100 | azure2 | (~azure@103.154.230.130) |
| 2021-03-14 13:41:44 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-14 13:44:51 +0100 | <hugo> | Thanks for the sugestion about TChan's yesterday! Works wonders and was far simpler to add than I had feared |
| 2021-03-14 13:48:57 +0100 | Lycurgus | (~niemand@98.4.114.199) |
| 2021-03-14 13:49:24 +0100 | totte | (~totte@chakra/totte) (Ping timeout: 265 seconds) |
| 2021-03-14 13:49:27 +0100 | Reiser | (~0a2a0001@static.210.242.216.95.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2021-03-14 13:49:32 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Remote host closed the connection) |
| 2021-03-14 13:49:53 +0100 | Moyst | (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2021-03-14 13:50:15 +0100 | urdh_ | (~urdh@unaffiliated/urdh) |
| 2021-03-14 13:50:22 +0100 | urdh | (~urdh@unaffiliated/urdh) (Ping timeout: 265 seconds) |
| 2021-03-14 13:50:28 +0100 | urdh_ | urdh |
| 2021-03-14 13:50:37 +0100 | rdd` | (~rdd@c-2983e555.012-81-73746f39.cust.ownit.se) |
| 2021-03-14 13:50:50 +0100 | rzmt | (~rzmt@87-92-180-112.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2021-03-14 13:50:51 +0100 | valdyn | (valdyn@c6a7cb82.vpn.njalla.net) (Ping timeout: 265 seconds) |
| 2021-03-14 13:50:53 +0100 | rdd | (~user@c-2983e555.012-81-73746f39.cust.ownit.se) (Ping timeout: 245 seconds) |
| 2021-03-14 13:50:58 +0100 | valdyn | (valdyn@c6a7cbb4.vpn.njalla.net) |
| 2021-03-14 13:51:14 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 13:51:18 +0100 | some02 | (~lax@unaffiliated/laxask) (Ping timeout: 260 seconds) |
| 2021-03-14 13:51:18 +0100 | zaquest | (~notzaques@5.128.210.178) (Ping timeout: 245 seconds) |
| 2021-03-14 13:51:20 +0100 | janne | (~janne@punainen.org) (Ping timeout: 265 seconds) |
| 2021-03-14 13:51:25 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Remote host closed the connection) |
| 2021-03-14 13:51:56 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:ad5d:abda:e987:22bd) |
| 2021-03-14 13:51:56 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 13:52:10 +0100 | Reiser | (~0a2a0001@static.210.242.216.95.clients.your-server.de) |
| 2021-03-14 13:52:11 +0100 | janne | (~janne@punainen.org) |
| 2021-03-14 13:53:02 +0100 | Moyst | (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 2021-03-14 13:53:03 +0100 | sudden | (~lax@unaffiliated/laxask) |
| 2021-03-14 13:55:41 +0100 | hackage | validation-selective 0.1.0.1 - Lighweight pure data validation based on Applicative and Selective functors https://hackage.haskell.org/package/validation-selective-0.1.0.1 (vrom911) |
| 2021-03-14 13:56:41 +0100 | hackage | hakyll 4.14.0.0 - A static website compiler library https://hackage.haskell.org/package/hakyll-4.14.0.0 (JasperVanDerJeugt) |
| 2021-03-14 13:56:50 +0100 | kuribas | (~user@ptr-25vy0i7ct6alt7330p7.18120a2.ip6.access.telenet.be) |
| 2021-03-14 13:58:02 +0100 | Lycurgus | (~niemand@98.4.114.199) (Read error: Connection reset by peer) |
| 2021-03-14 13:58:38 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Remote host closed the connection) |
| 2021-03-14 13:59:02 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 14:00:05 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-03-14 14:00:43 +0100 | magnuscake | (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Ping timeout: 260 seconds) |
| 2021-03-14 14:01:08 +0100 | bergey` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-14 14:01:25 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:ad5d:abda:e987:22bd) (Remote host closed the connection) |
| 2021-03-14 14:01:47 +0100 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:e974:5a8b:298e:b21) |
| 2021-03-14 14:02:26 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-03-14 14:02:58 +0100 | kenran_ | (~kenran@mue-88-130-62-145.dsl.tropolys.de) (Quit: Lost terminal) |
| 2021-03-14 14:03:08 +0100 | kenran | (~kenran@mue-88-130-62-145.dsl.tropolys.de) |
| 2021-03-14 14:05:54 +0100 | rzmt | (~rzmt@87-92-180-112.rev.dnainternet.fi) |
| 2021-03-14 14:07:43 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-03-14 14:08:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 14:08:29 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 14:09:07 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 14:09:24 +0100 | zaquest | (~notzaques@5.128.210.178) |
| 2021-03-14 14:09:29 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 14:09:51 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Quit: Konversation terminated!) |
| 2021-03-14 14:10:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 14:10:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 14:11:09 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 2021-03-14 14:12:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 2021-03-14 14:12:08 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 14:12:15 +0100 | totte | (~totte@chakra/totte) |
| 2021-03-14 14:12:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 14:12:41 +0100 | hackage | binsm 0.1.2 - binary files splitter and merger https://hackage.haskell.org/package/binsm-0.1.2 (SergeyAlirzaev) |
| 2021-03-14 14:13:07 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 14:13:29 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-14 14:14:13 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-14 14:15:53 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-14 14:16:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-14 14:16:18 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-14 14:16:41 +0100 | hackage | tomland 1.3.3.0 - Bidirectional TOML serialization https://hackage.haskell.org/package/tomland-1.3.3.0 (vrom911) |
| 2021-03-14 14:17:14 +0100 | asheshambasta | (~user@ptr-e1lysawjk66x7g42nlz.18120a2.ip6.access.telenet.be) |
| 2021-03-14 14:19:36 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.65) (Ping timeout: 256 seconds) |
| 2021-03-14 14:20:00 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-03-14 14:20:12 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.65) |
| 2021-03-14 14:25:04 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 14:25:06 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-14 14:27:26 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Client Quit) |
| 2021-03-14 14:27:35 +0100 | augnun | (~augnun@2804:14c:658b:41bb:722a:8aec:e625:5ad9) |
| 2021-03-14 14:28:47 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-14 14:28:50 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 14:30:58 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.65) (Ping timeout: 260 seconds) |
| 2021-03-14 14:32:43 +0100 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-03-14 14:33:33 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 2021-03-14 14:33:41 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-14 14:35:33 +0100 | augnun | (~augnun@2804:14c:658b:41bb:722a:8aec:e625:5ad9) (Quit: WeeChat 3.1) |
| 2021-03-14 14:37:06 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-14 14:37:08 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 2021-03-14 14:37:46 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 14:37:59 +0100 | Lycurgus | (~niemand@cpe-45-46-136-207.buffalo.res.rr.com) |
| 2021-03-14 14:38:23 +0100 | bergey` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-14 14:40:30 +0100 | leonardys | (~leonard@118.136.35.158) (Quit: WeeChat 3.1) |
| 2021-03-14 14:42:04 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-03-14 14:44:41 +0100 | <kuribas> | sometimes I really mis stepping through code. |
| 2021-03-14 14:45:32 +0100 | drbean | (~drbean@TC210-63-209-99.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-14 14:45:48 +0100 | <Lycurgus> | ur sayin that's impossible with ghci ? |
| 2021-03-14 14:45:57 +0100 | <int-e> | one small misstep... |
| 2021-03-14 14:46:22 +0100 | <Lycurgus> | if you meant mis step, nvm |
| 2021-03-14 14:46:48 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-14 14:46:58 +0100 | <int-e> | ghci's debugger only works with bytecode though, doesn't it |
| 2021-03-14 14:47:06 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.65) |
| 2021-03-14 14:47:24 +0100 | <Lycurgus> | different langs have different abilities due to their nature |
| 2021-03-14 14:47:34 +0100 | <int-e> | Lycurgus: I'm asuming that was a typo. |
| 2021-03-14 14:47:43 +0100 | <int-e> | hah. assuming |
| 2021-03-14 14:47:44 +0100 | <Lycurgus> | in assembly you can go instruction by instruction |
| 2021-03-14 14:47:51 +0100 | <Lycurgus> | (in the right arch) |
| 2021-03-14 14:48:16 +0100 | <Lycurgus> | in smalltalk you can go by message send |
| 2021-03-14 14:48:27 +0100 | <Lycurgus> | you'd expect it to be a bit cocked in hs |
| 2021-03-14 14:48:52 +0100 | <int-e> | :t Debug.Trace.trace |
| 2021-03-14 14:48:54 +0100 | <lambdabot> | String -> a -> a |
| 2021-03-14 14:49:02 +0100 | <int-e> | state of the art :-/ |
| 2021-03-14 14:49:05 +0100 | <Lycurgus> | *cocked/fugled/verwickelt |
| 2021-03-14 14:50:05 +0100 | <Lycurgus> | in hs i'm good with reliably being able to set bps |
| 2021-03-14 14:50:54 +0100 | <Lycurgus> | a lang u can't symboliclly debug is fuck hoax man, a scam |
| 2021-03-14 14:51:00 +0100 | <Lycurgus> | *fucking |
| 2021-03-14 14:52:04 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-14 14:52:08 +0100 | <Lycurgus> | intel main arches have had single step for 30 some years |
| 2021-03-14 14:52:16 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-14 14:52:17 +0100 | <int-e> | . o O ( SQL? I guess it depends a lot on the implementation. ) |
| 2021-03-14 14:53:45 +0100 | <Lycurgus> | SQL is not a general purpose programming lang, it's a data access plan and schema generator |
| 2021-03-14 14:53:45 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-14 14:53:45 +0100 | <Lycurgus> | but there are some sql store proc setups that have debugging |
| 2021-03-14 14:53:49 +0100 | <Lycurgus> | *stored |
| 2021-03-14 14:53:53 +0100 | asheshambasta | (~user@ptr-e1lysawjk66x7g42nlz.18120a2.ip6.access.telenet.be) (Ping timeout: 265 seconds) |
| 2021-03-14 14:55:05 +0100 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 2021-03-14 14:55:27 +0100 | <Lycurgus> | prolly most of the major commercial ones, dunno about pg but have used on sql server in past so assume sybase had/has |
| 2021-03-14 14:55:44 +0100 | stefan-__ | (~cri@42dots.de) (Excess Flood) |
| 2021-03-14 14:55:46 +0100 | <Lycurgus> | would bet oracle does |
| 2021-03-14 14:55:58 +0100 | stefan-_ | (~cri@42dots.de) |
| 2021-03-14 14:56:06 +0100 | zfnmxt_ | (~zfnmxt@unaffiliated/zfnmxt) |
| 2021-03-14 14:57:15 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 2021-03-14 14:57:17 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds) |
| 2021-03-14 14:57:18 +0100 | bendo | (~bendo@130.61.122.121) (Ping timeout: 246 seconds) |
| 2021-03-14 14:57:28 +0100 | zfnmxt | (~zfnmxt@unaffiliated/zfnmxt) (Ping timeout: 276 seconds) |
| 2021-03-14 14:57:44 +0100 | marble_visions | (~user@68.183.79.8) (Quit: bye) |
| 2021-03-14 14:58:18 +0100 | bendo | (~bendo@130.61.122.121) |
| 2021-03-14 14:58:28 +0100 | reactormonk1 | (~reactormo@mehl.schokokeks.org) (Ping timeout: 260 seconds) |
| 2021-03-14 14:58:35 +0100 | marble_visions | (~user@68.183.79.8) |
| 2021-03-14 14:58:37 +0100 | <Lycurgus> | also before LSI pretty much every computer had single step mode which could be set on the ocntrol panel |
| 2021-03-14 14:59:33 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2021-03-14 14:59:34 +0100 | <Lycurgus> | so yeah if you can't step thru the code, somebody did a Brazil on ur programmer fu |
| 2021-03-14 15:00:15 +0100 | reactormonk1 | (~reactormo@mehl.schokokeks.org) |
| 2021-03-14 15:00:57 +0100 | <Lycurgus> | or human catepillar or whatever |
| 2021-03-14 15:02:02 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-14 15:02:58 +0100 | hahalps | (0d5e07b1@13.94.7.177) |
| 2021-03-14 15:03:51 +0100 | <Lycurgus> | yeah pg and oracle both have |
| 2021-03-14 15:04:07 +0100 | hahalps | (0d5e07b1@13.94.7.177) (Client Quit) |
| 2021-03-14 15:04:41 +0100 | hackage | prolens 0.0.0.1 - Profunctor-based lightweight implementation of optics https://hackage.haskell.org/package/prolens-0.0.0.1 (shersh) |
| 2021-03-14 15:04:45 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.65) (Read error: No route to host) |
| 2021-03-14 15:05:07 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.65) |
| 2021-03-14 15:10:20 +0100 | <Lycurgus> | 8080 era uprocessors had single step, intel ones prolly all or nearly all, shouldn't have limited it to when i started heavily using it |
| 2021-03-14 15:10:40 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-14 15:11:10 +0100 | <Lycurgus> | actually I could respect the other position, "I never want to descend that low" as a matter of principle |
| 2021-03-14 15:11:42 +0100 | <Lycurgus> | just doesn't work for me, other than almost all the time |
| 2021-03-14 15:11:58 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-14 15:13:00 +0100 | <geekosaur> | single stepping kinda fails with multithreaded, though. or vliw |
| 2021-03-14 15:13:19 +0100 | <Lycurgus> | it most certainly does not |
| 2021-03-14 15:13:32 +0100 | <Lycurgus> | you have to manage threads |
| 2021-03-14 15:13:45 +0100 | <Lycurgus> | but you know why that's a problem? |
| 2021-03-14 15:13:45 +0100 | fendor | (~fendor@91.141.1.110.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2021-03-14 15:13:51 +0100 | <Lycurgus> | this thing here |
| 2021-03-14 15:14:23 +0100 | <Lycurgus> | https://insights.stackoverflow.com/survey/2020#experience |
| 2021-03-14 15:15:19 +0100 | <Lycurgus> | if vliw is very long instruction word, yeah exotica in general produces corner pain |
| 2021-03-14 15:15:25 +0100 | fendor | (~fendor@178.165.131.241.wireless.dyn.drei.com) |
| 2021-03-14 15:15:26 +0100 | <Lycurgus> | that's somekina law |
| 2021-03-14 15:16:58 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-03-14 15:17:35 +0100 | <Lycurgus> | single stepping is so fundamental though, I would place a lil money on ur not being able to produce a real vliw processor that wasn't purpose built |
| 2021-03-14 15:17:53 +0100 | <Lycurgus> | to replace something unchanging without it. |
| 2021-03-14 15:22:44 +0100 | <L29Ah> | i want to make a time(1)-like tool; which method of process creation should i use? the one from `process` wants String's as executable path and arguments, unnecessarily slowing it down and limiting them to Unicode, and requiring me to shuffle through $PATH manually |
| 2021-03-14 15:23:50 +0100 | Lycurgus | is pretty sure in most FS |
| 2021-03-14 15:24:06 +0100 | Lycurgus | paths are limited to ascii |
| 2021-03-14 15:24:27 +0100 | <Clint> | what |
| 2021-03-14 15:24:38 +0100 | xff0x | (~xff0x@2001:1a81:527c:ad00:2731:c024:969b:283c) (Ping timeout: 264 seconds) |
| 2021-03-14 15:24:50 +0100 | <geekosaur> | POSIX paths are ByteStrings, NTFS paths are Unicode with escaping for nonrepresentables |
| 2021-03-14 15:25:02 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-14 15:25:11 +0100 | xff0x | (~xff0x@2001:1a81:527c:ad00:a70:55a0:fd29:c4d4) |
| 2021-03-14 15:25:12 +0100 | <Lycurgus> | OK, yeah rethinking that one |
| 2021-03-14 15:26:18 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-14 15:27:16 +0100 | <geekosaur> | (specifically Microsoft's variant of UTF16 with escaping) |
| 2021-03-14 15:27:24 +0100 | <Lycurgus> | the symbolic debugger thing sent me into crusty old programmer hell |
| 2021-03-14 15:27:55 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-14 15:28:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 15:29:45 +0100 | <L29Ah> | https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-Process-ByteString.html ah probably that's what i'm after |
| 2021-03-14 15:29:59 +0100 | <L29Ah> | geekosaur: thanks for mentioning posix :) |
| 2021-03-14 15:31:39 +0100 | entel | (uid256215@botters/entel) (Quit: Connection closed for inactivity) |
| 2021-03-14 15:32:06 +0100 | alx741 | (~alx741@181.196.69.27) |
| 2021-03-14 15:33:49 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 15:34:29 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-hxnrioewzbkzbjta) (Quit: Connection closed for inactivity) |
| 2021-03-14 15:36:19 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Remote host closed the connection) |
| 2021-03-14 15:36:22 +0100 | Deide | (~Deide@217.155.19.23) |
| 2021-03-14 15:39:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 2021-03-14 15:43:58 +0100 | kenran | (~kenran@mue-88-130-62-145.dsl.tropolys.de) (Quit: leaving) |
| 2021-03-14 15:46:58 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-03-14 15:47:52 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-14 15:49:56 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-03-14 15:52:27 +0100 | <whataday> | why call fixed-point inside a Cont do-notation would create a loop? http://www.vex.net/~trebla/haskell/cont-monad.xhtml |
| 2021-03-14 15:52:35 +0100 | <whataday> | I just don't get it |
| 2021-03-14 15:53:16 +0100 | <whataday> | that Setjmp section |
| 2021-03-14 15:54:48 +0100 | <kuribas> | I have an infinite loop. Is there a way to debug this in ghci? |
| 2021-03-14 15:56:05 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-14 15:57:05 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-14 15:59:14 +0100 | <Uniaika> | kuribas: manual recursion? |
| 2021-03-14 15:59:46 +0100 | <hpc> | Debug.Trace will probably be useful |
| 2021-03-14 16:00:58 +0100 | <kuribas> | Uniaika: a parser combinator for xml |
| 2021-03-14 16:02:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-14 16:03:38 +0100 | <Uniaika> | kuribas: I'm so, so sorry |
| 2021-03-14 16:03:47 +0100 | <kuribas> | ? |
| 2021-03-14 16:04:46 +0100 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-03-14 16:05:44 +0100 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-03-14 16:06:42 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 256 seconds) |
| 2021-03-14 16:06:48 +0100 | <Uniaika> | kuribas: this is no easy nor fun task |
| 2021-03-14 16:07:34 +0100 | <kuribas> | it also seems to be leaking lots of memory |
| 2021-03-14 16:10:26 +0100 | <Uniaika> | kuribas: use strictness annotations? |
| 2021-03-14 16:10:30 +0100 | <Uniaika> | kuribas: is the code open-source? |
| 2021-03-14 16:10:34 +0100 | <kuribas> | yes |
| 2021-03-14 16:11:01 +0100 | <Uniaika> | may I see it? |
| 2021-03-14 16:11:53 +0100 | <kuribas> | https://github.com/kuribas/hexpat-streamparser/blob/master/src/Text/XML/Expat/StreamParser.hs |
| 2021-03-14 16:12:03 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-14 16:13:00 +0100 | <Uniaika> | kuribas: I see you're using lazy linked lists. Is there a reason you need them? |
| 2021-03-14 16:14:11 +0100 | hackage | data-interval 2.1.0 - Interval datatype, interval arithmetic and interval-based containers https://hackage.haskell.org/package/data-interval-2.1.0 (MasahiroSakai) |
| 2021-03-14 16:14:14 +0100 | <kuribas> | Uniaika: it's build on top of hexpat, which uses some sort of list transformer |
| 2021-03-14 16:14:26 +0100 | <Uniaika> | hmm, so you can't really avoid them |
| 2021-03-14 16:14:42 +0100 | <kuribas> | Uniaika: some trace showed that it only parsing the first tag... |
| 2021-03-14 16:14:56 +0100 | <kuribas> | maybe a bug in the alternative? |
| 2021-03-14 16:14:57 +0100 | <Uniaika> | kuribas: first of all, put some strictness annotations in your own types. And unpack their fields as well, this will remove a level of indirection |
| 2021-03-14 16:15:05 +0100 | <Uniaika> | and -> write tests |
| 2021-03-14 16:15:08 +0100 | <kuribas> | hmm, right |
| 2021-03-14 16:15:10 +0100 | <kuribas> | yeah :) |
| 2021-03-14 16:15:14 +0100 | <Uniaika> | especially for the hand-written instances |
| 2021-03-14 16:15:46 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2021-03-14 16:16:40 +0100 | jeremybennett | (~jeremyben@185.204.1.185) |
| 2021-03-14 16:16:49 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 265 seconds) |
| 2021-03-14 16:19:06 +0100 | <[exa]> | is there some recommended way to install binary "assets" with cabal? (say, logo pictures) |
| 2021-03-14 16:19:45 +0100 | <sm[m]> | file-embed |
| 2021-03-14 16:20:20 +0100 | <Uniaika> | uh, I thought it was data-dir |
| 2021-03-14 16:21:25 +0100 | <Uniaika> | ah, file-embed is a package, and data-dir is the Cabal field I was thinking of |
| 2021-03-14 16:21:50 +0100 | <sm[m]> | yup. One is fragile, the other not |
| 2021-03-14 16:22:23 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-14 16:22:28 +0100 | timCF | (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Ping timeout: 260 seconds) |
| 2021-03-14 16:23:07 +0100 | <Uniaika> | sm[m]: care to tell which is which? :P |
| 2021-03-14 16:23:54 +0100 | <[exa]> | data-dir and data-files fix it for me, thanks a lot! |
| 2021-03-14 16:24:01 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-vnbzqcslxpqrrgtm) |
| 2021-03-14 16:24:03 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-14 16:24:31 +0100 | <sm[m]> | :) data-dir is fragile, depending on file system state. Eg when various things happen to your .cabal dir, your pandoc breaks |
| 2021-03-14 16:24:36 +0100 | <[exa]> | (I was googling it wrong with "binary", which packs a bit of bias :D ) |
| 2021-03-14 16:24:53 +0100 | <[exa]> | yeah, data should be listed explicitly |
| 2021-03-14 16:27:11 +0100 | hackage | headroom 0.4.1.0 - License Header Manager https://hackage.haskell.org/package/headroom-0.4.1.0 (xwinus) |
| 2021-03-14 16:28:33 +0100 | Lycurgus | (~niemand@cpe-45-46-136-207.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-14 16:28:33 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-14 16:30:43 +0100 | kenran | (~kenran@mue-88-130-62-145.dsl.tropolys.de) |
| 2021-03-14 16:31:19 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-14 16:34:25 +0100 | <[exa]> | whoa whoa, hackagebot is back! |
| 2021-03-14 16:35:00 +0100 | bergey` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-14 16:35:48 +0100 | <slack1256> | Nice, then I will restart releasing packages. I only did it for the hackagebot. |
| 2021-03-14 16:37:07 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-03-14 16:38:27 +0100 | malumore | (~malumore@151.62.115.237) (Ping timeout: 246 seconds) |
| 2021-03-14 16:40:32 +0100 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-ajfxjvyfxwkenmku) |
| 2021-03-14 16:41:12 +0100 | dfeuer | (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) |
| 2021-03-14 16:43:24 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 16:44:46 +0100 | malumore | (~malumore@151.62.115.237) |
| 2021-03-14 16:45:34 +0100 | <[exa]> | \o/ |
| 2021-03-14 16:45:40 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-14 16:47:42 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 16:49:56 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 16:50:05 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-03-14 16:50:28 +0100 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-14 16:54:04 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-03-14 16:56:10 +0100 | <kuribas> | Uniaika: this one hangs: parseXMLByteString (maybeP "foo" (\t -> tag t skipAttrs $ const skipTags)) (ParseOptions Nothing Nothing) "<foo></foo>" |
| 2021-03-14 16:56:22 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-14 16:56:28 +0100 | raym | (~ray@45.64.220.113) (Quit: leaving) |
| 2021-03-14 16:56:46 +0100 | <kuribas> | Uniaika: better: parseXMLByteString (tag "foo" skipAttrs $ const skipTags) (ParseOptions Nothing Nothing) "<foo></foo>" |
| 2021-03-14 16:57:26 +0100 | <Uniaika> | kuribas: wanna do a video call to try and debug that together? |
| 2021-03-14 16:57:53 +0100 | <kuribas> | sure :) |
| 2021-03-14 16:57:56 +0100 | <Uniaika> | ok 2 sec |
| 2021-03-14 17:00:14 +0100 | <fendor> | does tasty have some kind of "before" combinator to execute some io action before the TestTree is run? |
| 2021-03-14 17:01:27 +0100 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-03-14 17:03:07 +0100 | Wuzzy | (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) |
| 2021-03-14 17:04:30 +0100 | bergey` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-14 17:05:11 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-14 17:05:13 +0100 | drdee | (~drdee@93-33-1-171.ip42.fastwebnet.it) |
| 2021-03-14 17:08:59 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-03-14 17:14:01 +0100 | <mikoto-chan> | Where do I report dead links on the Haskell wiki? |
| 2021-03-14 17:14:08 +0100 | <Uniaika> | mikoto-chan: me |
| 2021-03-14 17:14:16 +0100 | <Uniaika> | mikoto-chan: but we probably already know about them |
| 2021-03-14 17:14:41 +0100 | <mikoto-chan> | Uniaika: https://wiki.haskell.org/Peano_numbers |
| 2021-03-14 17:14:47 +0100 | <mikoto-chan> | > See an example implementation. |
| 2021-03-14 17:14:50 +0100 | <lambdabot> | <hint>:1:31: error: |
| 2021-03-14 17:14:50 +0100 | <lambdabot> | <hint>:1:31: error: |
| 2021-03-14 17:14:50 +0100 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2021-03-14 17:15:27 +0100 | <tomsmeding> | nested parse error? |
| 2021-03-14 17:15:57 +0100 | <mikoto-chan> | No I accidentally used > to specify what hyperlink was broken |
| 2021-03-14 17:16:06 +0100 | <mikoto-chan> | I didn't know it spawned a ghci session |
| 2021-03-14 17:16:26 +0100 | <mikoto-chan> | > succ 31 |
| 2021-03-14 17:16:28 +0100 | <lambdabot> | 32 |
| 2021-03-14 17:16:35 +0100 | <geekosaur> | tomsmeding, search functionality on ircbrowse seems to be broken |
| 2021-03-14 17:17:09 +0100 | <tomsmeding> | mikoto-chan: https://web.archive.org/web/20170429173131/http://code.haskell.org/~thielema/htam/src/Number/Peano… |
| 2021-03-14 17:17:13 +0100 | <tomsmeding> | geekosaur: interesting |
| 2021-03-14 17:17:41 +0100 | tomsmeding | didn't even know of search functionality |
| 2021-03-14 17:17:42 +0100 | <geekosaur> | at least in #xmonad, it's ignoring the ?q= string |
| 2021-03-14 17:17:57 +0100 | <mikoto-chan> | tomsmeding: it was just the source code? oops |
| 2021-03-14 17:17:58 +0100 | conal | (~conal@192.145.118.107) |
| 2021-03-14 17:18:12 +0100 | <tomsmeding> | geekosaur: did that ever work? |
| 2021-03-14 17:18:25 +0100 | <geekosaur> | I think it used to |
| 2021-03-14 17:18:42 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) (Ping timeout: 246 seconds) |
| 2021-03-14 17:19:02 +0100 | <geekosaur> | see for example https://ircbrowse.tomsmeding.com/nick/geekosaur which you can reach form the Nicks tab, then "Search logs for this nick" line |
| 2021-03-14 17:19:03 +0100 | CoconutCrab | (~Cua@unaffiliated/coconutcrab) (Ping timeout: 246 seconds) |
| 2021-03-14 17:19:06 +0100 | <tomsmeding> | can you give an example url that you think should (have) work(ed)? |
| 2021-03-14 17:19:11 +0100 | <tomsmeding> | ah |
| 2021-03-14 17:19:13 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) (Ping timeout: 245 seconds) |
| 2021-03-14 17:19:27 +0100 | <geekosaur> | which produces https://ircbrowse.tomsmeding.com/browse/xmonad?q=geekosaur |
| 2021-03-14 17:19:38 +0100 | tomsmeding | opens source code |
| 2021-03-14 17:20:38 +0100 | cpape``` | (~user@static.180.18.203.116.clients.your-server.de) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-03-14 17:20:55 +0100 | cpape | (~user@static.180.18.203.116.clients.your-server.de) |
| 2021-03-14 17:23:53 +0100 | <tomsmeding> | geekosaur: heh see the _q https://github.com/tomsmeding/ircbrowse/blob/master/src/Ircbrowse/Model/Events.hs#L16 |
| 2021-03-14 17:24:26 +0100 | <geekosaur> | ah |
| 2021-03-14 17:24:27 +0100 | <tomsmeding> | right, it apparently used an external tool at some pont, but that was intentionally disabled in this code |
| 2021-03-14 17:25:47 +0100 | <tomsmeding> | somewhat related: loading a nick page is really slow in ircbrowse because it does like 5 full-table-scans on the events table |
| 2021-03-14 17:25:57 +0100 | <tomsmeding> | i.e. linear in the total amount of history |
| 2021-03-14 17:26:26 +0100 | <tomsmeding> | search that is linear in history size would be trivial to implement, not sure I want to figure out how to set up sphinx |
| 2021-03-14 17:27:11 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 17:27:31 +0100 | <tomsmeding> | also I have issues with ircbrowse being built on inefficient cron jobs :p |
| 2021-03-14 17:31:40 +0100 | ixlun | (~user@213.205.241.14) (Remote host closed the connection) |
| 2021-03-14 17:31:51 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-14 17:34:05 +0100 | drdee | (~drdee@93-33-1-171.ip42.fastwebnet.it) (Quit: Leaving) |
| 2021-03-14 17:35:05 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 17:36:05 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) |
| 2021-03-14 17:36:38 +0100 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-03-14 17:37:41 +0100 | hackage | hlint 3.3 - Source code suggestions https://hackage.haskell.org/package/hlint-3.3 (NeilMitchell) |
| 2021-03-14 17:40:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 2021-03-14 17:40:34 +0100 | Tene | (~tene@mail.digitalkingdom.org) |
| 2021-03-14 17:40:34 +0100 | Tene | (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-03-14 17:40:34 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) |
| 2021-03-14 17:42:26 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-14 17:43:53 +0100 | luke | (~luke@bitnomial/staff/luke) |
| 2021-03-14 17:45:19 +0100 | <Uniaika> | mikoto-chan: lovely, thanks <3 |
| 2021-03-14 17:47:30 +0100 | MudNA | (6c1cfc0d@pool-108-28-252-13.washdc.fios.verizon.net) |
| 2021-03-14 17:49:18 +0100 | hiptobecubic | (~john@unaffiliated/hiptobecubic) |
| 2021-03-14 17:52:35 +0100 | jayok | (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) |
| 2021-03-14 17:53:57 +0100 | <Gurkenglas> | uh oh haskell terms dont need brackets so long as every function is monomorphic this is not gonna bode well for my whiteboard math |
| 2021-03-14 17:54:55 +0100 | <Gurkenglas> | (and so long as every function is in prefix notation) |
| 2021-03-14 17:55:45 +0100 | forgottenone | (~forgotten@176.42.24.172) (Ping timeout: 264 seconds) |
| 2021-03-14 17:56:08 +0100 | <tomsmeding> | Gurkenglas: what does polymorphism have to do with parentheses? |
| 2021-03-14 17:56:31 +0100 | <tomsmeding> | are you perhaps talking about using ($) with functions that have higher-rank types (as in RankNTypes)? |
| 2021-03-14 17:57:27 +0100 | <tomsmeding> | because that's because type inference is not strong enough for that; I believe GHC 9.2 (correct me if I'm wrong) will get Quick Look, which should make type inference stronger in that regard |
| 2021-03-14 17:58:53 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 17:59:11 +0100 | hackage | swiss-ephemeris 1.2.1.1 - Haskell bindings for the Swiss Ephemeris C library https://hackage.haskell.org/package/swiss-ephemeris-1.2.1.1 (lfborjas) |
| 2021-03-14 17:59:13 +0100 | <Gurkenglas> | tomsmeding, im saying that if "o :: (Int -> Int) -> Int" and "f :: Int -> Int" you can infer the brackets into "fof" |
| 2021-03-14 18:00:26 +0100 | <tomsmeding> | Gurkenglas: inspired by Husk? https://github.com/barbuz/Husk/wiki/Syntax#expressions |
| 2021-03-14 18:00:33 +0100 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-03-14 18:01:45 +0100 | <Gurkenglas> | no just lazy with pen and paper and seeing how many brackets i can get away with leaving out of my proofs and noticing uh oh its all of them not sure whether this will make it harder to retrace later |
| 2021-03-14 18:02:14 +0100 | <tomsmeding> | Gurkenglas: I very strongly recommend not leaving out parentheses when reasoning about code :p |
| 2021-03-14 18:02:42 +0100 | <tomsmeding> | it's guaranteed to give you trouble sooner or later |
| 2021-03-14 18:02:50 +0100 | <tomsmeding> | as you've found out :p |
| 2021-03-14 18:03:57 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-14 18:04:03 +0100 | <tomsmeding> | Gurkenglas: I mean, look at lisp |
| 2021-03-14 18:07:24 +0100 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-14 18:07:33 +0100 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) (Client Quit) |
| 2021-03-14 18:07:48 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:80e8:9909:c137:d367) |
| 2021-03-14 18:08:46 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-hybevmfrefszbchw) |
| 2021-03-14 18:09:28 +0100 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-14 18:12:16 +0100 | conal | (~conal@192.145.118.107) (Quit: Computer has gone to sleep.) |
| 2021-03-14 18:12:38 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:80e8:9909:c137:d367) (Ping timeout: 264 seconds) |
| 2021-03-14 18:13:03 +0100 | conal | (~conal@192.145.118.107) |
| 2021-03-14 18:13:45 +0100 | hiptobecubic | (~john@unaffiliated/hiptobecubic) (Quit: WeeChat 3.0) |
| 2021-03-14 18:13:55 +0100 | conal | (~conal@192.145.118.107) (Client Quit) |
| 2021-03-14 18:14:37 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-14 18:16:29 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-14 18:16:41 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-14 18:17:02 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-14 18:18:46 +0100 | entel | (uid256215@botters/entel) |
| 2021-03-14 18:20:26 +0100 | rdd` | (~rdd@c-2983e555.012-81-73746f39.cust.ownit.se) (Ping timeout: 256 seconds) |
| 2021-03-14 18:23:32 +0100 | Lycurgus | (~niemand@98.4.115.230) |
| 2021-03-14 18:24:30 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-ucvijfuheygbyqkt) (Quit: Connection closed for inactivity) |
| 2021-03-14 18:26:54 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-14 18:27:42 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-03-14 18:28:06 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 18:28:29 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-14 18:29:00 +0100 | <Gurkenglas> | hmm. ⊥,fg⊥,ffgg⊥,fffggg⊥,ffffgggg⊥,... doesnt converge to fffff... . Concerning... |
| 2021-03-14 18:29:56 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-03-14 18:31:14 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2021-03-14 18:32:09 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Quit: Quit) |
| 2021-03-14 18:33:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-14 18:33:33 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-14 18:34:36 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 18:36:32 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 18:38:26 +0100 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-14 18:39:06 +0100 | <hpc> | sure it does |
| 2021-03-14 18:39:18 +0100 | <hpc> | consider f = (1:), g = (2:) |
| 2021-03-14 18:39:33 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-14 18:41:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 2021-03-14 18:41:41 +0100 | hackage | timezone-detect 0.3.0.1 - Haskell bindings for the zone-detect C library; plus tz-aware utils. https://hackage.haskell.org/package/timezone-detect-0.3.0.1 (lfborjas) |
| 2021-03-14 18:42:25 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Quit: Konversation terminated!) |
| 2021-03-14 18:42:36 +0100 | <Gurkenglas> | hpc, sure or f=g=⊥. doesnt hold for all f though. consider f (x,y) = (x,1:y); g (x,y) = (2:x,y) |
| 2021-03-14 18:42:39 +0100 | _noblegas | (uid91066@gateway/web/irccloud.com/x-ehyqidvclvsvmwql) |
| 2021-03-14 18:42:42 +0100 | <Gurkenglas> | *for all f,g |
| 2021-03-14 18:45:08 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-14 18:48:13 +0100 | <monochrom> | Are you sure you care about fffggg? Or should it be fgfgfg? |
| 2021-03-14 18:48:15 +0100 | <hpc> | that converges on bottom in both cases |
| 2021-03-14 18:48:23 +0100 | <hpc> | f is strict |
| 2021-03-14 18:48:41 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 18:48:57 +0100 | elusive | (~Jeanne-Ka@static-198-54-134-107.cust.tzulo.com) |
| 2021-03-14 18:49:13 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-14 18:50:19 +0100 | <tomsmeding> | Gurkenglas: try 'f p = (fst p, 1 : snd p)' and 'g p = (2 : fst p, snd p)', or if you like lazy pattern matches, 'f ~(x,y) = (x,1:y)' and 'g ~(x,y) = (2:x,y)' |
| 2021-03-14 18:50:26 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-14 18:51:07 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 18:55:53 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-14 18:57:41 +0100 | <Guest72818> | tomsmeding: What does the ~ mean in `f ~(x,y) = ...` Is it the opposite of `f !(x,y) = ...` with BangPatterns? |
| 2021-03-14 18:57:58 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-14 18:58:26 +0100 | Guest72818 | swarmcollective |
| 2021-03-14 18:58:48 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 18:59:24 +0100 | <geekosaur> | yes, it forces a lazy match |
| 2021-03-14 18:59:32 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-14 18:59:34 +0100 | <geekosaur> | patterns are normally strict |
| 2021-03-14 18:59:44 +0100 | <tomsmeding> | Search for "lazy pattern match" |
| 2021-03-14 19:00:03 +0100 | <geekosaur> | or "irrefutable pattern match" as the Report calls it |
| 2021-03-14 19:00:19 +0100 | <tomsmeding> | Ah thanks |
| 2021-03-14 19:00:25 +0100 | Lycurgus | (~niemand@98.4.115.230) (Quit: Exeunt) |
| 2021-03-14 19:00:33 +0100 | <tomsmeding> | Perhaps the haskell wiki page should have a mention of that name |
| 2021-03-14 19:00:42 +0100 | <geekosaur> | although that also covers things like _ and x |
| 2021-03-14 19:00:56 +0100 | <swarmcollective> | geekosaur: tomsmeding: Thank you! Are they a "suggestion" or a "mandate"? `they` referring to both ~ and ~ |
| 2021-03-14 19:01:13 +0100 | <swarmcollective> | ~ and ! (typing is hard) :D |
| 2021-03-14 19:01:20 +0100 | <tomsmeding> | Mandate |
| 2021-03-14 19:01:37 +0100 | <swarmcollective> | Interesting! |
| 2021-03-14 19:01:55 +0100 | <tomsmeding> | `let f ~(x,y) = 1 in f undefined` shall not crash |
| 2021-03-14 19:01:57 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-14 19:01:59 +0100 | <geekosaur> | the Report section that describes ~ shows a situation where ~ is necessary |
| 2021-03-14 19:02:15 +0100 | <geekosaur> | and that doesn't involve undefined |
| 2021-03-14 19:02:39 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-14 19:02:58 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-14 19:03:21 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-14 19:05:30 +0100 | luke | (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2021-03-14 19:06:19 +0100 | <monochrom> | _ and x are irrefusible patterns >:) |
| 2021-03-14 19:06:34 +0100 | <monochrom> | "a pattern that you cannot refuse to match" |
| 2021-03-14 19:06:42 +0100 | <koz_> | monochrom: Godfather patterns. |
| 2021-03-14 19:08:17 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-14 19:08:54 +0100 | sparsity | (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) |
| 2021-03-14 19:09:06 +0100 | aenesidemus | (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) |
| 2021-03-14 19:10:23 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 19:10:35 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-03-14 19:13:54 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-03-14 19:17:00 +0100 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-14 19:18:43 +0100 | <tomsmeding> | monochrom: you can if writing the thing itself is a type error, e.g. 'f :: Int ; f _ = 1' |
| 2021-03-14 19:19:03 +0100 | <tomsmeding> | And if thay doesn't count, then ~(x,y) is also an irrefusible pattern :) |
| 2021-03-14 19:19:08 +0100 | <tomsmeding> | *that |
| 2021-03-14 19:20:24 +0100 | __minoru__shirae | (~shiraeesh@46.34.207.217) |
| 2021-03-14 19:21:14 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.56.65) (Ping timeout: 260 seconds) |
| 2021-03-14 19:21:30 +0100 | kuribas | (~user@ptr-25vy0i7ct6alt7330p7.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-03-14 19:21:37 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-14 19:21:57 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-14 19:24:36 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Quit: leaving) |
| 2021-03-14 19:25:02 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-03-14 19:25:48 +0100 | luke | (~luke@bitnomial/staff/luke) |
| 2021-03-14 19:26:13 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-14 19:26:43 +0100 | <remal> | [haskell language server question] is there a fallback hie.yaml when none exists? |
| 2021-03-14 19:26:44 +0100 | aenesidemus | (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving) |
| 2021-03-14 19:26:44 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-03-14 19:27:33 +0100 | <koz_> | Isn't there an HLS-related channel? |
| 2021-03-14 19:29:38 +0100 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-14 19:30:46 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 19:31:07 +0100 | <maerwald> | remal: I think so, but it rarely works. There's also cabal-hie now |
| 2021-03-14 19:31:41 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-14 19:31:46 +0100 | <maerwald> | remal: https://github.com/phadej/cabal-extras/tree/master/cabal-hie |
| 2021-03-14 19:32:45 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-14 19:33:03 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 19:33:09 +0100 | <remal> | maerwald: is this because of the hie-bios being unreliable? |
| 2021-03-14 19:33:22 +0100 | <remal> | or is that an unrelated issue? |
| 2021-03-14 19:33:38 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-14 19:33:38 +0100 | <maerwald> | not sure which component it is |
| 2021-03-14 19:33:41 +0100 | <remal> | koz_: no, I don't think there is |
| 2021-03-14 19:33:54 +0100 | <maerwald> | remal: #haskell-language-server |
| 2021-03-14 19:34:04 +0100 | <remal> | maerwald: oh, thanks! |
| 2021-03-14 19:36:12 +0100 | hackage | utility-ht 0.0.16 - Various small helper functions for Lists, Maybes, Tuples, Functions https://hackage.haskell.org/package/utility-ht-0.0.16 (HenningThielemann) |
| 2021-03-14 19:36:29 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) () |
| 2021-03-14 19:36:35 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-14 19:37:41 +0100 | hackage | hexpat-streamparser 0.1.0 - https://hackage.haskell.org/package/hexpat-streamparser-0.1.0 (KristofBastiaensen) |
| 2021-03-14 19:37:51 +0100 | nfd | (~nfd9001@2601:602:77f:1820:cc46:50b4:72bc:69a0) |
| 2021-03-14 19:37:54 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Remote host closed the connection) |
| 2021-03-14 19:38:38 +0100 | <Uniaika> | hehehe, I spent a couple of hours with kuribas, and *paf* he releases his lib! |
| 2021-03-14 19:38:39 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-14 19:38:39 +0100 | <Uniaika> | :D |
| 2021-03-14 19:38:47 +0100 | <koz_> | Productive. |
| 2021-03-14 19:38:59 +0100 | <Uniaika> | that is *not* my middle name :D |
| 2021-03-14 19:39:16 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 19:39:38 +0100 | <koz_> | Nor mine. |
| 2021-03-14 19:40:34 +0100 | dnlkrgr | (~dnlkrgr@HSI-KBW-046-005-005-120.hsi8.kabel-badenwuerttemberg.de) |
| 2021-03-14 19:42:33 +0100 | jayok | (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-03-14 19:44:53 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-14 19:45:00 +0100 | conal | (~conal@64.71.133.70) |
| 2021-03-14 19:46:15 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 19:46:28 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-14 19:46:51 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-14 19:48:41 +0100 | rickygee | (~rickygee@236-53-74-65.gci.net) |
| 2021-03-14 19:50:27 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-03-14 19:51:30 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-14 19:52:07 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 19:52:14 +0100 | dexterlb_ | (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 2021-03-14 19:58:45 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 2021-03-14 20:00:14 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-03-14 20:00:25 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-03-14 20:00:41 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-14 20:01:06 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-14 20:01:16 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-14 20:02:14 +0100 | <Gurkenglas> | irrefutable pattern matches let me write "map all above x to itself, everything else to x" for every particular x i have available at time of writing the code. is there a function a -> a -> a which does this? i could write it for Generic a... |
| 2021-03-14 20:03:33 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-03-14 20:04:03 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-14 20:04:19 +0100 | <Gurkenglas> | oh uh "above" = "more defined than" |
| 2021-03-14 20:04:34 +0100 | <Gurkenglas> | gurk x y = if x less defined than y then y else x |
| 2021-03-14 20:04:50 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2021-03-14 20:05:06 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-14 20:05:26 +0100 | <Gurkenglas> | ah, gurk x y = (x `glb` y) `lub` y |
| 2021-03-14 20:05:35 +0100 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) |
| 2021-03-14 20:07:01 +0100 | <Gurkenglas> | (though lub still sorta depends on Generic so if you have another way, out with it) |
| 2021-03-14 20:07:16 +0100 | <Gurkenglas> | this is useful because fix (f . gurk x) gives the least fixpoint of f above x. |
| 2021-03-14 20:09:42 +0100 | <Gurkenglas> | > let p = (fst p, 1:snd p) in p -- tomsmeding, this is ffffff... |
| 2021-03-14 20:09:44 +0100 | <lambdabot> | (*Exception: <<loop>> |
| 2021-03-14 20:09:49 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-03-14 20:10:59 +0100 | <Gurkenglas> | let f p = (fst p, 1 : snd p); g p = (2 : fst p, snd p) in f(f(g(g(undefined)))) -- this is ffgg⊥. As you see, it is not less defined than ffffff... |
| 2021-03-14 20:11:11 +0100 | <Gurkenglas> | > let f p = (fst p, 1 : snd p); g p = (2 : fst p, snd p) in f(f(g(g(undefined)))) |
| 2021-03-14 20:11:13 +0100 | <lambdabot> | ([2,2*Exception: Prelude.undefined |
| 2021-03-14 20:12:17 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-03-14 20:12:38 +0100 | benkolera | (uid285671@gateway/web/irccloud.com/x-dasgfjgzoqobrquc) |
| 2021-03-14 20:13:07 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-14 20:15:28 +0100 | conal | (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 2021-03-14 20:16:21 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit) |
| 2021-03-14 20:17:02 +0100 | Guest82 | (97c9916a@gateway/web/cgi-irc/kiwiirc.com/ip.151.201.145.106) |
| 2021-03-14 20:17:10 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 256 seconds) |
| 2021-03-14 20:17:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-14 20:17:37 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-14 20:18:21 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-hybevmfrefszbchw) (Quit: Connection closed for inactivity) |
| 2021-03-14 20:18:29 +0100 | <Gurkenglas> | actually my gurk implementation is wrong |
| 2021-03-14 20:19:26 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 20:19:47 +0100 | migossam | (~Android@45.132.115.133) |
| 2021-03-14 20:19:49 +0100 | migossam | (~Android@45.132.115.133) (Excess Flood) |
| 2021-03-14 20:19:52 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 20:21:35 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-14 20:21:47 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-03-14 20:23:20 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-03-14 20:24:13 +0100 | <Gurkenglas> | oh, i see - gurk is impossible to implement, as it is not monotonic - i merely have that gurk x is monotonic for every x :D |
| 2021-03-14 20:25:13 +0100 | <Gurkenglas> | (after all, how would it know that gurk ⊥ () is (), if ⊥ simply loops forever?) |
| 2021-03-14 20:26:52 +0100 | <Gurkenglas> | (bad example, everything is less defined than (). same goes for gurk ⊥ True, though.) |
| 2021-03-14 20:27:21 +0100 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
| 2021-03-14 20:27:28 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-14 20:28:34 +0100 | <tomsmeding> | > let p = (fst p, 1:snd p) in snd p -- Gurkenglas |
| 2021-03-14 20:28:36 +0100 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... |
| 2021-03-14 20:29:26 +0100 | <tomsmeding> | Not completely sure what you're trying to do, but maybe that helps? Fst p doesn't converge, but snd p does progress |
| 2021-03-14 20:29:27 +0100 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2021-03-14 20:29:30 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 20:31:59 +0100 | <Gurkenglas> | tomsmeding, ffgg⊥ is (2:2:⊥,1:1:⊥), ffffff... is (⊥,1:1:1:1:1:1:...). ⊥,(2:⊥,1:⊥),(2:2:⊥,1:1:⊥)(2:2:2:⊥,1:1:1:⊥),... does not converge to (⊥,1:1:1:1:1:1:...) |
| 2021-03-14 20:32:02 +0100 | carlomagno | (~cararell@148.87.23.6) |
| 2021-03-14 20:33:21 +0100 | Guest82 | (97c9916a@gateway/web/cgi-irc/kiwiirc.com/ip.151.201.145.106) (Quit: Connection closed) |
| 2021-03-14 20:33:45 +0100 | <hpc> | ffffff...gggggg... is fffff... though |
| 2021-03-14 20:34:31 +0100 | <Gurkenglas> | hpc, and yet the values of the terms are not the same |
| 2021-03-14 20:35:22 +0100 | <Gurkenglas> | which is concerning, as i thought as you did |
| 2021-03-14 20:35:49 +0100 | <hpc> | sure they are, fffff...gggggg... converges to (⊥,1:1:1:1:1:1:...) because it can never reach the gs |
| 2021-03-14 20:36:00 +0100 | <hpc> | fgfg... is different |
| 2021-03-14 20:36:13 +0100 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds) |
| 2021-03-14 20:36:22 +0100 | <hpc> | things get weird at the limit |
| 2021-03-14 20:37:58 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
| 2021-03-14 20:37:59 +0100 | <Gurkenglas> | ah, I meant "and yet, the value that the sequence converges to is not the same as the value of the infinitary term" |
| 2021-03-14 20:39:32 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-03-14 20:39:47 +0100 | <monochrom> | I don't know what "fff...ggg..." means. |
| 2021-03-14 20:39:59 +0100 | <Gurkenglas> | i had hoped that, in general, the mapping from terms to values would be continuous. now that i think about it in those terms, there's a simpler counterexample: id^n(True) |
| 2021-03-14 20:40:04 +0100 | sparsity | (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Quit: Connection closed) |
| 2021-03-14 20:40:25 +0100 | <Gurkenglas> | monochrom, "f(f(f(...g(g(g(...", which is just "f(f(f(..." of course |
| 2021-03-14 20:40:28 +0100 | <monochrom> | There was once a 0.999...=1 denier I saw on the Internet |
| 2021-03-14 20:40:54 +0100 | <hpc> | ppsh, everyone knows 0.999...=-1/12 |
| 2021-03-14 20:40:55 +0100 | <monochrom> | Their denial reason was "0.999... = 0.999...9 it ends with 9". |
| 2021-03-14 20:41:08 +0100 | <monochrom> | That's the same flaw as "fff...ggg..." |
| 2021-03-14 20:41:26 +0100 | <Gurkenglas> | (or rather, one can define infinitary terms but once you map it to values everything from omega onwards is cut off) |
| 2021-03-14 20:42:13 +0100 | <tomsmeding> | iterate (. f) f . iterate (. g) g |
| 2021-03-14 20:42:51 +0100 | <tomsmeding> | Ah that makes no sense |
| 2021-03-14 20:43:02 +0100 | <Gurkenglas> | fix (f.) . fix (g.) |
| 2021-03-14 20:43:02 +0100 | <hpc> | hmm |
| 2021-03-14 20:43:17 +0100 | <tomsmeding> | :t \f g -> fix f . fix g |
| 2021-03-14 20:43:19 +0100 | <lambdabot> | ((b -> c) -> b -> c) -> ((a -> b) -> a -> b) -> a -> c |
| 2021-03-14 20:43:20 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-14 20:43:33 +0100 | <hpc> | fix (f .) . fix (g .) /= fix ((f .) . (g .)) |
| 2021-03-14 20:43:41 +0100 | <Gurkenglas> | :t \f g -> fix (f.) . fix (g.) |
| 2021-03-14 20:43:42 +0100 | <lambdabot> | (c -> c) -> (a1 -> a1) -> a2 -> c |
| 2021-03-14 20:43:59 +0100 | <hpc> | so i guess the compact way to phrase it is "function composition and fixed points don't distribute" |
| 2021-03-14 20:43:59 +0100 | <tomsmeding> | Lol that inferred type |
| 2021-03-14 20:44:18 +0100 | <Gurkenglas> | hpc, "denotation isn't continuous" |
| 2021-03-14 20:44:37 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:40c1:4e90:a63c:4a65) |
| 2021-03-14 20:45:20 +0100 | <monochrom> | https://mail.haskell.org/pipermail/haskell-cafe/2011-January/088315.html |
| 2021-03-14 20:45:25 +0100 | <monochrom> | "detonational semantics" |
| 2021-03-14 20:45:32 +0100 | <Gurkenglas> | tomsmeding, it's saying that the types don't need to agree because the plumbing never actually connects :) |
| 2021-03-14 20:46:00 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) (Read error: Connection reset by peer) |
| 2021-03-14 20:46:05 +0100 | egwor | (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) |
| 2021-03-14 20:46:35 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-14 20:48:50 +0100 | <monochrom> | and "zen semantics", that one is a great ending. |
| 2021-03-14 20:49:14 +0100 | nfd | (~nfd9001@2601:602:77f:1820:cc46:50b4:72bc:69a0) (Ping timeout: 264 seconds) |
| 2021-03-14 20:49:42 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Remote host closed the connection) |
| 2021-03-14 20:53:23 +0100 | Guest32906 | (~textual@zrcout.mskcc.org) (Ping timeout: 256 seconds) |
| 2021-03-14 20:54:22 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:40c1:4e90:a63c:4a65) (Remote host closed the connection) |
| 2021-03-14 20:54:31 +0100 | arrowsvc_ | (~arr@2.93.163.35) (Ping timeout: 256 seconds) |
| 2021-03-14 20:56:41 +0100 | hexfive | (~hexfive@50.35.83.177) |
| 2021-03-14 20:58:39 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-03-14 20:58:41 +0100 | ADG1089__ | (~aditya@106.212.74.137) |
| 2021-03-14 20:58:56 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-14 21:00:12 +0100 | kiweun | (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-03-14 21:01:07 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-14 21:01:32 +0100 | Athas | (athas@sigkill.dk) (Read error: Connection reset by peer) |
| 2021-03-14 21:01:33 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 21:02:06 +0100 | jneira | (501e6406@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.6) |
| 2021-03-14 21:02:21 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-14 21:03:00 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-14 21:03:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-14 21:04:02 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 21:04:28 +0100 | Alleria | (~textual@2603-7000-3040-0000-e957-83a9-14ba-56cc.res6.spectrum.com) |
| 2021-03-14 21:04:52 +0100 | Alleria | Guest14001 |
| 2021-03-14 21:05:23 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 2021-03-14 21:06:56 +0100 | v75-AsSeNtE | (~Raul@host-87-18-109-234.retail.telecomitalia.it) |
| 2021-03-14 21:06:58 +0100 | irc_user | (uid423822@gateway/web/irccloud.com/x-nlsxajxsercntvta) |
| 2021-03-14 21:07:09 +0100 | <v75-AsSeNtE> | hello |
| 2021-03-14 21:07:12 +0100 | <v75-AsSeNtE> | !request |
| 2021-03-14 21:07:37 +0100 | petersen | (~petersen@redhat/juhp) |
| 2021-03-14 21:08:04 +0100 | <v75-AsSeNtE> | shell free ? |
| 2021-03-14 21:08:06 +0100 | <v75-AsSeNtE> | help me |
| 2021-03-14 21:08:17 +0100 | <v75-AsSeNtE> | sin |
| 2021-03-14 21:08:19 +0100 | <v75-AsSeNtE> | Sigyn |
| 2021-03-14 21:09:13 +0100 | luke | (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2021-03-14 21:09:43 +0100 | dain | (~dain@mobile-166-170-34-1.mycingular.net) (Remote host closed the connection) |
| 2021-03-14 21:14:57 +0100 | bobiusbillius | (~bobiusbil@92.40.175.51.threembb.co.uk) (Ping timeout: 264 seconds) |
| 2021-03-14 21:15:41 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-14 21:16:28 +0100 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed) |
| 2021-03-14 21:18:22 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-14 21:19:01 +0100 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 2021-03-14 21:20:26 +0100 | ADG1089__ | (~aditya@106.212.74.137) (Remote host closed the connection) |
| 2021-03-14 21:20:51 +0100 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Client Quit) |
| 2021-03-14 21:20:55 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-03-14 21:22:41 +0100 | Athas | (athas@sigkill.dk) |
| 2021-03-14 21:23:55 +0100 | MudNA | (6c1cfc0d@pool-108-28-252-13.washdc.fios.verizon.net) (Quit: Connection closed) |
| 2021-03-14 21:24:42 +0100 | kiweun | (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds) |
| 2021-03-14 21:29:46 +0100 | shailangsa | (~shailangs@host86-162-150-241.range86-162.btcentralplus.com) () |
| 2021-03-14 21:31:09 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-14 21:31:29 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Remote host closed the connection) |
| 2021-03-14 21:34:44 +0100 | v75-AsSeNtE | (~Raul@host-87-18-109-234.retail.telecomitalia.it) (Quit: over35 la mia scelta! http://chatover35.altervista.org/) |
| 2021-03-14 21:34:46 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-14 21:40:51 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
| 2021-03-14 21:41:07 +0100 | nek0 | (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-03-14 21:45:11 +0100 | hackage | non-empty 0.3.3 - List-like structures with static restrictions on the number of elements https://hackage.haskell.org/package/non-empty-0.3.3 (HenningThielemann) |
| 2021-03-14 21:45:52 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-14 21:46:13 +0100 | fendor | (~fendor@178.165.131.241.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-14 21:47:54 +0100 | nek0 | (~nek0@mail.nek0.eu) |
| 2021-03-14 21:49:09 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 264 seconds) |
| 2021-03-14 21:50:23 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 21:50:57 +0100 | _noblegas | (uid91066@gateway/web/irccloud.com/x-ehyqidvclvsvmwql) (Quit: Connection closed for inactivity) |
| 2021-03-14 21:51:11 +0100 | hackage | doctest-extract 0.1 - Alternative doctest implementation that extracts comments to modules https://hackage.haskell.org/package/doctest-extract-0.1 (HenningThielemann) |
| 2021-03-14 21:51:42 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 21:52:53 +0100 | remby | (~remby@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) |
| 2021-03-14 21:52:56 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-14 21:53:18 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:6cfb:c91f:3c9a:a8cb) |
| 2021-03-14 21:56:54 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-14 21:57:37 +0100 | remby | (~remby@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-03-14 21:58:02 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 256 seconds) |
| 2021-03-14 21:58:03 +0100 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 265 seconds) |
| 2021-03-14 21:58:48 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-14 21:59:03 +0100 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 2021-03-14 21:59:45 +0100 | Tops2 | (~Tobias@dyndsl-095-033-025-225.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-14 21:59:49 +0100 | nek0 | (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2021-03-14 22:00:38 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-14 22:00:52 +0100 | ajc | (~ajc@69.231.232.79) (Quit: Leaving) |
| 2021-03-14 22:01:04 +0100 | nek0 | (~nek0@mail.nek0.eu) |
| 2021-03-14 22:02:43 +0100 | gitgoood | gitgood |
| 2021-03-14 22:03:15 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 2021-03-14 22:04:17 +0100 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-03-14 22:05:01 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-14 22:05:33 +0100 | egwor | (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) (Quit: Connection closed) |
| 2021-03-14 22:05:52 +0100 | borne | (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-14 22:07:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 22:09:54 +0100 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-03-14 22:11:26 +0100 | fendor | (~fendor@178.165.131.241.wireless.dyn.drei.com) |
| 2021-03-14 22:12:21 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-14 22:12:41 +0100 | hackage | tfp 1.0.2 - Type-level integers, booleans, lists using type families https://hackage.haskell.org/package/tfp-1.0.2 (HenningThielemann) |
| 2021-03-14 22:17:22 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-03-14 22:18:27 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0.1) |
| 2021-03-14 22:19:46 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 22:20:43 +0100 | borne | (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-03-14 22:21:47 +0100 | jayok | (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) |
| 2021-03-14 22:23:11 +0100 | hackage | lapack-ffi 0.0.3 - Auto-generated interface to Fortran LAPACK https://hackage.haskell.org/package/lapack-ffi-0.0.3 (HenningThielemann) |
| 2021-03-14 22:25:09 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-14 22:26:13 +0100 | codygman__ | (~user@47.186.207.161) |
| 2021-03-14 22:26:40 +0100 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-03-14 22:30:11 +0100 | hackage | comfort-array 0.4.1 - Arrays where the index type is a function of the shape type https://hackage.haskell.org/package/comfort-array-0.4.1 (HenningThielemann) |
| 2021-03-14 22:31:53 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 265 seconds) |
| 2021-03-14 22:34:13 +0100 | wtw | (~wtw@unaffiliated/wtw) |
| 2021-03-14 22:34:18 +0100 | wtw | (~wtw@unaffiliated/wtw) () |
| 2021-03-14 22:34:33 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-14 22:34:57 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-03-14 22:37:42 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-03-14 22:40:52 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-03-14 22:43:28 +0100 | dnlkrgr | (~dnlkrgr@HSI-KBW-046-005-005-120.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.9) |
| 2021-03-14 22:44:00 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-14 22:48:11 +0100 | hackage | numeric-prelude 0.4.3.3 - An experimental alternative hierarchy of numeric type classes https://hackage.haskell.org/package/numeric-prelude-0.4.3.3 (HenningThielemann) |
| 2021-03-14 22:48:45 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) (Quit: leaving) |
| 2021-03-14 22:49:13 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-14 22:50:26 +0100 | wopas32 | (uid384704@gateway/web/irccloud.com/x-qslgkfcwyjmugmxz) |
| 2021-03-14 22:53:06 +0100 | codygman__ | (~user@47.186.207.161) |
| 2021-03-14 22:53:53 +0100 | alx741 | (~alx741@181.196.69.27) (Ping timeout: 260 seconds) |
| 2021-03-14 22:55:50 +0100 | <koz_> | Am I reading it correctly that DList's Monad instance is the same (semantically) as that of []? |
| 2021-03-14 22:57:54 +0100 | kenran | (~kenran@mue-88-130-62-145.dsl.tropolys.de) (Remote host closed the connection) |
| 2021-03-14 22:58:33 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-14 22:58:56 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-14 23:00:06 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 23:00:18 +0100 | jayok | (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-03-14 23:03:17 +0100 | codygman__ | (~user@47.186.207.161) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-03-14 23:03:50 +0100 | codygman__ | (~user@47.186.207.161) |
| 2021-03-14 23:04:03 +0100 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Quit: hyiltiz) |
| 2021-03-14 23:05:05 +0100 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-03-14 23:06:39 +0100 | alx741 | (~alx741@181.196.68.64) |
| 2021-03-14 23:07:16 +0100 | codygman__ | (~user@47.186.207.161) |
| 2021-03-14 23:09:33 +0100 | dhil | (~dhil@80.208.56.181) (Ping timeout: 264 seconds) |
| 2021-03-14 23:11:44 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-14 23:12:58 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-14 23:13:23 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-14 23:14:51 +0100 | borne | (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-14 23:15:00 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 2021-03-14 23:15:21 +0100 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 246 seconds) |
| 2021-03-14 23:16:37 +0100 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-03-14 23:17:58 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-14 23:18:15 +0100 | santiweight | (622165e4@c-98-33-101-228.hsd1.ca.comcast.net) |
| 2021-03-14 23:18:21 +0100 | bitmagie | (~Thunderbi@200116b8062714004dd6871dfade2055.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-14 23:19:09 +0100 | <c_wraith> | koz_: why wouldn't it be? DList is semantically the same as []. |
| 2021-03-14 23:19:22 +0100 | <koz_> | c_wraith: I thought so too, but I figured I'd ask in case I was missing something. |
| 2021-03-14 23:19:43 +0100 | <c_wraith> | I'd expect instances like that to lose a lot of efficiency, though |
| 2021-03-14 23:20:07 +0100 | <c_wraith> | DList is really only efficient for concatenation. The representation gets in the way for everything else |
| 2021-03-14 23:20:22 +0100 | <koz_> | I'm mostly after its <*>, and I doubt there's any efficiency to be lost there. Unless it's magically _worse_ than n * m? |
| 2021-03-14 23:20:55 +0100 | <c_wraith> | No, certainly not worse asymptotically. |
| 2021-03-14 23:21:05 +0100 | <koz_> | (I asked about Monad because it's got (<*>) = ap) |
| 2021-03-14 23:21:35 +0100 | <santiweight> | At the fear of spamming: I'm live-coding a poker libary/application in Haskell if anyone wants to join :) https://www.twitch.tv/santiweight |
| 2021-03-14 23:22:14 +0100 | borne | (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-03-14 23:25:53 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-14 23:29:11 +0100 | hackage | rescue 0.4.2 - More understandable exceptions https://hackage.haskell.org/package/rescue-0.4.2 (expede) |
| 2021-03-14 23:29:13 +0100 | Benzi-Junior | (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 245 seconds) |
| 2021-03-14 23:29:32 +0100 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-14 23:30:01 +0100 | heatsink_ | (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 2021-03-14 23:30:26 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving) |
| 2021-03-14 23:32:14 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-14 23:32:16 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-14 23:32:56 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-14 23:34:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-14 23:36:05 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 2021-03-14 23:37:01 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 23:37:36 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-14 23:38:12 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-14 23:40:41 +0100 | hackage | connections 0.3.0 - Orders, Galois connections, and lattices. https://hackage.haskell.org/package/connections-0.3.0 (cmk) |
| 2021-03-14 23:41:11 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-14 23:41:57 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-14 23:45:57 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-14 23:49:18 +0100 | nhs | (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-14 23:54:53 +0100 | fendor | (~fendor@178.165.131.241.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-03-14 23:57:04 +0100 | qih | (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 2021-03-14 23:58:10 +0100 | __minoru__shirae | (~shiraeesh@46.34.207.217) (Ping timeout: 256 seconds) |
| 2021-03-14 23:59:45 +0100 | notzmv | (~zmv@unaffiliated/zmv) |