2024-06-29 00:02:14 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
2024-06-29 00:07:23 +0200 | Pixi | (~Pixi@user/pixi) |
2024-06-29 00:11:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-06-29 00:12:49 +0200 | pavonia | (~user@user/siracusa) |
2024-06-29 00:14:15 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 255 seconds) |
2024-06-29 00:22:03 +0200 | mikess | (~mikess@user/mikess) |
2024-06-29 00:25:47 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-06-29 00:30:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-06-29 00:31:37 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
2024-06-29 00:48:09 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-06-29 00:48:37 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:8ec3:58dc:1906:fdfb) |
2024-06-29 00:54:59 +0200 | zzz | (~yin@user/zero) |
2024-06-29 00:56:17 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc15096bb9c652d485a4.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-06-29 01:09:43 +0200 | mikess | (~mikess@user/mikess) |
2024-06-29 01:16:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-06-29 01:21:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-06-29 01:24:13 +0200 | <monochrom> | Oh noes, it's tau day! I forgot. |
2024-06-29 01:24:34 +0200 | <monochrom> | But I ate a cookie, so that's fine. :) |
2024-06-29 01:25:20 +0200 | <monochrom> | wine glass is also circular so that's also fine :) |
2024-06-29 01:26:23 +0200 | geekosaur | sends monochrom an egg yolk and a lentil |
2024-06-29 01:40:17 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
2024-06-29 01:42:53 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
2024-06-29 02:00:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-06-29 02:02:49 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
2024-06-29 02:40:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-06-29 02:51:14 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2024-06-29 02:58:09 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
2024-06-29 02:58:09 +0200 | ChanServ | +v haskellbridge |
2024-06-29 03:07:16 +0200 | DreamDeckup | (~DreamDeck@184.145.181.233) (Ping timeout: 246 seconds) |
2024-06-29 03:07:34 +0200 | DreamDeckup | (~DreamDeck@194.127.199.91) |
2024-06-29 03:16:22 +0200 | <glguy> | andrea_r: seems like you're using alloca incorrectly |
2024-06-29 03:17:56 +0200 | <glguy> | You shouldn't be peeking it before poking it, and the pointer isn't valid that it passes to the continuation once the continuation returns |
2024-06-29 03:19:45 +0200 | <glguy> | You need malloc instead of alloca |
2024-06-29 03:20:17 +0200 | <glguy> | Specifically you can use: new :: Storable a => a -> IO (Ptr a) |
2024-06-29 03:31:16 +0200 | danza | (~francesco@151.46.223.232) |
2024-06-29 03:32:15 +0200 | phma | (phma@2001:5b0:211c:3a08:71e1:2206:9a0a:f676) (Read error: Connection reset by peer) |
2024-06-29 03:32:40 +0200 | phma | (phma@2001:5b0:211c:3a08:71e1:2206:9a0a:f676) |
2024-06-29 03:41:23 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-06-29 03:44:00 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-06-29 03:53:03 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-29 03:54:41 +0200 | nitrix | (~nitrix@user/meow/nitrix) |
2024-06-29 03:56:50 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-29 04:00:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-06-29 04:01:27 +0200 | danza_ | (~francesco@151.44.142.105) |
2024-06-29 04:01:39 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-06-29 04:02:03 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-06-29 04:03:03 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-29 04:03:58 +0200 | danza | (~francesco@151.46.223.232) (Ping timeout: 246 seconds) |
2024-06-29 04:04:22 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-06-29 04:46:05 +0200 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 240 seconds) |
2024-06-29 04:48:07 +0200 | td_ | (~td@i5387091C.versanet.de) |
2024-06-29 05:02:03 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-06-29 05:08:26 +0200 | zzz | (~yin@user/zero) |
2024-06-29 05:16:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-06-29 05:17:18 +0200 | euleritian | (~euleritia@dynamic-176-007-199-084.176.7.pool.telefonica.de) |
2024-06-29 05:17:44 +0200 | <glguy> | andrea_r: even fixing those mistakes I still get the crash on 9.8 but not 9.10 |
2024-06-29 05:18:52 +0200 | zzz | (~yin@user/zero) (Ping timeout: 246 seconds) |
2024-06-29 05:26:02 +0200 | zzz | (~yin@user/zero) |
2024-06-29 05:32:45 +0200 | abrantesasf | (~abrantesa@179.217.48.72) |
2024-06-29 05:37:33 +0200 | DreamDeckup | (~DreamDeck@194.127.199.91) (Read error: Connection reset by peer) |
2024-06-29 05:43:37 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-29 05:50:08 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-06-29 05:50:53 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-29 06:01:30 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: ) |
2024-06-29 06:02:09 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
2024-06-29 06:02:39 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-06-29 06:03:48 +0200 | Pixi | (~Pixi@user/pixi) |
2024-06-29 06:05:03 +0200 | abrantesasf | (~abrantesa@179.217.48.72) (Remote host closed the connection) |
2024-06-29 06:08:24 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:8ec3:58dc:1906:fdfb) (Quit: Leaving) |
2024-06-29 06:09:02 +0200 | zzz | (~yin@user/zero) |
2024-06-29 06:16:20 +0200 | euleritian | (~euleritia@dynamic-176-007-199-084.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-06-29 06:23:25 +0200 | euleritian | (~euleritia@dynamic-176-004-188-141.176.4.pool.telefonica.de) |
2024-06-29 06:28:57 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-05-70-51-80-57.dsl.bell.ca) |
2024-06-29 06:30:56 +0200 | euleritian | (~euleritia@dynamic-176-004-188-141.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-29 06:31:14 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-06-29 06:32:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-06-29 06:36:16 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
2024-06-29 06:37:44 +0200 | <cheater> | how would you encode: function f takes a type a and returns another value of type a that is larger than the parameter (larger meaning that all the values held inside the parameter are also held in the return value) |
2024-06-29 06:38:06 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-05-70-51-80-57.dsl.bell.ca) (Ping timeout: 255 seconds) |
2024-06-29 06:38:51 +0200 | zzz | (~yin@user/zero) |
2024-06-29 06:46:29 +0200 | <c_wraith> | It's either trivial due to parametricity, or an ad-hoc mess that can be anything. |
2024-06-29 06:48:24 +0200 | danza_ | (~francesco@151.44.142.105) (Ping timeout: 268 seconds) |
2024-06-29 06:54:08 +0200 | danza_ | (~francesco@151.44.142.105) |
2024-06-29 06:55:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-29 06:56:59 +0200 | <danza_> | or a function that was previously partially applied |
2024-06-29 07:01:32 +0200 | zzz | (~yin@user/zero) |
2024-06-29 07:02:38 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:fc27:3b97:9d0e:b091) (Remote host closed the connection) |
2024-06-29 07:03:09 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:2727:c00:50bb:6a1f) |
2024-06-29 07:06:56 +0200 | <cheater> | are y'all talking to me |
2024-06-29 07:07:18 +0200 | <cheater> | i'm talking about a function f :: a -> a |
2024-06-29 07:07:41 +0200 | <cheater> | but i want to enhance the type to explain that if f x = y where y = ..., then y `largerThan` x for a specific largerThan |
2024-06-29 07:07:54 +0200 | <cheater> | or something else to that effect |
2024-06-29 07:10:08 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-06-29 07:12:06 +0200 | <c_wraith> | Do you want to choose a type that actually says what you mean? |
2024-06-29 07:12:26 +0200 | <c_wraith> | Like... do you mean something more like f :: A -> A? |
2024-06-29 07:14:34 +0200 | <c_wraith> | (capitalization matters. If you're actually talking about some concrete but opaque type, use capital letters) |
2024-06-29 07:15:06 +0200 | <danza_> | nah it sounds more like the untyped behaviour is the topic, but the question is not really clear. That `largerThan`, for instance, seems like it would be an argument to `f` |
2024-06-29 07:16:38 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
2024-06-29 07:17:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-06-29 07:19:01 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-06-29 07:19:45 +0200 | <c_wraith> | Or maybe you want f :: LargerThan a b => a -> b |
2024-06-29 07:26:39 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 264 seconds) |
2024-06-29 07:30:49 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-06-29 07:30:59 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:b98a:b09d:31d2:62c5) (Remote host closed the connection) |
2024-06-29 07:36:46 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-06-29 07:37:39 +0200 | wagle | (~wagle@quassel.wagle.io) |
2024-06-29 07:48:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-29 07:57:15 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc649d6268bc0b57d2a1.dip0.t-ipconnect.de) |
2024-06-29 07:57:21 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-29 08:01:39 +0200 | danza__ | (~francesco@151.44.205.235) |
2024-06-29 08:04:02 +0200 | danza_ | (~francesco@151.44.142.105) (Ping timeout: 252 seconds) |
2024-06-29 08:24:19 +0200 | danza__ | (~francesco@151.44.205.235) (Ping timeout: 256 seconds) |
2024-06-29 08:25:13 +0200 | danza__ | (~francesco@151.44.205.235) |
2024-06-29 08:29:40 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-06-29 08:30:36 +0200 | danza__ | (~francesco@151.44.205.235) (Ping timeout: 255 seconds) |
2024-06-29 08:32:00 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-06-29 08:35:05 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-29 08:41:29 +0200 | zzz | (~yin@user/zero) |
2024-06-29 08:49:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-06-29 08:55:11 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-06-29 08:55:23 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-06-29 08:56:01 +0200 | zzz | (~yin@user/zero) |
2024-06-29 08:57:24 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-06-29 08:57:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-29 08:57:58 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 246 seconds) |
2024-06-29 09:02:02 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |