Newest at the top
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) |
2024-07-04 19:46:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-07-04 19:46:17 +0200 | gmg | (~user@user/gehmehgeh) |
2024-07-04 19:45:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-07-04 19:44:58 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
2024-07-04 19:44:33 +0200 | califax_ | califax |
2024-07-04 19:44:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-07-04 19:43:58 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
2024-07-04 19:43:58 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-07-04 19:43:30 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-07-04 19:43:21 +0200 | califax_ | (~califax@user/califx) |
2024-07-04 19:33:15 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-04 19:31:16 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-07-04 19:24:59 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-04 19:24:35 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:5406:3040:be03:598b) (Remote host closed the connection) |
2024-07-04 19:22:53 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 240 seconds) |
2024-07-04 19:18:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-07-04 19:11:21 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-04 19:11:21 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-04 19:11:21 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-04 19:10:37 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) |
2024-07-04 19:09:52 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
2024-07-04 19:08:50 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-07-04 18:58:11 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
2024-07-04 18:57:34 +0200 | simendsjo | (~user@84.209.170.3) |
2024-07-04 18:54:05 +0200 | euleritian | (~euleritia@176.2.137.249) |
2024-07-04 18:53:24 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) (Ping timeout: 255 seconds) |
2024-07-04 18:53:08 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-07-04 18:53:01 +0200 | mikess | (~mikess@user/mikess) |
2024-07-04 18:47:03 +0200 | edrx | (~Eduardo@170-233-51-85.static.sumicity.net.br) (Ping timeout: 264 seconds) |
2024-07-04 18:42:31 +0200 | <edrx> | OOPS - I'm late! need to buy lunch... I'll ask the question again later. sorry... |
2024-07-04 18:41:34 +0200 | <edrx> | it looks very incomplete to me... only a few terms are written on the boxes and wires of the diagram, and the types are left out "as an exercise to the reader"... |
2024-07-04 18:40:19 +0200 | <edrx> | anyone knows where I can find more about that style of string diagrams? |
2024-07-04 18:39:56 +0200 | <edrx> | this is from Hutton's book: https://i.ibb.co/MNCSM0v/sshot.png |
2024-07-04 18:38:14 +0200 | <edrx> | hi all! gmorning! |
2024-07-04 18:37:46 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
2024-07-04 18:35:19 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) |