Logs: liberachat/#haskell
| 2021-05-27 17:05:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 264 seconds) |
| 2021-05-27 17:05:16 | × | xacktm quits (xacktm@user/xacktm) (Remote host closed the connection) |
| 2021-05-27 17:05:24 | × | haskman quits (~haskman@106.212.143.206) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-27 17:05:47 | <sclv> | chocabloc: there was just a thread on reddit about this! https://www.reddit.com/r/haskell/comments/nlpxjw/anyone_read_the_simple_haskell_handbook_and_can/ |
| 2021-05-27 17:06:04 | <sclv> | also there's a fairly big list of books and docs you can explore on the main website |
| 2021-05-27 17:06:05 | <sclv> | @where docs |
| 2021-05-27 17:06:05 | <lambdabot> | https://www.haskell.org/documentation/ |
| 2021-05-27 17:06:09 | <lbseale> | chocabloc: This youtube video series really helped me learn https://www.youtube.com/watch?v=Vgu82wiiZ90&list=PLe7Ei6viL6jGp1Rfu0dil1JH1SHk9bgDV |
| 2021-05-27 17:06:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-27 17:06:58 | <chocabloc> | thanks, thats very helpful |
| 2021-05-27 17:07:08 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 252 seconds) |
| 2021-05-27 17:07:17 | ac[m] | is now known as alois |
| 2021-05-27 17:07:28 | → | sifu joins (~marek@219.244.200.146.dyn.plus.net) |
| 2021-05-27 17:07:31 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-27 17:07:43 | <lbseale> | also this video was nice to just get started writing code: https://www.youtube.com/watch?v=02_H3LjqMr8 |
| 2021-05-27 17:08:21 | <ddellacosta> | are we talking about what good Haskell learning resources are? I gotta call out Graham Hutton's Programnming in Haskell, definitely worth checking out http://www.cs.nott.ac.uk/~pszgmh/pih.html |
| 2021-05-27 17:08:32 | <ddellacosta> | I think that's listed in the haskell reddit actually |
| 2021-05-27 17:09:55 | → | qbt joins (~edun@user/edun) |
| 2021-05-27 17:10:06 | <zarebski> | graham hutton also has a series of video lectures on youtube for haskell which look good |
| 2021-05-27 17:10:24 | <zarebski> | https://www.youtube.com/channel/UCBDp7ydYTHi1dh4Gnf3VTPA |
| 2021-05-27 17:11:54 | → | mojvei joins (~mojvei@user/mojvei) |
| 2021-05-27 17:11:58 | ← | mojvei parts (~mojvei@user/mojvei) (WeeChat 2.3) |
| 2021-05-27 17:13:55 | × | dut quits (~dut@user/dut) (Quit: Leaving) |
| 2021-05-27 17:14:12 | × | zarebski quits (~aez@zoo-zarebski.zoo.ox.ac.uk) (Quit: WeeChat 3.0) |
| 2021-05-27 17:14:37 | ac | is now known as ac[irc] |
| 2021-05-27 17:14:58 | alois | is now known as ac |
| 2021-05-27 17:15:13 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-27 17:16:06 | → | xacktm joins (xacktm@user/xacktm) |
| 2021-05-27 17:20:20 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-27 17:20:20 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-05-27 17:20:29 | → | haskman joins (~haskman@106.212.143.206) |
| 2021-05-27 17:21:51 | × | brandonh quits (~brandonh@151.38.94.3) (Quit: brandonh) |
| 2021-05-27 17:22:52 | <tomsmeding> | xwx: you can't do much better than your LL |
| 2021-05-27 17:23:56 | <tomsmeding> | to remove the requirement for a separate newtype, you'd need a kind of "type-level lambda", looking something like "\a -> [[a]]", but Haskell doesn't currently support that |
| 2021-05-27 17:24:27 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 244 seconds) |
| 2021-05-27 17:24:36 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-27 17:25:37 | × | rostero quits (uid236576@id-236576.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-27 17:25:45 | <xwx> | tomsmeding: ah cool, thanks |
| 2021-05-27 17:26:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-27 17:27:09 | <tomsmeding> | xwx: what do you need it for? |
| 2021-05-27 17:27:52 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-27 17:28:23 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 2021-05-27 17:30:23 | × | ub quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-27 17:30:42 | → | ub joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 2021-05-27 17:30:55 | → | riku joins (~riku@136.37.120.69) |
| 2021-05-27 17:30:56 | <maerwald> | anyone has experience with the retry package and what's a good retry policy to e.g. remove files on windows? |
| 2021-05-27 17:31:10 | → | y04nn joins (~y04nn@185.204.1.208) |
| 2021-05-27 17:31:46 | × | chocabloc quits (~chocabloc@223.189.218.148) (Read error: Connection reset by peer) |
| 2021-05-27 17:32:26 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Ping timeout: 252 seconds) |
| 2021-05-27 17:32:47 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-27 17:32:52 | <maerwald> | https://www.sqlite.org/src/info/89f1848d7f seems to be miliseconds here |
| 2021-05-27 17:32:54 | × | riku quits (~riku@136.37.120.69) (Quit: leaving) |
| 2021-05-27 17:33:07 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Client Quit) |
| 2021-05-27 17:33:19 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-27 17:34:17 | × | reumeth quits (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Quit: reumeth) |
| 2021-05-27 17:34:33 | → | reumeth joins (~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) |
| 2021-05-27 17:34:38 | × | johnw quits (~johnw@2600:1700:cf00:db0:c055:a527:375d:4be5) (Quit: ZNC - http://znc.in) |
| 2021-05-27 17:36:24 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-27 17:36:44 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 2021-05-27 17:37:11 | → | python476 joins (~user@88.160.31.174) |
| 2021-05-27 17:37:32 | → | k-os joins (~user@p200300d63f13f400065e695575674907.dip0.t-ipconnect.de) |
| 2021-05-27 17:37:45 | <python476> | who else here is in group theory ? (and combinatorics oriented programming) |
| 2021-05-27 17:38:13 | <python476> | I barely know about it but I have a hunch that it's both pleasurable and safe for very generic programs |
| 2021-05-27 17:39:25 | ← | k-os parts (~user@p200300d63f13f400065e695575674907.dip0.t-ipconnect.de) (ERC (IRC client for Emacs 28.0.50)) |
| 2021-05-27 17:40:15 | → | riku joins (~riku@136.37.120.69) |
| 2021-05-27 17:41:55 | × | haskman quits (~haskman@106.212.143.206) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-27 17:41:56 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-27 17:43:23 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 2021-05-27 17:43:23 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 2021-05-27 17:43:28 | × | ub quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-27 17:43:47 | → | ub joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 2021-05-27 17:44:23 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-27 17:44:38 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 2021-05-27 17:46:42 | → | dr_bot joins (~dr_bot@cpe-24-209-62-187.neo.res.rr.com) |
| 2021-05-27 17:46:51 | <rahguzar> | python476 :It is certainly very pleasurable, but I don't know much use it finds in programming outside some very specialized areas like cryptography. Semigroups and monoids seem much more common |
| 2021-05-27 17:48:16 | → | haskman joins (~haskman@106.212.143.206) |
| 2021-05-27 17:50:40 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 2021-05-27 17:50:40 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 2021-05-27 17:51:00 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-27 17:51:17 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 2021-05-27 17:52:09 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-05-27 17:54:30 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-27 17:54:41 | → | cnr joins (~cnr@user/cnr) |
| 2021-05-27 17:56:09 | → | ego joins (~egoist@186.235.82.52) |
| 2021-05-27 17:57:04 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-27 17:57:11 | × | xff0x quits (~xff0x@2001:1a81:53be:400:1c90:d6e6:3f17:edb2) (Ping timeout: 252 seconds) |
| 2021-05-27 17:57:17 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-27 17:57:28 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-27 17:57:59 | → | vicentius joins (~vicentius@user/vicentius) |
| 2021-05-27 17:58:04 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Client Quit) |
| 2021-05-27 17:58:14 | → | xff0x joins (~xff0x@2001:1a81:53be:400:57c4:638d:15c6:fc7a) |
| 2021-05-27 18:00:34 | × | dr_bot quits (~dr_bot@cpe-24-209-62-187.neo.res.rr.com) (Quit: Leaving) |
| 2021-05-27 18:04:24 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-27 18:07:08 | → | Zemyla joins (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) |
| 2021-05-27 18:07:31 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 18:07:47 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-27 18:07:51 | × | orion quits (~orion@user/orion) (Ping timeout: 244 seconds) |
| 2021-05-27 18:08:03 | → | lu joins (~lu@user/lu) |
| 2021-05-27 18:08:05 | → | orion joins (~orion@user/orion) |
| 2021-05-27 18:10:55 | ← | comradecow parts (~a0ee4aa7@ircip2.mibbit.com) () |
All times are in UTC.