Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 472 473 474 475 476 477 478 479 480 481 482 .. 18002
— 1,800,107 events total
2021-06-15 11:26:38 → fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26)
2021-06-15 11:28:30 × larkfisherman quits (~larkfishe@217.75.204.126) (Quit: Leaving)
2021-06-15 11:28:39 → fef joins (~thedawn@user/thedawn)
2021-06-15 11:30:31 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-15 11:31:26 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-15 11:36:18 × azeem quits (~azeem@176.200.200.250) (Ping timeout: 244 seconds)
2021-06-15 11:36:25 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-06-15 11:37:32 × Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer)
2021-06-15 11:37:42 → Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-06-15 11:38:26 → azeem joins (~azeem@176.201.22.245)
2021-06-15 11:38:32 × fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Remote host closed the connection)
2021-06-15 11:38:51 → ddellacosta joins (~ddellacos@86.106.121.190)
2021-06-15 11:42:55 → nsilv1 joins (~nsilv@212.103.198.210)
2021-06-15 11:43:32 × ddellacosta quits (~ddellacos@86.106.121.190) (Ping timeout: 244 seconds)
2021-06-15 11:50:59 × azeem quits (~azeem@176.201.22.245) (Ping timeout: 272 seconds)
2021-06-15 11:51:44 × pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2021-06-15 11:51:59 → nschoe joins (~quassel@178.251.84.79)
2021-06-15 11:54:54 → azeem joins (~azeem@176.201.22.245)
2021-06-15 11:55:45 → zyklotomic joins (~ethan@2604:a880:800:10::79f:8001)
2021-06-15 11:57:29 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds)
2021-06-15 11:58:57 <zyklotomic> is there a way to deduce a type from a variable? i'm not sure if this is a language extension for it
2021-06-15 11:59:12 <zyklotomic> https://gist.github.com/zyklotomic/d1e7eb54e74ea53dcb9a5f616d362dc8 here is an example of where i'm trying to do that
2021-06-15 12:00:10 <zyklotomic> *if there is
2021-06-15 12:00:25 <merijn> zyklotomic: Ah, you want ScopedTypeVariables
2021-06-15 12:00:43 <merijn> zyklotomic: That lets you refer to type variables from your top-level signature in the body
2021-06-15 12:00:57 <merijn> so you can do "minBound :: a" with 'a' being equal to the 'a' in the top level type
2021-06-15 12:01:07 <merijn> @where user-guide
2021-06-15 12:01:07 <lambdabot> I know nothing about user-guide.
2021-06-15 12:01:12 <merijn> @where userguide
2021-06-15 12:01:12 <zyklotomic> merijn: ah thank you, appreciate it
2021-06-15 12:01:12 <lambdabot> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/
2021-06-15 12:01:19 → henninb joins (~user@63.226.174.157)
2021-06-15 12:01:25 <merijn> GHC User Guide should have a section explaining the extensio
2021-06-15 12:02:03 <zyklotomic> the hard part is knowing how to explain specific niche use cases lol, and just the gut feeling there probably is an extension for it
2021-06-15 12:03:33 <merijn> zyklotomic: If you have an 'a' available there's also
2021-06-15 12:03:35 <merijn> :t asTypeOf
2021-06-15 12:03:37 <lambdabot> a -> a -> a
2021-06-15 12:03:47 <merijn> > minBound `asTypeOf` True
2021-06-15 12:03:49 <lambdabot> False
2021-06-15 12:03:53 <merijn> > minBound `asTypeOf` 'c'
2021-06-15 12:03:55 <lambdabot> '\NUL'
2021-06-15 12:04:41 <merijn> zyklotomic: Basically, asTypeOf is just const (i.e. returns first argument), but the type signature of asTypeOf lets you guide type inference with the second value
2021-06-15 12:04:50 × oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer)
2021-06-15 12:05:49 <merijn> Although, looking at your example, probably ScopedTypeVariables is a better/easier solution
2021-06-15 12:05:59 <merijn> Since you don't actually have an 'a' available
2021-06-15 12:06:48 <merijn> zyklotomic: otoh, if you're just gonna apply a function to it, you might not even need that
2021-06-15 12:06:56 <merijn> :t [minBound .. maxBound]
2021-06-15 12:06:57 <lambdabot> (Bounded a, Enum a) => [a]
2021-06-15 12:07:09 <merijn> :t map isDigit [minBound .. maxBound]
2021-06-15 12:07:10 <lambdabot> [Bool]
2021-06-15 12:07:15 <merijn> > map isDigit [minBound .. maxBound]
2021-06-15 12:07:17 <lambdabot> [False,False,False,False,False,False,False,False,False,False,False,False,Fal...
2021-06-15 12:07:34 → dunkeln joins (~dunkeln@94.129.65.28)
2021-06-15 12:07:50 <merijn> zyklotomic: So if you're gonna just apply the function from your CountMap to the resulting list, you don't even need the type, it will just be inferred
2021-06-15 12:08:48 → oxide joins (~lambda@user/oxide)
2021-06-15 12:09:08 × kenran quits (~kenran@b2b-37-24-119-190.unitymedia.biz) (Quit: WeeChat info:version)
2021-06-15 12:11:11 × henninb quits (~user@63.226.174.157) (Remote host closed the connection)
2021-06-15 12:11:20 → ddellacosta joins (~ddellacos@89.45.224.73)
2021-06-15 12:11:50 → derelict joins (~derelict@user/derelict)
2021-06-15 12:12:14 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-06-15 12:16:05 × ddellacosta quits (~ddellacos@89.45.224.73) (Ping timeout: 244 seconds)
2021-06-15 12:21:18 × azeem quits (~azeem@176.201.22.245) (Ping timeout: 264 seconds)
2021-06-15 12:21:36 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-15 12:21:56 → azeem joins (~azeem@176.201.22.245)
2021-06-15 12:22:43 × shredder quits (~shredder@42-2-58-147.static.netvigator.com) (Changing host)
2021-06-15 12:22:43 → shredder joins (~shredder@user/shredder)
2021-06-15 12:24:54 × BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds)
2021-06-15 12:25:52 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-15 12:27:28 × nschoe quits (~quassel@178.251.84.79) (Ping timeout: 272 seconds)
2021-06-15 12:27:58 × shredder quits (~shredder@user/shredder) (Ping timeout: 244 seconds)
2021-06-15 12:28:16 → haskman joins (~haskman@223.190.124.48)
2021-06-15 12:28:24 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-15 12:32:21 → BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-15 12:33:46 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-15 12:34:29 × azeem quits (~azeem@176.201.22.245) (Ping timeout: 272 seconds)
2021-06-15 12:34:49 → azeem joins (~azeem@176.201.22.245)
2021-06-15 12:34:54 <xsperry> > filter isDigit [minBound .. maxBound]
2021-06-15 12:34:56 <lambdabot> "0123456789"
2021-06-15 12:35:27 × teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-06-15 12:36:32 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-06-15 12:36:49 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-15 12:38:15 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-15 12:38:53 → teaSlurper joins (~chris@81.96.113.213)
2021-06-15 12:39:46 → nschoe joins (~quassel@178.251.84.79)
2021-06-15 12:39:56 → pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-06-15 12:42:17 × Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds)
2021-06-15 12:42:33 → ddellacosta joins (~ddellacos@86.106.143.229)
2021-06-15 12:44:29 → shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-06-15 12:47:26 × ddellacosta quits (~ddellacos@86.106.143.229) (Ping timeout: 268 seconds)
2021-06-15 12:49:17 × azeem quits (~azeem@176.201.22.245) (Ping timeout: 268 seconds)
2021-06-15 12:49:55 → azeem joins (~azeem@176.201.22.245)
2021-06-15 12:52:44 × fishfinger quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Remote host closed the connection)
2021-06-15 12:53:00 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-15 12:53:21 <merijn> > filter isNumber [minBound .. maxBound]
2021-06-15 12:53:23 <lambdabot> "0123456789\178\179\185\188\189\190\1632\1633\1634\1635\1636\1637\1638\1639\...
2021-06-15 12:53:26 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-15 12:53:26 <merijn> oh, wait
2021-06-15 12:53:30 <merijn> > text filter isNumber [minBound .. maxBound]
2021-06-15 12:53:31 <lambdabot> error:
2021-06-15 12:53:32 <lambdabot> • Couldn't match expected type ‘(Char -> Bool) -> [a1] -> t’
←Prev  Next→
Page 1 .. 472 473 474 475 476 477 478 479 480 481 482 .. 18002

All times are in UTC.