Logs: liberachat/#haskell
| 2021-05-27 16:13:50 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-05-27 16:14:08 | → | TS joins (sid501726@id-501726.highgate.irccloud.com) |
| 2021-05-27 16:14:14 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-05-27 16:14:24 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-27 16:14:25 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 2021-05-27 16:15:16 | × | relrod quits (~relrod@user/relrod) (Changing host) |
| 2021-05-27 16:15:16 | → | relrod joins (~relrod@ansible/staff/relrod) |
| 2021-05-27 16:15:35 | → | comradecow joins (~a0ee4aa7@ircip2.mibbit.com) |
| 2021-05-27 16:16:38 | <comradecow> | monochrom: I am not one whom you are thinking and don't be an old idiot to ban in libera network because you assume I am a troll from freenode. |
| 2021-05-27 16:16:50 | <comradecow> | even if I am |
| 2021-05-27 16:16:58 | <comradecow> | you shouldn't do that |
| 2021-05-27 16:17:50 | × | TS quits (sid501726@id-501726.highgate.irccloud.com) (Client Quit) |
| 2021-05-27 16:18:06 | → | TDS_ joins (sid501726@id-501726.highgate.irccloud.com) |
| 2021-05-27 16:18:42 | × | TDS_ quits (sid501726@id-501726.highgate.irccloud.com) (Client Quit) |
| 2021-05-27 16:19:20 | → | T_S_ joins (sid501726@id-501726.highgate.irccloud.com) |
| 2021-05-27 16:20:24 | × | Guest7447 quits (~Guest74@103.78.167.55) (Ping timeout: 250 seconds) |
| 2021-05-27 16:21:19 | × | space-shell quits (~space-she@88.98.247.38) (Quit: Connection closed) |
| 2021-05-27 16:22:46 | → | Guest9449 joins (~Guest9449@103.78.167.55) |
| 2021-05-27 16:23:20 | × | dr_spaceman quits (~dr_spacem@user/dr-spaceman/x-5682504) (Remote host closed the connection) |
| 2021-05-27 16:23:28 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-05-27 16:24:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-27 16:25:12 | → | T_S__ joins (sid501726@id-501726.highgate.irccloud.com) |
| 2021-05-27 16:25:16 | → | moet joins (~moet@172.58.38.218) |
| 2021-05-27 16:25:26 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-05-27 16:25:48 | → | ccntrq joins (~ccntrq@dynamic-077-008-079-078.77.8.pool.telefonica.de) |
| 2021-05-27 16:26:00 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-05-27 16:26:09 | → | Guest944973 joins (~Guest9449@103.78.167.55) |
| 2021-05-27 16:27:00 | × | lisq quits (~quassel@lis.moe) (Quit: lisq) |
| 2021-05-27 16:27:14 | → | lisq joins (~quassel@lis.moe) |
| 2021-05-27 16:27:42 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Remote host closed the connection) |
| 2021-05-27 16:28:09 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 16:29:27 | × | spirgel_ quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 2021-05-27 16:29:56 | × | Guest9449 quits (~Guest9449@103.78.167.55) (Ping timeout: 250 seconds) |
| 2021-05-27 16:31:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-27 16:31:40 | <tomsmeding> | boxscape: data List2 a = List2 a a [a], and implement the instances you need |
| 2021-05-27 16:31:45 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-05-27 16:31:56 | <boxscape> | hm yeah that makes sense |
| 2021-05-27 16:31:57 | <tomsmeding> | e.g. IsList |
| 2021-05-27 16:31:59 | <tomsmeding> | :) |
| 2021-05-27 16:32:55 | → | ukari joins (~ukari@user/ukari) |
| 2021-05-27 16:33:16 | → | blurgy joins (~blurgy@blurgy.xyz) |
| 2021-05-27 16:34:05 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 272 seconds) |
| 2021-05-27 16:34:16 | × | Guest944973 quits (~Guest9449@103.78.167.55) (Ping timeout: 250 seconds) |
| 2021-05-27 16:34:21 | <boxscape> | ty |
| 2021-05-27 16:34:51 | × | Toast52 quits (~Toast52@151.192.167.120) (Read error: Connection reset by peer) |
| 2021-05-27 16:36:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-05-27 16:36:53 | → | EvanR joins (~evan@user/evanr) |
| 2021-05-27 16:37:22 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-27 16:38:14 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-05-27 16:38:17 | → | Mark_ joins (uid14803@user/mark/x-9597255) |
| 2021-05-27 16:40:33 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Client Quit) |
| 2021-05-27 16:41:44 | <EvanR> | RIP #haskell on freenode :( |
| 2021-05-27 16:41:49 | <EvanR> | invite only |
| 2021-05-27 16:42:10 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 264 seconds) |
| 2021-05-27 16:42:48 | × | werneta_ quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-27 16:43:46 | <maerwald> | not sure why anyone would still bother with freenode |
| 2021-05-27 16:44:13 | × | Tomurb quits (~tom@158.194.92.121) (Ping timeout: 272 seconds) |
| 2021-05-27 16:44:20 | → | pavonia joins (~user@user/siracusa) |
| 2021-05-27 16:45:33 | × | dy quits (~dy@user/dy) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-27 16:46:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-27 16:46:16 | <EvanR> | "this channel's name is in violation of the channel naming policy" wtf |
| 2021-05-27 16:48:19 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: bye) |
| 2021-05-27 16:49:02 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-05-27 16:50:34 | × | cdsmithus quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-27 16:50:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-27 16:51:18 | × | nsilv-phone quits (~nsilv-pho@37.163.54.40) (Ping timeout: 264 seconds) |
| 2021-05-27 16:52:02 | → | nsilv-phone joins (~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) |
| 2021-05-27 16:54:57 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-27 16:55:15 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 16:55:40 | → | xwx joins (~george@user/george) |
| 2021-05-27 16:55:58 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-27 16:56:03 | ac[m] | is now known as alois[m] |
| 2021-05-27 16:57:09 | → | chocabloc joins (~chocabloc@223.189.218.148) |
| 2021-05-27 16:57:17 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 2021-05-27 16:57:17 | × | alois[m] quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 2021-05-27 16:57:21 | <chocabloc> | hi there |
| 2021-05-27 16:57:25 | <chocabloc> | im new to haskell |
| 2021-05-27 16:58:10 | <chocabloc> | what are the best resources to learn it |
| 2021-05-27 16:58:17 | × | immibis quits (~immibis@62.156.144.218) (Remote host closed the connection) |
| 2021-05-27 16:58:40 | → | immibis joins (~immibis@62.156.144.218) |
| 2021-05-27 16:59:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-27 16:59:35 | <edwardk> | EvanR: there's a tiny ##haskell, but its mostly a refuge for folks til matrix support turns on here |
| 2021-05-27 16:59:52 | <xwx> | [] is the type constructor for lists and has kind * -> *, how can i express the type constructor for a list of lists, which also has kind * -> *? |
| 2021-05-27 17:00:04 | → | ddellacosta joins (~ddellacos@86.106.121.27) |
| 2021-05-27 17:00:14 | <EvanR> | thanks everyone for doing this move and not really lingers on the old network |
| 2021-05-27 17:00:20 | <EvanR> | lingering |
| 2021-05-27 17:00:20 | <xwx> | at the moment i'm using newtype LL a = LL {unLL :: [[a]]} |
| 2021-05-27 17:00:25 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-27 17:00:36 | <xwx> | and using LL as the type constructor, is there a nicer way? |
| 2021-05-27 17:01:04 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-27 17:01:29 | <xwx> | chocabloc: http://learnyouahaskell.com/ is a good resource in my opinion, although not everyone would agree |
| 2021-05-27 17:01:30 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-27 17:01:40 | → | ac[m] joins (~aloiscoch@2001:470:69fc:105::65) |
| 2021-05-27 17:01:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-27 17:02:18 | → | econo joins (uid147250@user/econo) |
| 2021-05-27 17:03:24 | <EvanR> | Though it might be a bit old there's still https://www.haskell.org/tutorial/ |
| 2021-05-27 17:03:35 | <EvanR> | I used it |
| 2021-05-27 17:03:39 | × | ddellaco_ quits (~ddellacos@89.46.62.122) (Ping timeout: 272 seconds) |
| 2021-05-27 17:04:25 | <chocabloc> | i see, thanks |
| 2021-05-27 17:04:49 | <chocabloc> | what would you say about "The Simple Haskell Handbook"? |
All times are in UTC.