Logs: freenode/#haskell
| 2021-05-20 03:24:15 | × | jcarpenter2 quits (~rofl@96.78.87.197) (Quit: Leaving) |
| 2021-05-20 03:24:24 | <ski> | brackets can't be wrapped around any kinds of cohesive syntactic phrases |
| 2021-05-20 03:24:25 | <a6a45081-2b83> | I guess that is because of list comprehension syntax ? |
| 2021-05-20 03:24:35 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-05-20 03:24:38 | <int-e> | > [x | (x) <- ([0,2..10])] |
| 2021-05-20 03:24:40 | <lambdabot> | [0,2,4,6,8,10] |
| 2021-05-20 03:25:07 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-20 03:25:17 | <int-e> | Yes, the <- is part of the list comprehension syntax. The () are part of the pattern and expression (and type) syntax[plural?]. |
| 2021-05-20 03:25:57 | <int-e> | > let (x = 4) in x -- invalid as well, for similar reasons |
| 2021-05-20 03:25:58 | <lambdabot> | <hint>:1:8: error: parse error on input ‘=’ |
| 2021-05-20 03:26:02 | <ski> | you can wrap (value) expressions and patterns, type expressions (and patterns). you can't wrap generators in list comprehensions, nor pattern guards, or bind commands in `do'-notation |
| 2021-05-20 03:26:56 | → | dyeplexer joins (~terpin@unaffiliated/terpin) |
| 2021-05-20 03:27:32 | <a6a45081-2b83> | is there a way for syntax highlighting in ghci or printing nested structures indented in ghci? |
| 2021-05-20 03:29:46 | ← | valk99 parts (~whatever@cream5.com) () |
| 2021-05-20 03:29:55 | <zarakshR> | So "[ x | (x <- [0,2..10]) ]" is basically interpreted as "x such that x is in the output of the command 'x <- [0,2..10]' " and that is an error since "<-" only has meaning in the context of a list conprehension right? |
| 2021-05-20 03:29:57 | × | penttrioctium quits (49a0f450@c-73-160-244-80.hsd1.nj.comcast.net) (Quit: Connection closed) |
| 2021-05-20 03:30:01 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-20 03:32:54 | <zzz> | zarakshR: it's also part of the syntax on some other places with some language extensions |
| 2021-05-20 03:33:22 | × | z0k quits (~user@101.50.108.132) (Ping timeout: 260 seconds) |
| 2021-05-20 03:33:23 | <zzz> | the "<-" i mean |
| 2021-05-20 03:33:42 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 2021-05-20 03:33:55 | <zzz> | and in pattern guards |
| 2021-05-20 03:34:55 | <zzz> | https://wiki.haskell.org/Pattern_guard |
| 2021-05-20 03:35:22 | → | zarakshR1 joins (~Thunderbi@1.39.149.35) |
| 2021-05-20 03:35:59 | <zzz> | PatternSynonyms would be an example of a language extension that also introduces "<-" in a new context |
| 2021-05-20 03:36:26 | × | zarakshR quits (~Thunderbi@1.39.134.166) (Ping timeout: 240 seconds) |
| 2021-05-20 03:36:56 | <zzz> | and do notation, of course |
| 2021-05-20 03:39:40 | <ski> | zarakshR1 : it's interpreted as a syntax error |
| 2021-05-20 03:39:41 | × | zarakshR1 quits (~Thunderbi@1.39.149.35) (Ping timeout: 240 seconds) |
| 2021-05-20 03:39:41 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-20 03:39:55 | → | slycelote[m] joins (slycelotem@gateway/shell/matrix.org/x-osqqaebheokazvhz) |
| 2021-05-20 03:41:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-20 03:42:28 | → | plutoniix joins (~q@node-uhj.pool-125-24.dynamic.totinternet.net) |
| 2021-05-20 03:44:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-20 03:47:46 | × | cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-20 03:52:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-20 03:53:40 | → | Pseudonym73 joins (~IceChat95@43.225.35.142) |
| 2021-05-20 03:54:14 | × | hongminhee quits (sid31517@gateway/web/irccloud.com/x-trpfnifbgxghvffk) () |
| 2021-05-20 03:55:35 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 2021-05-20 03:58:17 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-05-20 03:58:42 | × | Pseudonym73 quits (~IceChat95@43.225.35.142) (Quit: Pull the pin and count to what?) |
| 2021-05-20 03:59:58 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-20 04:00:03 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 04:00:31 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-20 04:01:47 | → | z0k joins (~user@101.50.108.132) |
| 2021-05-20 04:03:55 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-05-20 04:04:10 | <monochrom> | The grammar is "[ expr | pat <- expr ]" and doesn't consider "pat <- expr" to be something you can parenthesize. |
| 2021-05-20 04:04:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-05-20 04:07:05 | <monochrom> | There are a lot of places where "(foo) means foo" is wrong. |
| 2021-05-20 04:08:13 | <monochrom> | "import Data.List((sort))" is wrong. |
| 2021-05-20 04:09:54 | × | yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-20 04:09:56 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-20 04:11:47 | → | ddellacosta joins (~ddellacos@86.106.143.243) |
| 2021-05-20 04:15:20 | → | mouse joins (mouse@whiskers.com) |
| 2021-05-20 04:16:21 | × | ddellacosta quits (~ddellacos@86.106.143.243) (Ping timeout: 260 seconds) |
| 2021-05-20 04:17:12 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-20 04:17:35 | × | kapil_ quits (~kapil@2a01:4f9:c010:c9c3::1) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-20 04:18:11 | → | kapil_ joins (~kapil@o-k.website) |
| 2021-05-20 04:19:14 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-20 04:19:15 | × | thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Quit: So long and thanks for all the fish!) |
| 2021-05-20 04:19:38 | tim | is now known as Guest28109 |
| 2021-05-20 04:23:13 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-20 04:24:34 | → | z0 joins (~zero@2a03:b0c0:3:d0::3095:3001) |
| 2021-05-20 04:24:58 | z0 | is now known as Guest63023 |
| 2021-05-20 04:25:17 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-05-20 04:25:57 | → | kline joins (~freedom0@lobsters/users/kline) |
| 2021-05-20 04:26:08 | ← | kline parts (~freedom0@lobsters/users/kline) ("Leaving") |
| 2021-05-20 04:27:11 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-05-20 04:27:29 | × | zzz quits (~zero@2a03:b0c0:3:d0::3095:3001) (Ping timeout: 245 seconds) |
| 2021-05-20 04:27:29 | Guest63023 | is now known as zzz |
| 2021-05-20 04:27:58 | zzz | is now known as Guest43743 |
| 2021-05-20 04:29:04 | → | benkolera joins (uid285671@gateway/web/irccloud.com/x-tnbfdkmukvfnqtbj) |
| 2021-05-20 04:29:06 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-05-20 04:29:36 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-05-20 04:30:37 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds) |
| 2021-05-20 04:31:11 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Quit: Quit) |
| 2021-05-20 04:32:46 | → | quackyhapp joins (~goe@gateway/tor-sasl/goe) |
| 2021-05-20 04:35:46 | <quackyhapp> | hi, can you please update the topic to the new server |
| 2021-05-20 04:35:57 | <quackyhapp> | you're like the only channel left who haven't updated your topic |
| 2021-05-20 04:38:48 | <mouse> | yeah |
| 2021-05-20 04:38:48 | × | Graypup_ quits (Graypup@lfcode.ca) (Quit: meow) |
| 2021-05-20 04:38:56 | <mouse> | i'm here because i read reddit and #haskell was the first channel |
| 2021-05-20 04:39:14 | <mouse> | and i wanted to see |
| 2021-05-20 04:39:35 | <mouse> | (haskell is a pretty sweet lang anyway, but fuck fleanode) |
| 2021-05-20 04:39:51 | × | tributarian quits (sid381145@gateway/web/irccloud.com/x-eeuhxzmchjqkodyv) () |
| 2021-05-20 04:41:44 | <nshepperd2> | shapr: ^^ ? |
| 2021-05-20 04:41:50 | → | nineonin_ joins (~nineonine@2604:3d08:777e:900:9464:497b:b9eb:112d) |
| 2021-05-20 04:41:54 | × | silverwhitefish quits (~hidden@47.202.102.10) (Excess Flood) |
| 2021-05-20 04:41:59 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-20 04:43:46 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 2021-05-20 04:44:01 | × | kapil_ quits (~kapil@o-k.website) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-20 04:44:01 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-20 04:44:44 | → | kapil_ joins (~kapil@o-k.website) |
| 2021-05-20 04:45:00 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-05-20 04:45:05 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-05-20 04:45:33 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-20 04:45:38 | × | mrus quits (~mrus@149.28.61.155) (Quit: Surfing the great wave off Kanagawa) |
| 2021-05-20 04:45:47 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2021-05-20 04:46:08 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-05-20 04:46:26 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
All times are in UTC.