Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 705 706 707 708 709 710 711 712 713 714 715 .. 5022
— 502,152 events total
2020-10-17 23:25:46 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 23:26:32 <larou> this being at type level means it has kind level nats...
2020-10-17 23:27:17 <larou> and that the smart constructors are basically then doing a kind level computation
2020-10-17 23:27:25 <larou> to ensure the types are constructed safely
2020-10-17 23:27:28 <larou> cool or what!?
2020-10-17 23:27:53 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-17 23:29:46 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 23:31:53 <larou> idk if that because graphs are traversable
2020-10-17 23:32:01 <larou> that establishing cycles over them
2020-10-17 23:32:16 <larou> would then collapse down to some kind of extra linked list like this
2020-10-17 23:32:55 <larou> i think you might lose some speed from the evaluation order.. cant really tell
2020-10-17 23:33:04 <larou> but it would mean its as expressive...
2020-10-17 23:33:57 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2020-10-17 23:34:00 × fragamus quits (~michaelgo@73.93.155.44) (Ping timeout: 272 seconds)
2020-10-17 23:34:19 <larou> makes it worthwhile constructing the graphs algebraically to preserve the existence of a traversable implementation
2020-10-17 23:34:28 <larou> ie "shaped construction"
2020-10-17 23:34:30 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-17 23:35:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-17 23:36:00 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-17 23:36:10 × larou quits (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed)
2020-10-17 23:37:12 → Guest11473 joins (~andrea@185.244.214.216)
2020-10-17 23:37:48 → mega_hater joins (~haterrr@s91904427.blix.com)
2020-10-17 23:37:54 ← mega_hater parts (~haterrr@s91904427.blix.com) ("Leaving")
2020-10-17 23:37:58 <justsomeguy> I'm only a noob, so this stuff is beyond my comprehension, but it looks pretty cool.
2020-10-17 23:39:51 → addcninblue joins (~addison@c-73-158-198-149.hsd1.ca.comcast.net)
2020-10-17 23:39:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 23:40:10 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-17 23:40:26 → zaquest joins (~notzaques@5.128.210.178)
2020-10-17 23:41:36 × dhil quits (~dhil@195.213.192.122) (Ping timeout: 272 seconds)
2020-10-17 23:41:52 × kupi quits (uid212005@gateway/web/irccloud.com/x-uvssjsekmuehxron) (Quit: Connection closed for inactivity)
2020-10-17 23:44:28 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-17 23:44:52 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-17 23:45:24 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 272 seconds)
2020-10-17 23:45:40 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-17 23:49:59 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 23:53:01 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 264 seconds)
2020-10-17 23:54:05 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-17 23:54:10 → revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-17 23:54:50 → kupi joins (uid212005@gateway/web/irccloud.com/x-vfsmeyjszxcityxd)
2020-10-17 23:55:28 × kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 246 seconds)
2020-10-17 23:56:00 → kish joins (~oracle@unaffiliated/oracle)
2020-10-17 23:57:32 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fce4:f626:e7a:99f3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-17 23:57:44 → fragamus joins (~michaelgo@73.93.155.52)
2020-10-17 23:59:21 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fce4:f626:e7a:99f3)
2020-10-17 23:59:34 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-18 00:00:02 × Guest11473 quits (~andrea@185.244.214.216) ()
2020-10-18 00:00:05 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-18 00:00:57 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-18 00:04:33 <Guest36918> hello
2020-10-18 00:05:13 <ski> ehlo
2020-10-18 00:05:22 <Guest36918> i need to change my name
2020-10-18 00:05:22 <Guest36918> but
2020-10-18 00:05:33 <Guest36918> was wondering if someone could help me fix a snipper of haskell code
2020-10-18 00:05:39 <Guest36918> snippet
2020-10-18 00:05:40 <Guest36918> *
2020-10-18 00:05:53 × kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 246 seconds)
2020-10-18 00:06:24 <ski> hard to tell, without seeing it
2020-10-18 00:06:37 <ski> /nick myNewNickName
2020-10-18 00:06:42 → kish joins (~oracle@unaffiliated/oracle)
2020-10-18 00:06:43 <ski> to change your nickname
2020-10-18 00:06:46 Guest36918 is now known as christo
2020-10-18 00:06:51 <christo> thx
2020-10-18 00:07:03 <Squarism> i see here OverlappingInstances and IncoherantInstances are both deprecated here https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#overlapping-instances
2020-10-18 00:07:03 <christo> what's the best way to link haskell code?
2020-10-18 00:07:08 <Squarism> what should one use instead?
2020-10-18 00:07:16 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-18 00:07:27 <ski> @where paste
2020-10-18 00:07:28 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-10-18 00:07:40 <ski> you could use that ^, christo
2020-10-18 00:07:46 <christo> thx
2020-10-18 00:07:54 <christo> basically, i'm writing an infix operator function
2020-10-18 00:08:02 <Squarism> oh its the pragmas
2020-10-18 00:08:02 <christo> < i'm a newbie to haskell and experimenting
2020-10-18 00:08:20 <christo> and i'm getting a type error with floor (n1 / n2)
2020-10-18 00:08:25 <christo> i'll paste full code now
2020-10-18 00:08:33 <christo> it's for a custom modulo operator
2020-10-18 00:09:15 <koz_> ski: Didn't know we had this as a pastebin, nice.
2020-10-18 00:09:32 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-18 00:09:46 <christo> https://paste.tomsmeding.com/QutEatIe#file-1
2020-10-18 00:10:26 <christo> • No instance for (RealFrac Integer) arising from a use of ‘floor’
2020-10-18 00:10:39 <christo> haskell language server error i get in vs-code
2020-10-18 00:11:12 <koz_> :t (/)
2020-10-18 00:11:14 <lambdabot> Fractional a => a -> a -> a
2020-10-18 00:11:17 <koz_> There's your issue.
2020-10-18 00:11:21 <koz_> I assume you wanted this?
2020-10-18 00:11:22 <koz_> :t div
2020-10-18 00:11:24 <lambdabot> Integral a => a -> a -> a
2020-10-18 00:12:43 <Squarism> gah.. im on ghc865 but it still tells me to use deprecated IncoherentInstances
2020-10-18 00:12:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-18 00:12:58 <koz_> Squarism: What're you trying to write?
2020-10-18 00:12:58 <christo> so i do. round (n1 (div) n2) ?
2020-10-18 00:13:19 <Squarism> koz instances that "overlap" =D
2020-10-18 00:13:21 <koz_> christo: If you wanna use div infix, you wanna write it as n1 `div` n2
2020-10-18 00:13:32 <koz_> Squarism: Yes. In other news, cream puffs are puffs which are creamy.
2020-10-18 00:13:39 <koz_> And regular expressions are expressions which are regular.
2020-10-18 00:14:10 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-18 00:14:15 <christo> @koz_ still not working it seems
2020-10-18 00:14:15 <lambdabot> Unknown command, try @list
2020-10-18 00:14:18 <Squarism> im just confused i got the error message instructing me to use a deprecated extension
2020-10-18 00:14:26 <ski> Squarism : `/' doesn't work on `Integer's. `/' is for fractional division. either convert your `Integer's to some fractional number type, or else use integral division (`div')
←Prev  Next→
Page 1 .. 705 706 707 708 709 710 711 712 713 714 715 .. 5022

All times are in UTC.