Newest at the top
2024-06-29 08:04:02 +0200 | danza_ | (~francesco@151.44.142.105) (Ping timeout: 252 seconds) |
2024-06-29 08:01:39 +0200 | danza__ | (~francesco@151.44.205.235) |
2024-06-29 07:57:21 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-29 07:57:15 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc649d6268bc0b57d2a1.dip0.t-ipconnect.de) |
2024-06-29 07:48:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-29 07:37:39 +0200 | wagle | (~wagle@quassel.wagle.io) |
2024-06-29 07:36:46 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
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:30:49 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-06-29 07:26:39 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 264 seconds) |
2024-06-29 07:19:45 +0200 | <c_wraith> | Or maybe you want f :: LargerThan a b => a -> b |
2024-06-29 07:19:01 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-06-29 07:17:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-06-29 07:16:38 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
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: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:12:26 +0200 | <c_wraith> | Like... do you mean something more like f :: A -> A? |
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:10:08 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-06-29 07:07:54 +0200 | <cheater> | or something else to that effect |
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:18 +0200 | <cheater> | i'm talking about a function f :: a -> a |
2024-06-29 07:06:56 +0200 | <cheater> | are y'all talking to me |
2024-06-29 07:03:09 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:2727:c00:50bb:6a1f) |
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:01:32 +0200 | zzz | (~yin@user/zero) |
2024-06-29 06:56:59 +0200 | <danza_> | or a function that was previously partially applied |
2024-06-29 06:55:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-29 06:54:08 +0200 | danza_ | (~francesco@151.44.142.105) |
2024-06-29 06:48:24 +0200 | danza_ | (~francesco@151.44.142.105) (Ping timeout: 268 seconds) |
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:38:51 +0200 | zzz | (~yin@user/zero) |
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: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:36:16 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
2024-06-29 06:32:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-06-29 06:31:14 +0200 | euleritian | (~euleritia@77.22.252.56) |
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:28:57 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-05-70-51-80-57.dsl.bell.ca) |
2024-06-29 06:23:25 +0200 | euleritian | (~euleritia@dynamic-176-004-188-141.176.4.pool.telefonica.de) |
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:09:02 +0200 | zzz | (~yin@user/zero) |
2024-06-29 06:08:24 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:8ec3:58dc:1906:fdfb) (Quit: Leaving) |
2024-06-29 06:05:03 +0200 | abrantesasf | (~abrantesa@179.217.48.72) (Remote host closed the connection) |
2024-06-29 06:03:48 +0200 | Pixi | (~Pixi@user/pixi) |
2024-06-29 06:02:39 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-06-29 06:02:09 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
2024-06-29 06:01:30 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: ) |
2024-06-29 05:50:53 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-29 05:50:08 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |