Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4940 4941 4942 4943 4944 4945 4946 4947 4948 4949 4950 .. 5022
— 502,152 events total
2021-05-18 13:48:06 <yahb> boxscape: Sum {getSum = 4}
2021-05-18 13:48:21 × drbean_ quits (~drbean@TC210-63-209-89.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-18 13:48:31 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2021-05-18 13:48:33 <opqdonut> nice
2021-05-18 13:49:18 × ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds)
2021-05-18 13:49:20 <boxscape> % let getSum = getSum in Data.Monoid.getSum getSum {getSum = 4} -- dminuoso how's this for obfuscation
2021-05-18 13:49:23 <yahb> boxscape: 4
2021-05-18 13:49:41 <boxscape> (didn't mean to copy the comment but oh well)
2021-05-18 13:49:57 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-18 13:51:21 × guriya quits (a0ee4ae0@unaffiliated/guriya) (Quit: Connection closed)
2021-05-18 13:52:32 × sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Remote host closed the connection)
2021-05-18 13:52:35 → mpiechotka joins (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net)
2021-05-18 13:52:51 → sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca)
2021-05-18 13:52:52 × mpiechotka quits (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-05-18 13:53:02 → jakalx joins (~jakalx@base.jakalx.net)
2021-05-18 13:53:04 → mpiechotka joins (~mpiechotk@107.203.255.70)
2021-05-18 13:53:05 × mpiechotka quits (~mpiechotk@107.203.255.70) (Remote host closed the connection)
2021-05-18 13:53:26 × NieDzejkob quits (~quassel@195.149.98.3) (Ping timeout: 240 seconds)
2021-05-18 13:53:29 <dminuoso> % fix (const fix) $ \t -> (1, fst t + 1)
2021-05-18 13:53:29 <yahb> dminuoso: (1,2)
2021-05-18 13:53:29 × sqrt2 quits (~ben@unaffiliated/sqrt2) (Remote host closed the connection)
2021-05-18 13:53:36 × nojster quits (~noj@vmd62096.contaboserver.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-18 13:53:40 → sqrt2 joins (~ben@unaffiliated/sqrt2)
2021-05-18 13:53:42 → rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl)
2021-05-18 13:53:46 → noj- joins (~noj@vmd62096.contaboserver.net)
2021-05-18 13:53:59 <dminuoso> % :t fix . const
2021-05-18 13:53:59 <yahb> dminuoso: c -> c
2021-05-18 13:54:13 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-18 13:54:38 × zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!)
2021-05-18 13:54:56 <maerwald> c2hs is really annoying
2021-05-18 13:55:06 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-05-18 13:55:10 <merijn> C is really annoying
2021-05-18 13:55:14 <maerwald> I have at least 2 dependencies that fail on a) 32bit linux and b) windows
2021-05-18 13:55:19 <merijn> c2hs' annoyingness is just an extension of that :p
2021-05-18 13:55:19 <maerwald> because the parser is broken
2021-05-18 13:55:20 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds)
2021-05-18 13:55:33 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-05-18 13:55:40 <maerwald> that doesn't help me
2021-05-18 13:55:45 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-05-18 13:55:47 <maerwald> I'm going to avoid packages using c2hs
2021-05-18 13:56:01 <merijn> maerwald: c2hs isn't intended as a tool for automated use, so you should avoid those, yes
2021-05-18 13:56:31 <merijn> Or am I thinking of c2hsc now?
2021-05-18 13:56:33 <merijn> lemme check
2021-05-18 13:56:41 → zfnmxt joins (~zfnmxt@unaffiliated/zfnmxt)
2021-05-18 13:57:10 <dminuoso> fix (const fix)
2021-05-18 13:57:13 <dminuoso> Is probably my favourite atm
2021-05-18 13:57:24 × nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection)
2021-05-18 13:57:37 <boxscape> it's pretty neat
2021-05-18 13:57:48 <merijn> :t fix (const fix)
2021-05-18 13:57:49 <lambdabot> (a -> a) -> a
2021-05-18 13:58:26 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:a52c:b530:6c8a:fd41)
2021-05-18 13:58:47 → ddella___ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-18 13:58:50 → poljar1 joins (~poljar@93-139-93-177.adsl.net.t-com.hr)
2021-05-18 13:59:06 → vchlup_ joins (~vchlup@nat.brnet.cz)
2021-05-18 13:59:10 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-18 13:59:17 → ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-18 13:59:17 → CrazyPyt_ joins (~crazypyth@206.214.238.6)
2021-05-18 13:59:30 → DTZUZU_ joins (~DTZUZO@205.ip-149-56-132.net)
2021-05-18 13:59:39 × epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-18 13:59:39 × poljar quits (~poljar@93-139-93-177.adsl.net.t-com.hr) (Remote host closed the connection)
2021-05-18 13:59:39 × CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer)
2021-05-18 13:59:39 × zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Remote host closed the connection)
2021-05-18 13:59:48 → haya5 joins (~haya@18.230.78.122)
2021-05-18 13:59:50 → Katarushisu1 joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-05-18 13:59:51 → styledash7 joins (~styledash@157.230.173.136)
2021-05-18 14:00:25 × dan64 quits (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
2021-05-18 14:00:25 × Xnuk quits (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in)
2021-05-18 14:00:25 × RoguePointer quits (~jigen@unaffiliated/roguepointer) (Quit: <>)
2021-05-18 14:00:26 × Unode quits (~Unode@unaffiliated/unode) (Quit: Off it goes)
2021-05-18 14:00:39 × bob_twinkles quits (~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com) (Quit: No Ping reply in 180 seconds.)
2021-05-18 14:00:42 → Arch-TK joins (~Arch-TK@ircpuzzles/staff/Arch-TK)
2021-05-18 14:00:43 → Xnuk joins (~xnuk@45.76.202.58)
2021-05-18 14:00:43 → remedan_ joins (~remedan@balak.me)
2021-05-18 14:00:48 → RoguePointer joins (~jigen@94.177.235.178)
2021-05-18 14:00:48 → zfnmxt joins (~zfnmxt@unaffiliated/zfnmxt)
2021-05-18 14:00:49 × RoguePointer quits (~jigen@94.177.235.178) (Changing host)
2021-05-18 14:00:49 → RoguePointer joins (~jigen@unaffiliated/roguepointer)
2021-05-18 14:00:50 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Quit: No Ping reply in 180 seconds.)
2021-05-18 14:01:06 → sm2n joins (~sm2n@74.12.28.63)
2021-05-18 14:01:08 → Unode joins (~Unode@unaffiliated/unode)
2021-05-18 14:01:15 × Ophir quits (~manjaro-u@138.59.122.124) (Remote host closed the connection)
2021-05-18 14:01:22 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-18 14:01:30 <dminuoso> boxscape: Do you think we can use your trick with fix somehow?
2021-05-18 14:01:30 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-05-18 14:01:30 × sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) (Ping timeout: 240 seconds)
2021-05-18 14:01:30 × vchlup quits (~vchlup@nat.brnet.cz) (Remote host closed the connection)
2021-05-18 14:01:30 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-05-18 14:01:30 × haya quits (~haya@ec2-18-230-78-122.sa-east-1.compute.amazonaws.com) (Quit: Ping timeout (120 seconds))
2021-05-18 14:01:30 × Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2021-05-18 14:01:30 × styledash quits (~styledash@157.230.173.136) (Quit: Ping timeout (120 seconds))
2021-05-18 14:01:30 × seliopou quits (seliopou@entropy.tmok.com) (Ping timeout: 240 seconds)
2021-05-18 14:01:30 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-05-18 14:01:30 styledash7 is now known as styledash
2021-05-18 14:01:30 <dminuoso> Oh
2021-05-18 14:01:30 <dminuoso> fix $ \t -> t { getSum = 6 }
2021-05-18 14:01:30 <dminuoso> This is neat
2021-05-18 14:01:30 <dminuoso> Or we can make it cuter
2021-05-18 14:01:30 <dminuoso> fix (const fix) $ \t -> t { getSum = 6 }
2021-05-18 14:01:30 <dminuoso> How's that?
2021-05-18 14:01:30 → emergence2 joins (~emergence@vm0.max-p.me)
←Prev  Next→
Page 1 .. 4940 4941 4942 4943 4944 4945 4946 4947 4948 4949 4950 .. 5022

All times are in UTC.