Logs: liberachat/#haskell
| 2021-06-21 14:25:05 | <lortabac> | yes I agree |
| 2021-06-21 14:25:50 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-21 14:26:17 | <lortabac> | Hecate: thanks I've just read that section, it seems that MVar are good for my use case |
| 2021-06-21 14:30:08 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Quit: Leaving) |
| 2021-06-21 14:31:31 | <anon1> | hey, how do i extend https://wiki.haskell.org/Roll_your_own_IRC_bot so it can connect over TLS? |
| 2021-06-21 14:35:09 | <exarkun> | anon1: it's not exactly based on that wiki page but https://git.sr.ht/~jcalderone/DevBot/tree/main/item/src/Net.hs#L339 |
| 2021-06-21 14:36:11 | × | fendor_ quits (~fendor@77.119.129.45.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-06-21 14:36:34 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-21 14:36:40 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 265 seconds) |
| 2021-06-21 14:37:44 | → | Morrow joins (~MorrowM_@147.161.9.198) |
| 2021-06-21 14:39:05 | → | shimin joins (~liushimin@2001:250:5806:3dad:c501:9418:6d95:abfa) |
| 2021-06-21 14:39:29 | <anon1> | exarkun: thanks a lot |
| 2021-06-21 14:40:21 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-21 14:43:04 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-21 14:43:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-21 14:44:29 | <teaSlurper> | is polymorphism in haskell heavily about pattern matching? |
| 2021-06-21 14:44:37 | → | moet joins (~moet@172.58.75.87) |
| 2021-06-21 14:45:11 | <c_wraith> | they're not especially related |
| 2021-06-21 14:45:37 | <dminuoso> | Mmm. Ad-hoc polymorphism is type-level pattern matching. |
| 2021-06-21 14:46:09 | <dminuoso> | Perhaps we can think of typeclasses as setting up a type level `case-of`, and instances providing match clauses? |
| 2021-06-21 14:47:14 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.227.207) |
| 2021-06-21 14:47:28 | <teaSlurper> | ok, i'll keep reading. am start to get to that now in the "school of music" haskell book |
| 2021-06-21 14:47:30 | × | jamestmartin quits (james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2021-06-21 14:47:40 | <teaSlurper> | polymorphism concepts |
| 2021-06-21 14:48:01 | × | ystael quits (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2021-06-21 14:48:56 | <dminuoso> | teaSlurper: At the core, a polymorphic value is one whose type mentions a type variable. The user/caller/consumer must choose a type for every such type variable (satisfying the constraints, if any) |
| 2021-06-21 14:49:00 | <dminuoso> | % :t id |
| 2021-06-21 14:49:00 | <yahb> | dminuoso: a -> a |
| 2021-06-21 14:49:20 | → | ystael joins (~ystael@user/ystael) |
| 2021-06-21 14:49:26 | <dminuoso> | The user of `id` has somehow decide/choose the types. This choice is usually done implicitly by the argument you provide it (or by a type signature) |
| 2021-06-21 14:49:37 | <c_wraith> | I suppose there's some amount of type-level pattern-matching even in parametric polymorphism. Unification in general is a form of pattern matching. But it's not matching against data constructors, which is usually what is meant by pattern-matching in Haskell |
| 2021-06-21 14:49:48 | <dminuoso> | c_wraith: better, its matching against type constructors! |
| 2021-06-21 14:49:50 | <dminuoso> | :-) |
| 2021-06-21 14:51:59 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-06-21 14:52:06 | × | moet quits (~moet@172.58.75.87) (Ping timeout: 252 seconds) |
| 2021-06-21 14:53:15 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-21 14:53:48 | × | fluffyballoon quits (~fluffybal@199.204.58.62) (Quit: Client closed) |
| 2021-06-21 14:54:03 | → | fendor_ joins (~fendor@77.119.129.45.wireless.dyn.drei.com) |
| 2021-06-21 14:55:11 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-21 14:57:33 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-21 14:58:54 | <teaSlurper> | thx |
| 2021-06-21 14:58:55 | <anon1> | quit |
| 2021-06-21 14:58:56 | <teaSlurper> | both |
| 2021-06-21 14:58:56 | × | anon1 quits (~anon@94.140.141.53) (Quit: WeeChat 3.2) |
| 2021-06-21 14:59:15 | → | turlando joins (~turlando@user/turlando) |
| 2021-06-21 14:59:19 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-21 14:59:26 | × | argento quits (~argent0@168-227-97-34.ptr.westnet.com.ar) (Ping timeout: 252 seconds) |
| 2021-06-21 15:00:28 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 2021-06-21 15:04:47 | → | mpt joins (~tom@2a02:908:1862:49e0::3) |
| 2021-06-21 15:08:25 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-06-21 15:09:50 | → | curiousgay joins (~curiousgg@178.217.208.8) |
| 2021-06-21 15:10:03 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-21 15:12:03 | × | fendor_ quits (~fendor@77.119.129.45.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-21 15:14:42 | ← | shimin parts (~liushimin@2001:250:5806:3dad:c501:9418:6d95:abfa) () |
| 2021-06-21 15:16:29 | → | argento joins (~argent0@168-227-97-34.ptr.westnet.com.ar) |
| 2021-06-21 15:17:52 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-21 15:21:34 | × | kayprish quits (~kayprish@46.240.143.86) (Quit: leaving) |
| 2021-06-21 15:21:42 | × | chomwitt quits (~Pitsikoko@athedsl-351576.home.otenet.gr) (Ping timeout: 250 seconds) |
| 2021-06-21 15:21:50 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-21 15:23:00 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-21 15:23:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-06-21 15:28:12 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-06-21 15:28:43 | → | chomwitt joins (~Pitsikoko@2a02:587:dc0b:ff00:c813:70d9:31b2:b1b9) |
| 2021-06-21 15:29:26 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:9f46:523f:c74b:90e0) (Quit: WeeChat 2.8) |
| 2021-06-21 15:29:28 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 15:30:06 | × | kayprish quits (~kayprish@46.240.143.86) (Quit: leaving) |
| 2021-06-21 15:30:15 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-21 15:30:59 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 15:34:02 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
| 2021-06-21 15:34:54 | × | mpt quits (~tom@2a02:908:1862:49e0::3) (Ping timeout: 244 seconds) |
| 2021-06-21 15:35:35 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 15:36:21 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-21 15:36:52 | → | moet joins (~moet@172.58.75.87) |
| 2021-06-21 15:37:11 | → | jamestmartin joins (james@jtmar.me) |
| 2021-06-21 15:37:20 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.227.207) (Remote host closed the connection) |
| 2021-06-21 15:37:54 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-06-21 15:37:54 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-21 15:37:54 | → | Deide joins (~Deide@user/deide) |
| 2021-06-21 15:38:24 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 15:39:21 | × | kayprish quits (~kayprish@46.240.143.86) (Quit: leaving) |
| 2021-06-21 15:39:31 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-21 15:39:57 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 15:40:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-21 15:41:48 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-21 15:42:51 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 15:43:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Remote host closed the connection) |
| 2021-06-21 15:44:24 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 15:44:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-21 15:45:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-21 15:46:03 | → | elf_fortrez joins (~elf_fortr@adsl-64-237-239-58.prtc.net) |
| 2021-06-21 15:48:40 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-21 15:48:54 | → | nate1 joins (~nate@216.176.47.241) |
| 2021-06-21 15:49:19 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-21 15:50:06 | × | kayprish quits (~kayprish@46.240.143.86) (Remote host closed the connection) |
| 2021-06-21 15:53:42 | × | Morrow quits (~MorrowM_@147.161.9.198) (Read error: Connection reset by peer) |
| 2021-06-21 15:53:55 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-21 15:54:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-21 15:55:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-21 15:56:39 | → | Morrow joins (~MorrowM_@147.161.9.198) |
| 2021-06-21 15:56:41 | → | dunj3 joins (~dunj3@2001:16b8:309f:ea00:9791:603:5183:d379) |
All times are in UTC.