Newest at the top
| 2024-07-04 21:33:54 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-07-04 21:33:06 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-07-04 21:32:31 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-04 21:28:39 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:ef2:fbb7:f346:1550) |
| 2024-07-04 21:07:46 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-04 20:59:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-04 20:59:39 +0200 | euleritian | (~euleritia@dynamic-176-002-137-249.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-04 20:54:02 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-04 20:54:02 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-04 20:54:01 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-04 20:53:47 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-07-04 20:51:50 +0200 | euleritian | (~euleritia@dynamic-176-002-137-249.176.2.pool.telefonica.de) |
| 2024-07-04 20:51:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-04 20:50:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-04 20:44:12 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-04 20:39:46 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-04 20:35:06 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) (Ping timeout: 255 seconds) |
| 2024-07-04 20:32:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-04 20:30:44 +0200 | <edrx> | many many thanks =) |
| 2024-07-04 20:30:39 +0200 | <edrx> | now I need to go a place without internet... |
| 2024-07-04 20:29:46 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 20:28:51 +0200 | <edrx> | now at least I can point to a specific underbrace in the diagram and say "this is the hard step" =/ |
| 2024-07-04 20:28:12 +0200 | <edrx> | thanks |
| 2024-07-04 20:28:06 +0200 | <mauke> | that looks right |
| 2024-07-04 20:27:33 +0200 | <edrx> | right? |
| 2024-07-04 20:27:27 +0200 | <edrx> | then f :: State -> (a,State) |
| 2024-07-04 20:27:13 +0200 | <edrx> | if we have S f :: ST a |
| 2024-07-04 20:26:19 +0200 | <edrx> | https://i.ibb.co/RHtDFLk/sshot.png |
| 2024-07-04 20:23:13 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-04 20:22:30 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-04 20:20:42 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-07-04 20:20:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-04 20:18:27 +0200 | <edrx> | thanks!!! let me typeset it in a nicer way... |
| 2024-07-04 20:17:23 +0200 | <ncf> | yes |
| 2024-07-04 20:16:38 +0200 | <edrx> | is this diagram correct? https://0x0.st/Xane.txt |
| 2024-07-04 20:16:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-07-04 20:16:22 +0200 | <ncf> | S X means S :: X -> ST a |
| 2024-07-04 20:16:04 +0200 | <ncf> | maybe you're confused by the syntax for constructor definitions |
| 2024-07-04 20:15:46 +0200 | <edrx> | ncf: aha! |
| 2024-07-04 20:15:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-04 20:15:41 +0200 | <enikar> | but is the case of State there is no alternative |
| 2024-07-04 20:15:36 +0200 | <ncf> | S (\ s -> (42, s)) :: ST Int |
| 2024-07-04 20:15:29 +0200 | euleritian | (~euleritia@176.2.137.249) (Read error: Connection reset by peer) |
| 2024-07-04 20:15:23 +0200 | <ncf> | edrx: ST is a type constructor; S is a term constructor |
| 2024-07-04 20:15:17 +0200 | <enikar> | this is same as: Tree a = Leaf a | Branch a a (Tree a) |
| 2024-07-04 20:15:15 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-04 20:13:08 +0200 | <enikar> | in this defintion F is a constructor not a type. |
| 2024-07-04 20:12:50 +0200 | <enikar> | well, and if you make a data type : type Foo a = F a |
| 2024-07-04 20:11:44 +0200 | <edrx> | for types? in the sense that S Int works but S 42 doesn't? |
| 2024-07-04 20:11:43 +0200 | <enikar> | to hold a lambda (function) which transform a State to a pair (a, State) |
