Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 279 280 281 282 283 284 285 286 287 288 289 .. 5022
— 502,152 events total
2020-09-28 23:36:45 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-28 23:37:39 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-28 23:37:48 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 23:38:09 → ystael joins (~ystael@209.6.50.55)
2020-09-28 23:39:57 hackage ordinal 0.1.1.0 - Convert numbers to words in different languages. https://hackage.haskell.org/package/ordinal-0.1.1.0 (wvanonsem90)
2020-09-28 23:40:25 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-28 23:42:27 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-28 23:44:26 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:44:32 → mu__ joins (~mu@unaffiliated/mu)
2020-09-28 23:44:37 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 264 seconds)
2020-09-28 23:45:20 <dansho> maerwald: `ghcup install ghc 8.10.2` said it was successful, but ghc --version still shows 8.8.4
2020-09-28 23:46:30 <koz_> :t ($>)
2020-09-28 23:46:32 <lambdabot> error:
2020-09-28 23:46:32 <lambdabot> • Variable not in scope: $>
2020-09-28 23:46:32 <lambdabot> • Perhaps you meant one of these:
2020-09-28 23:46:41 <koz_> dansho: I think you gotta switch up your environment.
2020-09-28 23:46:52 <koz_> Or manually specify with -w ghc-8.10.2.
2020-09-28 23:47:13 <monochrom> That one you can use "ghcup set 8.10.2" or something to set.
2020-09-28 23:47:23 <ski> @hoogle ($>)
2020-09-28 23:47:23 <lambdabot> Data.Functor ($>) :: Functor f => f a -> b -> f b
2020-09-28 23:47:23 <lambdabot> Data.Functor.Compat ($>) :: Functor f => f a -> b -> f b
2020-09-28 23:47:23 <lambdabot> Data.Functor.Apply ($>) :: Functor f => f a -> b -> f b
2020-09-28 23:47:47 <monochrom> Generally take a look at "ghcup --help" for what it can do for you.
2020-09-28 23:48:01 <monochrom> Along the way, discover that "ghcup tui" is really handy.
2020-09-28 23:50:52 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:1464:cd8d:ea3f:dc1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 23:52:33 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2020-09-28 23:53:44 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-28 23:54:18 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 23:54:50 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 23:54:54 × mu_ quits (~mu@unaffiliated/mu) (Client Quit)
2020-09-28 23:56:10 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 256 seconds)
2020-09-28 23:57:06 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-28 23:58:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 23:58:42 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-09-28 23:58:44 → renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-09-29 00:00:01 × omega8cc quits (~omega8cc@195.206.169.184) ()
2020-09-29 00:00:25 × TooDifficult quits (~TooDiffic@139.59.59.230) (Ping timeout: 240 seconds)
2020-09-29 00:03:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-29 00:04:40 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2020-09-29 00:06:38 × Tops2 quits (~Tobias@dyndsl-095-033-025-158.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-09-29 00:09:45 → Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-131-156.cust.tzulo.com)
2020-09-29 00:12:47 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-29 00:18:24 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-29 00:18:57 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-29 00:20:19 × concept2 quits (~concept2@unaffiliated/tubo) (Quit: See ya later!)
2020-09-29 00:21:43 → sepi joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-09-29 00:22:17 <sepi> Can I have a helper function used and defined within 'if' bounds?
2020-09-29 00:22:22 <sepi> |
2020-09-29 00:22:43 <Axman6> wut
2020-09-29 00:23:30 <ski> with `let', yes
2020-09-29 00:23:52 <ski> but perhaps you mean guards, not `if' ?
2020-09-29 00:25:00 <sepi> ah yes guards
2020-09-29 00:25:42 <ski> you can put a `where' after the guards, and things defined inside the `where' will be in scope in the guard conditions, as well as the branches
2020-09-29 00:26:40 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 00:26:53 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-09-29 00:30:49 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 264 seconds)
2020-09-29 00:31:49 × jespada quits (~jespada@90.254.241.6) (Read error: Connection reset by peer)
2020-09-29 00:32:36 → jespada joins (~jespada@90.254.241.6)
2020-09-29 00:33:21 <sepi> Besides possibly the d case, am I in the right area for doing this? https://dpaste.org/DbEh
2020-09-29 00:34:15 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 00:34:16 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-29 00:34:47 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 00:35:55 <Axman6> well, you can't define equality on functions, so that d `elem` q is never going to work
2020-09-29 00:36:12 <Axman6> and sigma is a list, so you can't apply it to x and xs
2020-09-29 00:36:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-29 00:36:36 <Axman6> it also looks like this function can never do anything but return true
2020-09-29 00:36:56 <monochrom> "my heart is always true" :)
2020-09-29 00:37:10 <Axman6> "or I will never return"
2020-09-29 00:38:42 <sepi> I had the thought that because of elem, if s is never in qs then it'd come out false
2020-09-29 00:39:35 <Axman6> I have no idea what's going on with this code, it's quite a long way from being syntactically valid
2020-09-29 00:41:21 <Axman6> you might ant to look at functions like all, and, or, any, intersect. you might also find writing a function isSubsetOf :: Eq a => [a] -> [a] -> Bool is very useful
2020-09-29 00:42:08 <Axman6> isSubSetOf [] [1,2,3] -> True, isSubsetOf [4] [1,2,3] -> False, isSubSetOf [1,2] [1,2,3] -> True
2020-09-29 00:42:37 <xsperry> > isSubsetOf [1,3] [1,2,3]
2020-09-29 00:42:39 <lambdabot> error:
2020-09-29 00:42:39 <lambdabot> • Variable not in scope: isSubsetOf :: [a0] -> [a1] -> t
2020-09-29 00:42:40 <lambdabot> • Perhaps you meant one of these:
2020-09-29 00:42:50 <xsperry> huh, nm
2020-09-29 00:43:03 <Axman6> Data.List happens to already have isSubsequenceOf, which would work if your states were ordered
2020-09-29 00:44:31 <Axman6> > isSubsequenceOf "GHC" "The Glorious Haskell Compiler"
2020-09-29 00:44:31 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 00:44:34 <lambdabot> True
2020-09-29 00:44:52 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 00:45:48 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-29 00:45:49 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-29 00:46:07 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-29 00:46:23 <Axman6> sepi: what is let d xs ys = q <> (sigma (x)) : d q (sigma xs) supposed to be doing?
2020-09-29 00:48:28 hackage cabal-auto-expose 0.1.0.1 - Build time library that autodetects exposed modules https://hackage.haskell.org/package/cabal-auto-expose-0.1.0.1 (deech)
2020-09-29 00:48:49 × arahael quits (~arahael@203.158.32.156) (Ping timeout: 264 seconds)
2020-09-29 00:49:12 <sepi> was it at least a good idea to do q:s and f:fs for those variables. Supposedly can't use any modules
2020-09-29 00:49:57 × sarahzrf quits (~sarahzrf_@benzrf.com) (Quit: bye)
2020-09-29 00:50:38 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
2020-09-29 00:50:49 → sarahzrf joins (~sarahzrf_@benzrf.com)
2020-09-29 00:51:26 <Axman6> I don';t understand the question
2020-09-29 00:53:11 <Axman6> I think you're trying to do too much at once - I would split the checks you need to do out in a where clause and check each thing individually
2020-09-29 00:54:17 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 00:54:45 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 00:54:50 <Axman6> like I said, start by defining a function which checks if all elements of one list are contained in another, then checks (2) and (3) are trivial
2020-09-29 00:54:57 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-09-29 00:55:49 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 00:56:06 → voet joins (~voet@84.39.117.57)
←Prev  Next→
Page 1 .. 279 280 281 282 283 284 285 286 287 288 289 .. 5022

All times are in UTC.