Logs: liberachat/#haskell
| 2021-05-28 02:58:55 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:59:52 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 03:00:54 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 03:01:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-28 03:02:25 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 03:03:27 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 03:04:07 | → | sa1 joins (uid7690@id-7690.charlton.irccloud.com) |
| 2021-05-28 03:04:58 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 03:05:44 | × | altern quits (~Sergii@altern.corbina.com.ua) (Ping timeout: 265 seconds) |
| 2021-05-28 03:06:44 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 03:13:27 | → | Bartosz joins (~textual@50.35.208.124) |
| 2021-05-28 03:14:38 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-28 03:15:10 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-28 03:16:25 | × | jaevanko quits (~jaevanko@2600:1700:1330:2bef:1c80:6870:d96d:577b) (Quit: Leaving) |
| 2021-05-28 03:17:49 | × | Bartosz quits (~textual@50.35.208.124) (Client Quit) |
| 2021-05-28 03:19:59 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-28 03:20:39 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-05-28 03:21:07 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 03:21:27 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-28 03:22:15 | → | otto_s_ joins (~user@p5de2fa14.dip0.t-ipconnect.de) |
| 2021-05-28 03:22:58 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2021-05-28 03:22:58 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-05-28 03:23:18 | × | natechan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-05-28 03:23:47 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Ping timeout: 244 seconds) |
| 2021-05-28 03:23:53 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-05-28 03:24:50 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-28 03:25:14 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-28 03:25:20 | × | otto_s quits (~user@p5de2f722.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2021-05-28 03:26:12 | × | lavaman quits (~lavaman@98.38.249.169) () |
| 2021-05-28 03:26:34 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-28 03:31:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-28 03:33:44 | → | ZucchiniZe joins (~ajb@cupid.whatbox.ca) |
| 2021-05-28 03:40:58 | → | moet joins (~moet@172.58.35.21) |
| 2021-05-28 03:47:01 | → | um joins (ak84ku0ger@user/um) |
| 2021-05-28 03:47:06 | ← | um parts (ak84ku0ger@user/um) () |
| 2021-05-28 03:47:22 | → | Bartosz joins (~textual@50.35.208.124) |
| 2021-05-28 03:48:24 | × | dy quits (~dy@user/dy) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-28 03:48:45 | → | dy joins (~dy@user/dy) |
| 2021-05-28 03:49:02 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 03:50:20 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 03:50:41 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-05-28 03:51:36 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 03:53:13 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-28 03:53:29 | × | smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-05-28 03:54:08 | ZucchiniZe | is now known as ajb |
| 2021-05-28 03:54:11 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-05-28 03:55:11 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 03:56:20 | × | Bartosz quits (~textual@50.35.208.124) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-28 03:57:29 | → | Bartosz joins (~textual@50.35.208.124) |
| 2021-05-28 03:57:42 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-28 03:57:44 | → | verybasic[m] joins (~verybasic@2001:470:69fc:105::c7) |
| 2021-05-28 03:57:58 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-05-28 03:59:32 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 04:01:24 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 04:02:25 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 04:03:16 | → | twitch joins (~textual@pool-71-246-146-102.rich.east.verizon.net) |
| 2021-05-28 04:03:59 | <twitch> | hey, I'm trying to learn to use pattern matching, I'm defining a function to return me the initials given a first and last name |
| 2021-05-28 04:04:00 | <twitch> | initials :: String -> String -> String |
| 2021-05-28 04:04:00 | <twitch> | initials (f:_) (l:_) = f ++ "." ++ l ++ "." |
| 2021-05-28 04:04:25 | <twitch> | Couldn't match expected type ‘[Char]’ with actual type ‘Char’ |
| 2021-05-28 04:04:43 | <twitch> | any help? |
| 2021-05-28 04:05:05 | <Axman6> | f and l are Char |
| 2021-05-28 04:05:31 | <twitch> | so maybe [f] and [l]? |
| 2021-05-28 04:05:35 | <davean> | Strings are made of chars |
| 2021-05-28 04:06:12 | <Axman6> | f : "." ++ l : "." would probably work |
| 2021-05-28 04:06:25 | <maerwald[m]> | sm: hi |
| 2021-05-28 04:06:33 | <sm[m]> | hey maerwald |
| 2021-05-28 04:06:45 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.63) (Ping timeout: 272 seconds) |
| 2021-05-28 04:07:22 | <twitch> | that totally worked |
| 2021-05-28 04:07:43 | <twitch> | thanks! is it because the ++ operator doesn't work with chars, only strings? |
| 2021-05-28 04:08:23 | <twitch> | na, can't be, just tried to use it with chars, it worked. |
| 2021-05-28 04:08:46 | <twitch> | OHHH "" is for strings, '' is for chars |
| 2021-05-28 04:08:57 | <twitch> | aha! ok, sorry for filling up the chat, thanks for the help! |
| 2021-05-28 04:09:03 | → | altern joins (~Sergii@altern.corbina.com.ua) |
| 2021-05-28 04:09:10 | × | tonyday quits (~user@202-65-93-249.ip4.superloop.com) (Ping timeout: 264 seconds) |
| 2021-05-28 04:09:10 | <Axman6> | All good, we're here to help |
| 2021-05-28 04:09:21 | <twitch> | :) |
| 2021-05-28 04:10:21 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 04:10:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-05-28 04:10:53 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-28 04:12:31 | <Axman6> | twitch: are you sure you understand why that code works thought? |
| 2021-05-28 04:12:56 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 04:13:00 | → | qbt joins (~edun@user/edun) |
| 2021-05-28 04:13:03 | <twitch> | I just fiddled around with it, and I think I do. the : operator adds elements to lists, creating a string |
| 2021-05-28 04:13:09 | <twitch> | the ++ operator adds strings together |
| 2021-05-28 04:13:21 | × | bilegeek quits (~bilegeek@2600:1008:b01a:69cf:a58b:76f2:71:1386) (Quit: Leaving) |
| 2021-05-28 04:13:54 | <sm[m]> | that's it |
| 2021-05-28 04:14:33 | <twitch> | the pattern matching in the arguments pops the heads off the input strings, throws away the tails, then the heads are added to the periods, creating a string, which are added together with the ++ operators |
| 2021-05-28 04:15:38 | <Axman6> | And you're happy with the fact that (:) is one of the two constructors for lists, which has type a -> [a] -> [a]? |
| 2021-05-28 04:16:38 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 04:17:00 | → | qwerty509 joins (~qwerty259@136-27-11-121.cab.webpass.net) |
| 2021-05-28 04:17:00 | <twitch> | ah, that leads me to thinking that if I had typed :t (:) in ghci I'd have figured it out |
| 2021-05-28 04:17:14 | → | ryantrinkle joins (~ryan@2600:1017:b40b:f05b:897c:6b76:a986:fb80) |
| 2021-05-28 04:18:01 | → | denis_ joins (~denis@212.193.135.213) |
| 2021-05-28 04:18:38 | <twitch> | but yeah, I think I am happy with that fact. it accepts a type variable a, and a list of a, and returns a list of a + the second argument (list of a) |
| 2021-05-28 04:18:54 | → | shiraeeshi joins (~shiraeesh@109.166.57.75) |
| 2021-05-28 04:19:01 | <twitch> | (that explanation also makes me understand why the notation is important, lol) |
| 2021-05-28 04:19:19 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 04:19:58 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 248 seconds) |
| 2021-05-28 04:20:28 | <twitch> | gotta say, I'm loving haskell so far, coming from python/ruby |
All times are in UTC.