Logs: freenode/#haskell
| 2021-05-01 01:12:11 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 2021-05-01 01:12:33 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-01 01:13:33 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 01:13:40 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-01 01:13:41 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 01:18:11 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 01:18:17 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 01:19:22 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-01 01:19:40 | → | letmein joins (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 2021-05-01 01:19:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-01 01:21:44 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2021-05-01 01:24:28 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-01 01:32:25 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 01:34:35 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-01 01:37:33 | → | Facu joins (bf534f6b@191.83.79.107) |
| 2021-05-01 01:37:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-01 01:38:46 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-01 01:40:10 | × | xff0x quits (~xff0x@2001:1a81:5283:5b00:a859:aa60:21e:361d) (Ping timeout: 276 seconds) |
| 2021-05-01 01:41:17 | → | xff0x joins (~xff0x@2001:1a81:52b7:b500:7355:ada0:cdf5:eb04) |
| 2021-05-01 01:42:51 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-01 01:44:43 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 2021-05-01 01:46:44 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 01:47:44 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 01:47:44 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 01:48:51 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-01 01:49:44 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2021-05-01 01:50:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-01 01:50:44 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 2021-05-01 01:52:56 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 01:53:15 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 01:56:29 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-01 01:56:30 | → | ddellacosta joins (~ddellacos@86.106.143.203) |
| 2021-05-01 01:59:07 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 01:59:31 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 02:00:39 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 02:00:56 | × | ddellacosta quits (~ddellacos@86.106.143.203) (Ping timeout: 260 seconds) |
| 2021-05-01 02:04:03 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-01 02:04:21 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-05-01 02:07:34 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:8450:22e8:63bf:6919) (Quit: Leaving) |
| 2021-05-01 02:08:12 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-05-01 02:11:10 | × | ADG1089 quits (~aditya@223.226.237.158) (Quit: Konversation terminated!) |
| 2021-05-01 02:11:11 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-01 02:11:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-01 02:15:38 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 2021-05-01 02:17:32 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-01 02:18:29 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 2021-05-01 02:18:39 | × | enthropy quits (~aavogt@135-23-166-92.cpe.pppoe.ca) (Quit: Leaving) |
| 2021-05-01 02:19:18 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ukveqpcklunebhzh) |
| 2021-05-01 02:22:18 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-01 02:23:00 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 2021-05-01 02:23:09 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Quit: WeeChat 2.8) |
| 2021-05-01 02:24:17 | <ADG1089> | how can i remove not required cabal packages? |
| 2021-05-01 02:24:24 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-05-01 02:24:34 | <ADG1089> | shall i just delete ~/.cabal and install any breaking packages again? |
| 2021-05-01 02:24:35 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 2021-05-01 02:25:40 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-01 02:28:12 | × | theDon quits (~td@muedsl-82-207-238-113.citykom.de) (Ping timeout: 240 seconds) |
| 2021-05-01 02:28:36 | × | ADG1089 quits (~aditya@223.226.237.158) (Remote host closed the connection) |
| 2021-05-01 02:28:47 | <monochrom> | It suffices to delete .cabal/store/ghc-<version> |
| 2021-05-01 02:29:14 | <monochrom> | There are higher-precision deletes if you know what you're doing. |
| 2021-05-01 02:30:22 | → | theDon joins (~td@muedsl-82-207-238-128.citykom.de) |
| 2021-05-01 02:31:30 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-01 02:31:42 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-01 02:35:22 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds) |
| 2021-05-01 02:35:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 02:36:04 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-05-01 02:36:13 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-01 02:36:13 | finn_elija | is now known as Guest27671 |
| 2021-05-01 02:36:13 | FinnElija | is now known as finn_elija |
| 2021-05-01 02:39:33 | × | Guest27671 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-01 02:39:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 02:45:45 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 250 seconds) |
| 2021-05-01 02:53:46 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds) |
| 2021-05-01 02:55:40 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 02:59:10 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-01 02:59:29 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 03:00:18 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 03:04:16 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 03:04:19 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 03:06:59 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 2021-05-01 03:07:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 03:07:51 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-05-01 03:10:09 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-01 03:11:40 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 2021-05-01 03:11:51 | <justsomeguy> | I've noticed that most introductary books on haskell tend to teach you abstractions before getting you to a working example of some useful program, first. Are there any books that take the opposite approach: Teaching how to make a useful app as directly as possible, introducing as few abstrations as possible? |
| 2021-05-01 03:12:13 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-01 03:12:40 | <justsomeguy> | I'm a little bit interested in the teaching process. |
| 2021-05-01 03:13:11 | → | ajc joins (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) |
| 2021-05-01 03:14:16 | <justsomeguy> | s/introducing as few abstractions as possible/introducing abstrations only as necessary/ |
| 2021-05-01 03:14:49 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-05-01 03:15:21 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 03:15:28 | × | Facu quits (bf534f6b@191.83.79.107) (Quit: Connection closed) |
| 2021-05-01 03:15:40 | <sm[m]> | @where HTAC ? |
| 2021-05-01 03:15:40 | <lambdabot> | "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook> |
| 2021-05-01 03:16:04 | <sm[m]> | http://www.cs.yale.edu/homes/hudak/SOE/ ? |
| 2021-05-01 03:16:18 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-ryndtoravsfingxg) |
| 2021-05-01 03:17:37 | <justsomeguy> | Nice! I'll have to give these a good perusal. |
| 2021-05-01 03:19:25 | justsomeguy | fumbles with his keyboard as he slowly relizes that capslock isn't bound to tab anymore, and his intermittent attempts at completing English words wouldn't work with tab completion, anyways. |
| 2021-05-01 03:20:48 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2021-05-01 03:21:37 | <sm[m]> | http://dev.stephendiehl.com/fun/ |
All times are in UTC.