Newest at the top
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) |
2024-07-04 20:10:42 +0200 | <enikar> | S is just a constructor |
2024-07-04 20:10:34 +0200 | <edrx> | I am trying to draw a diagram with the types of all the subexpressions of "app (S st) x = st x" and I'm stuck... |
2024-07-04 20:09:42 +0200 | <edrx> | I'm very confused. are there two "S"s, one that acts on types and another one that acts on terms? |
2024-07-04 20:08:41 +0200 | <edrx> | app (S st) x = st x |
2024-07-04 20:08:41 +0200 | <edrx> | app :: ST a -> State -> (a,State) |
2024-07-04 20:08:40 +0200 | <edrx> | newtype ST a = S (State -> (a,State)) |
2024-07-04 20:08:33 +0200 | <edrx> | hi all! I am trying to understand the section "The state monad" in Hutton's book - here: http://anggtwu.net/tmp/hutton__programming_in_haskell.pdf#page=199 -, and he defines ST and app in this way: |
2024-07-04 20:06:18 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-04 20:06:05 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 240 seconds) |
2024-07-04 20:05:43 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-07-04 20:01:34 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) |
2024-07-04 20:00:26 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) () |
2024-07-04 20:00:03 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) |
2024-07-04 19:59:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-04 19:53:21 +0200 | Fijxu | (~Fijxu@user/fijxu) |
2024-07-04 19:48:56 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |