Logs: freenode/#haskell
| 2021-03-16 10:18:22 | <dminuoso> | So that's isomorphic to `(Int -> r) -> r` |
| 2021-03-16 10:18:30 | <dminuoso> | that is, `runCont g :: (Int -> r) -> r` |
| 2021-03-16 10:18:44 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-03-16 10:19:20 | → | jhrcek joins (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) |
| 2021-03-16 10:21:05 | <guest316> | dminuoso: right |
| 2021-03-16 10:21:38 | <guest316> | dminuoso: so runCont g $ x :: r, would callCC take x? |
| 2021-03-16 10:22:32 | <guest316> | runCont (callCC $ \throw -> ...) x |
| 2021-03-16 10:22:39 | → | Major_Biscuit joins (~Major_Bis@wlan-145-94-219-47.wlan.tudelft.nl) |
| 2021-03-16 10:22:43 | <guest316> | would this x will be inside callCC? |
| 2021-03-16 10:27:38 | × | ymherklotz quits (~ymherklot@2a0c:5bc0:40:107b:fdfc:4d2d:898a:f9f5) (Ping timeout: 264 seconds) |
| 2021-03-16 10:27:50 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-16 10:28:47 | × | neiluj quits (~jco@unaffiliated/neiluj) (Remote host closed the connection) |
| 2021-03-16 10:28:47 | × | neiluj_ quits (~jco@91-167-203-101.subs.proxad.net) (Remote host closed the connection) |
| 2021-03-16 10:30:59 | <dminuoso> | No, of course not. |
| 2021-03-16 10:31:21 | <dminuoso> | Given `runCont expr g`, then `g` is the continuation for whatever expr produces. |
| 2021-03-16 10:37:19 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 268 seconds) |
| 2021-03-16 10:38:20 | → | kuribas joins (~user@ptr-25vy0iaa19zfetqtyes.18120a2.ip6.access.telenet.be) |
| 2021-03-16 10:38:34 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-03-16 10:38:34 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-03-16 10:38:34 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-03-16 10:39:05 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-16 10:39:08 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-03-16 10:41:24 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-16 10:42:15 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:f047:e119:fc45:ad77) |
| 2021-03-16 10:43:09 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:f047:e119:fc45:ad77) (Client Quit) |
| 2021-03-16 10:46:10 | aforemny | is now known as aforemny_ |
| 2021-03-16 10:46:39 | aforemny_ | is now known as aforemny |
| 2021-03-16 10:48:02 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:1175:1d12:3f7a:f4b9) (Ping timeout: 264 seconds) |
| 2021-03-16 10:53:02 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-16 10:53:43 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-16 11:00:01 | → | Alleria joins (~textual@69.202.254.168) |
| 2021-03-16 11:00:26 | Alleria | is now known as Guest22380 |
| 2021-03-16 11:03:51 | → | aarvar joins (~foewfoiew@2607:fb90:f25:37c:1175:1d12:3f7a:f4b9) |
| 2021-03-16 11:04:32 | × | Guest22380 quits (~textual@69.202.254.168) (Ping timeout: 256 seconds) |
| 2021-03-16 11:06:36 | → | CoconutCrab joins (~Cua@unaffiliated/coconutcrab) |
| 2021-03-16 11:06:36 | curiousgay | finished reading "9.3 Using Monads" in Gentle Introduction to Haskell |
| 2021-03-16 11:06:49 | <curiousgay> | I guess I'll understand that only in practice |
| 2021-03-16 11:06:51 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-hmvjhlnbprzcamlb) (Quit: Connection closed for inactivity) |
| 2021-03-16 11:07:19 | <dminuoso> | Yes. |
| 2021-03-16 11:07:28 | <dminuoso> | To be fair, the gentle introduction is anything *but* gentle. :) |
| 2021-03-16 11:07:44 | <curiousgay> | Go - reflection is never clear; Haskell - monads are never clear :) |
| 2021-03-16 11:09:11 | <kuribas> | curiousgay: that's the worst introduction to monads ever |
| 2021-03-16 11:09:13 | × | Major_Biscuit quits (~Major_Bis@wlan-145-94-219-47.wlan.tudelft.nl) (Ping timeout: 245 seconds) |
| 2021-03-16 11:10:14 | × | aarvar quits (~foewfoiew@2607:fb90:f25:37c:1175:1d12:3f7a:f4b9) (Ping timeout: 264 seconds) |
| 2021-03-16 11:11:17 | <kuribas> | I remember it starting with the monad laws. |
| 2021-03-16 11:11:24 | <curiousgay> | yes |
| 2021-03-16 11:11:32 | <kuribas> | that's like teaching aritmetic by starting with the associative and commutative laws. |
| 2021-03-16 11:11:45 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-16 11:12:14 | <curiousgay> | it took some time ti understand: xs >>= return . f = fmap f xs |
| 2021-03-16 11:12:22 | <curiousgay> | s/ti/to/ |
| 2021-03-16 11:12:22 | <kuribas> | "hello kids, so number form a group is a set equipped with a binary operation that combines any two elements to form a third element in such a way that three conditions called group axioms are satisfied, namely associativity, identity and invertibility. " |
| 2021-03-16 11:12:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-16 11:13:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-16 11:14:03 | <kuribas> | curiousgay: don't bother with the laws, try to get some intuition for do notation and the bind function first. |
| 2021-03-16 11:15:11 | <Logio> | they used to teach set theory as the first maths back in the day, had a professor who said it was the best thing that could've happened to him (and his colleague who added "and for no one else") |
| 2021-03-16 11:15:25 | <pjb> | kuribas: multiple groups, or other structures, and you can pile on new ones. |
| 2021-03-16 11:15:34 | <kuribas> | Logio: first math for kids, or for university students? |
| 2021-03-16 11:15:39 | <Logio> | kuribas: for kids |
| 2021-03-16 11:15:44 | × | curiousgay quits (~gay@178.217.208.8) (Read error: Connection reset by peer) |
| 2021-03-16 11:15:55 | <olligobber> | set theory for kids? like how young? |
| 2021-03-16 11:16:10 | <kuribas> | we did learn set theory, but that's long after learning arithmetic. |
| 2021-03-16 11:16:39 | <Logio> | I'm not sure what grade it was back then, but between 8-11 year olds I'd wager |
| 2021-03-16 11:17:00 | <pjb> | kuribas: when you pile 2 groups, you get a field ;-) |
| 2021-03-16 11:17:01 | <kuribas> | Logio: but surely at that time they knew how to add numbers? |
| 2021-03-16 11:17:17 | <pjb> | olligobber: you can start very young. I did… |
| 2021-03-16 11:17:35 | <Logio> | kuribas: no, not necessarily |
| 2021-03-16 11:17:40 | <pjb> | But granted, perhaps not for everybody. |
| 2021-03-16 11:18:00 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 2021-03-16 11:18:03 | <pjb> | and indeed, there are prerequisites. |
| 2021-03-16 11:18:11 | <Logio> | but you don't need arithmetic for building sets of (physical) things |
| 2021-03-16 11:18:24 | <Logio> | which I guess was partly the point |
| 2021-03-16 11:18:33 | → | kam1 joins (~kam1@83.123.167.219) |
| 2021-03-16 11:18:50 | <pjb> | Definitely. I started in kindergarden with blocks triangles, rectangles, squares, disks, in red, yellow and blue. We could do all kinds of sets and intersections and unions! |
| 2021-03-16 11:18:58 | <Logio> | someone said that they still teach it like that in Hungary |
| 2021-03-16 11:18:58 | × | kam1 quits (~kam1@83.123.167.219) (Read error: Connection reset by peer) |
| 2021-03-16 11:19:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-16 11:19:23 | <pjb> | Well, this is real school, vs. nursery… |
| 2021-03-16 11:19:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-16 11:19:51 | <pjb> | But again, you probably cannot do that with everybody, at least from the same age. |
| 2021-03-16 11:20:18 | <pjb> | This is the main problem with education, it is not discriminating and differentiating enough the pupils. |
| 2021-03-16 11:22:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Ping timeout: 264 seconds) |
| 2021-03-16 11:24:50 | → | caro joins (~caro@212.83.144.58) |
| 2021-03-16 11:24:52 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 276 seconds) |
| 2021-03-16 11:25:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-16 11:25:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-16 11:25:48 | → | aarvar joins (~foewfoiew@2607:fb90:f33:157e:1175:1d12:3f7a:f4b9) |
| 2021-03-16 11:28:16 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-16 11:28:40 | → | Alleria__ joins (~textual@zrcout.mskcc.org) |
| 2021-03-16 11:28:59 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-03-16 11:29:46 | hpc_ | is now known as hpc |
| 2021-03-16 11:29:50 | <kuribas> | pjb: not everyone is a genius like you |
| 2021-03-16 11:30:54 | <curiousgay> | kuribas: well, I'll need to think of useage of (>>=) outside of (>>) :) (someone playing with electricity in my town) |
| 2021-03-16 11:31:23 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2021-03-16 11:31:46 | <kuribas> | curiousgay: I can recommen cis194: https://www.seas.upenn.edu/~cis194/fall16/ |
| 2021-03-16 11:36:06 | <curiousgay> | kuribas: ah, right, it binds to a variable, thanks |
| 2021-03-16 11:38:40 | → | geekosaur joins (ac3a3b4d@172.58.59.77) |
| 2021-03-16 11:45:03 | → | toughLuck joins (~Seo@84-112-54-174.cable.dynamic.surfer.at) |
| 2021-03-16 11:46:03 | × | hvr_ quits (~hvr@haskell/developer/hvr) (Remote host closed the connection) |
| 2021-03-16 11:46:44 | → | hvr joins (~hvr@haskell/developer/hvr) |
| 2021-03-16 11:46:53 | × | toughLuck quits (~Seo@84-112-54-174.cable.dynamic.surfer.at) (Client Quit) |
All times are in UTC.