Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 515 516 517 518 519 520 521 522 523 524 525 .. 5022
— 502,152 events total
2020-10-08 18:41:15 <ski> > map isUpper "Β΅γŽ²πœ‡"
2020-10-08 18:41:17 <lambdabot> [False,False,False]
2020-10-08 18:41:21 Γ— ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-10-08 18:43:02 <snyp> @unmtl StateT s (Maybe a)
2020-10-08 18:43:02 <lambdabot> err: `StateT s (Maybe a)' is not applied to enough arguments, giving `/\A. s -> Maybe a (A, s)'
2020-10-08 18:43:58 <ski> drop the brackets
2020-10-08 18:43:59 β†’ conal joins (~conal@64.71.133.70)
2020-10-08 18:44:10 Γ— phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds)
2020-10-08 18:44:31 Γ— cosimone quits (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-08 18:45:41 β†’ Cthalupa joins (~cthulhu@47.186.47.75)
2020-10-08 18:45:47 Γ— cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-10-08 18:45:52 β†’ ericsagnes joins (~ericsagne@2405:6580:0:5100:1c60:69e9:f30b:d7e8)
2020-10-08 18:46:38 β†’ cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-08 18:47:06 β†’ phaul joins (~phaul@ruby/staff/phaul)
2020-10-08 18:47:11 β†’ ystael joins (~ystael@209.6.50.55)
2020-10-08 18:47:25 Γ— snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-08 18:48:28 <sm[m]> @freenode_PerryThePlatypus:matrix.org: exercism, project Euler, code.world
2020-10-08 18:48:28 <lambdabot> Unknown command, try @list
2020-10-08 18:49:33 Γ— GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 18:49:43 β†’ GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-08 18:49:43 Γ— GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-08 18:49:43 β†’ GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-08 18:49:52 Γ— Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-08 18:51:17 Γ— heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-08 18:51:52 β†’ jneira joins (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-10-08 18:52:09 ski looks at sm[m]
2020-10-08 18:53:08 β†’ bitmapper joins (uid464869@gateway/web/irccloud.com/x-jxsyyeiuxmytinai)
2020-10-08 18:53:45 Γ— phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-10-08 18:54:46 β†’ snakemas1 joins (~snakemast@213.100.206.23)
2020-10-08 18:55:03 tomsmeding carefully notes that the intended recipient of that message had already left the chat
2020-10-08 19:01:27 β†’ ashbreeze joins (~mark@72-161-253-219.dyn.centurytel.net)
2020-10-08 19:02:08 β†’ DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-08 19:03:45 Γ— _ashbreeze_ quits (~mark@72-161-253-219.dyn.centurytel.net) (Ping timeout: 240 seconds)
2020-10-08 19:04:05 Γ— conal quits (~conal@64.71.133.70) (Remote host closed the connection)
2020-10-08 19:04:18 β†’ conal_ joins (~conal@64.71.133.70)
2020-10-08 19:04:26 Γ— DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-08 19:05:36 β†’ John20 joins (~John@82.46.59.122)
2020-10-08 19:07:09 β†’ _ashbreeze_ joins (~mark@72-161-48-15.dyn.centurytel.net)
2020-10-08 19:08:33 β†’ thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 19:09:13 Γ— ashbreeze quits (~mark@72-161-253-219.dyn.centurytel.net) (Ping timeout: 256 seconds)
2020-10-08 19:11:15 β†’ heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 19:11:16 Γ— vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 256 seconds)
2020-10-08 19:12:22 Γ— conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-08 19:12:30 Γ— ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-08 19:13:21 β†’ conal joins (~conal@64.71.133.70)
2020-10-08 19:13:42 <sm[m]> urggggh did it again. Apologies. Well maybe someone else cares
2020-10-08 19:15:01 <int-e> > (2^^(-1074), (2^^(-537))^2) -- meh.
2020-10-08 19:15:04 <lambdabot> (0.0,5.0e-324)
2020-10-08 19:16:03 <geekosaur> have some floating point
2020-10-08 19:16:12 Γ— thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-08 19:16:39 <int-e> I guess a ^^ b does 1/(a^(-b)) for negative b, not (1/a)^(-b)
2020-10-08 19:17:07 <int-e> > (1/2^1074, (1/2)^1074)
2020-10-08 19:17:10 <lambdabot> (0.0,5.0e-324)
2020-10-08 19:19:43 Γ— conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-08 19:22:03 Γ— ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds)
2020-10-08 19:22:26 β†’ ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-10-08 19:23:47 <int-e> (but neither implementation is strictly better than the other, so best to accept the behavior as it is)
2020-10-08 19:24:41 β†’ proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-08 19:25:57 hackage hakyll-alectryon 0.1.1.0 - Hakyll extension for rendering Coq code using Alectryon https://hackage.haskell.org/package/hakyll-alectryon-0.1.1.0 (lyxia)
2020-10-08 19:26:40 β†’ cosimone joins (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-08 19:26:44 <proofofme> Hello. How do I print this data type to the console? Maybe [String]
2020-10-08 19:27:02 <phadej> print
2020-10-08 19:27:49 <proofofme> No instance for (Show (IO (Maybe [String])))
2020-10-08 19:27:49 <proofofme> arising from a use of β€˜print’
2020-10-08 19:28:20 <phadej> do { x <- thatIOAction; print x }
2020-10-08 19:29:10 <proofofme> Yes!!! Thank you phadej
2020-10-08 19:32:22 Γ— isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 265 seconds)
2020-10-08 19:36:04 <leungbk> Why does valgrind report an 80-byte leak for a hello-world.hs file with `main = print "hello"` compiled with `ghc hello.hs`? Are there other compilation flags I need to give ghc?
2020-10-08 19:36:04 Γ— ralejs quits (~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 19:36:11 β†’ alp joins (~alp@88.126.45.36)
2020-10-08 19:36:15 Γ— zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-08 19:36:19 Γ— geekosaur quits (ac3a3ed8@172.58.62.216) (Ping timeout: 245 seconds)
2020-10-08 19:36:49 β†’ ralejs joins (~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 19:37:54 <ski> proofofme : also `print =<< thatIOAction'
2020-10-08 19:38:40 <tomsmeding> (not sure if it's good to give beginners =<< instead of the standard >>=)
2020-10-08 19:38:42 <monochrom> valgrind is the wrong tool for GHC-generated executables.
2020-10-08 19:38:53 β†’ Ariakenom joins (~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se)
2020-10-08 19:39:25 <proofofme> ski, that worked as well! How should I use the standard binding operator instead, tomsmeding?
2020-10-08 19:39:36 <tomsmeding> proofofme: thatIOAction >>= print
2020-10-08 19:39:37 <tomsmeding> :p
2020-10-08 19:39:42 <tomsmeding> it's the same thing, but with the arguments flipped
2020-10-08 19:39:43 <ski> you can say .. what tomsmeding said, as well
2020-10-08 19:39:45 <ski> yes
2020-10-08 19:39:55 Γ— wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-08 19:39:56 β†’ wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 19:39:59 <ski> sometimes the ordering for `=<<' reads more nicely
2020-10-08 19:40:00 <proofofme> ah! I see
2020-10-08 19:40:04 <ski> (also `<=<')
2020-10-08 19:40:05 β†’ borne joins (~fritjof@200116b864a02a00739dc2dd650b1f65.dip.versatel-1u1.de)
2020-10-08 19:40:11 <proofofme> is <=< different?
2020-10-08 19:40:15 <ski> yes
2020-10-08 19:40:18 <tomsmeding> and >=> and all the plethora of operators that exist
2020-10-08 19:40:34 <ski> `<=<' composes two "monadic functions"
2020-10-08 19:40:35 <tomsmeding> it's not productive to get lost in the swamp of operators at first I think :)
2020-10-08 19:40:40 <tomsmeding> and I think monochrom will agree
2020-10-08 19:41:14 <tomsmeding> since >>= is the core operator from the Monad class; =<< is (trivially) defined in terms of >>=
2020-10-08 19:41:28 <ski> proofofme : but when you're starting, i think it's good to focus on `do'-notation and `return'/`pure', and then learn how the former maps to `>>=' and `>>' (or perhaps learn about them, before `do')
2020-10-08 19:41:53 Γ— shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-08 19:41:54 Γ— raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-10-08 19:42:07 <tomsmeding> I guess depending on your prior programming experience, or general exposure to mathematics :p
←Prev  Next→
Page 1 .. 515 516 517 518 519 520 521 522 523 524 525 .. 5022

All times are in UTC.