Logs: freenode/#haskell
| 2021-03-15 01:43:33 | <int-e> | huh, so par_tot_bytes_copied and par_avg_bytes_copied are the same? that's odd |
| 2021-03-15 01:44:49 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-scfssrsbjzfzlhth) |
| 2021-03-15 01:45:27 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:2584:bfd8:4ff2:6f57) |
| 2021-03-15 01:52:02 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-15 01:52:51 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2021-03-15 01:54:20 | × | gitgood quits (~gitgood@80-44-12-39.dynamic.dsl.as9105.com) (Ping timeout: 265 seconds) |
| 2021-03-15 01:56:44 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-15 01:57:18 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-15 01:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-15 01:58:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-15 02:00:32 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-03-15 02:01:06 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-03-15 02:02:45 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-03-15 02:03:24 | → | __minoru__shirae joins (~shiraeesh@46.34.207.217) |
| 2021-03-15 02:05:03 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-15 02:05:15 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-03-15 02:05:44 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds) |
| 2021-03-15 02:08:03 | → | sayola joins (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) |
| 2021-03-15 02:09:28 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-15 02:09:30 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-15 02:19:53 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-15 02:21:18 | → | nfd joins (~nfd9001@2601:602:77f:1820:cdd8:8342:9006:fbd2) |
| 2021-03-15 02:21:54 | → | nfd9001 joins (~nfd9001@2601:602:77f:1820:61ac:3926:b4ff:2973) |
| 2021-03-15 02:23:21 | <shapr> | I just realized hoogle is so successful because of purity |
| 2021-03-15 02:25:50 | × | nfd quits (~nfd9001@2601:602:77f:1820:cdd8:8342:9006:fbd2) (Ping timeout: 264 seconds) |
| 2021-03-15 02:26:02 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-15 02:27:02 | × | nfd9001 quits (~nfd9001@2601:602:77f:1820:61ac:3926:b4ff:2973) (Ping timeout: 264 seconds) |
| 2021-03-15 02:29:21 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 2021-03-15 02:30:43 | <MarcelineVQ> | what a mysterious thing to say |
| 2021-03-15 02:30:53 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 245 seconds) |
| 2021-03-15 02:32:57 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 246 seconds) |
| 2021-03-15 02:34:36 | → | Yanze joins (32188769@50-24-135-105.bcstcmta02.res.dyn.suddenlink.net) |
| 2021-03-15 02:35:49 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-03-15 02:36:08 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-15 02:38:14 | × | Yanze quits (32188769@50-24-135-105.bcstcmta02.res.dyn.suddenlink.net) (Quit: Connection closed) |
| 2021-03-15 02:38:34 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-15 02:38:43 | → | Yanze joins (32188769@50-24-135-105.bcstcmta02.res.dyn.suddenlink.net) |
| 2021-03-15 02:38:54 | × | Yanze quits (32188769@50-24-135-105.bcstcmta02.res.dyn.suddenlink.net) (Client Quit) |
| 2021-03-15 02:39:22 | <shapr> | MarcelineVQ: I realized that hoogle in OCaml might not be as useful, because more mutation is allowed |
| 2021-03-15 02:39:43 | → | Yanze joins (32188769@50.24.135.105) |
| 2021-03-15 02:40:05 | <shapr> | and that the usefulness of an OCaml hoogle would depend on how well the function was described by the type signature |
| 2021-03-15 02:40:30 | <shapr> | hoogle is a confusing tool to show to people who don't know Haskell |
| 2021-03-15 02:40:43 | × | Yanze quits (32188769@50.24.135.105) (Client Quit) |
| 2021-03-15 02:40:53 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-15 02:40:54 | <shapr> | Once I've given someone a minimal introduction to Haskell, hoogle is a wonderful surprise |
| 2021-03-15 02:42:24 | <shapr> | but you couldn't build hoogle for Python |
| 2021-03-15 02:42:34 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-03-15 02:42:35 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds) |
| 2021-03-15 02:43:43 | × | xff0x quits (~xff0x@2001:1a81:527c:ad00:a70:55a0:fd29:c4d4) (Ping timeout: 258 seconds) |
| 2021-03-15 02:44:15 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-15 02:44:35 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-15 02:45:25 | → | xff0x joins (~xff0x@2001:1a81:52b7:0:124b:8415:a163:5525) |
| 2021-03-15 02:47:27 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-15 02:49:03 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-15 02:49:32 | <nshepperd> | type signatures are probably a bit less informative when everything's mutable yeah |
| 2021-03-15 02:50:52 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-15 02:52:29 | × | Wuzzy quits (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 2021-03-15 02:55:00 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-03-15 03:01:09 | <int-e> | @hoogle IO () |
| 2021-03-15 03:01:10 | <lambdabot> | Control.Concurrent yield :: IO () |
| 2021-03-15 03:01:10 | <lambdabot> | Control.Exception allowInterrupt :: IO () |
| 2021-03-15 03:01:10 | <lambdabot> | Foreign.C.Error resetErrno :: IO () |
| 2021-03-15 03:01:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-15 03:01:33 | <int-e> | (yeah that's about as useful as could be expected :-) ) |
| 2021-03-15 03:03:13 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-15 03:04:56 | × | alx741 quits (~alx741@181.196.68.64) (Quit: alx741) |
| 2021-03-15 03:04:58 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-15 03:05:23 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 265 seconds) |
| 2021-03-15 03:07:09 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 264 seconds) |
| 2021-03-15 03:07:11 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-15 03:07:11 | finn_elija | is now known as Guest69036 |
| 2021-03-15 03:07:11 | FinnElija | is now known as finn_elija |
| 2021-03-15 03:07:36 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-15 03:10:28 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-15 03:11:15 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-15 03:11:29 | <curiousgay> | `fst $ head [(3,"four")]` -> 3, `fst . head [(3,"four")]` -> error |
| 2021-03-15 03:11:33 | × | Guest69036 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-15 03:12:20 | <Axman6> | because you've written fst . (head [(3,"four"]) |
| 2021-03-15 03:12:34 | <Axman6> | uh, with the extra bracket I forgot for the tuple |
| 2021-03-15 03:13:48 | × | __minoru__shirae quits (~shiraeesh@46.34.207.217) (Ping timeout: 245 seconds) |
| 2021-03-15 03:13:53 | <Axman6> | two things to remember: function application binds the strongest, so f x means (f x), no matter which operators are around it. (.) takes in two functions, but the second argument you've provided it is not a function, it has type (Int,String) (or somerthing like it) |
| 2021-03-15 03:14:40 | <Axman6> | expanding the definition of (.) you can see we get \x -> fst (head [(3,"four)] x), which doesn't make much sense |
| 2021-03-15 03:15:07 | <curiousgay> | guh |
| 2021-03-15 03:15:09 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-15 03:15:15 | <curiousgay> | this only happens with tupples? |
| 2021-03-15 03:15:30 | <Axman6> | no, it has nothing to do with tuples |
| 2021-03-15 03:16:15 | <curiousgay> | but I usually have (.) working when function on the right has argument |
| 2021-03-15 03:16:39 | × | ph88_ quits (~ph88@2a02:8109:9e00:7e5c:85cc:3a34:36cf:1a53) (Ping timeout: 272 seconds) |
| 2021-03-15 03:16:52 | <Axman6> | what you probably meant to write was: fst . head $ [(3,"four")], which is the same as (fst . head) [(3,"four")], which expands into (\x -> fst (head x)) [(3,"four")] |
| 2021-03-15 03:18:55 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-15 03:19:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-03-15 03:20:08 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-15 03:20:22 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-15 03:20:40 | <Axman6> | curiousgay: you don;t have a function as the right argument though |
| 2021-03-15 03:20:44 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-15 03:20:46 | <Axman6> | head [(3,"four")] isn't a function |
| 2021-03-15 03:21:18 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-15 03:22:12 | <koz_> | :t head [(3, "four")] |
| 2021-03-15 03:22:13 | <lambdabot> | Num a => (a, [Char]) |
| 2021-03-15 03:22:20 | <koz_> | Confirmed, not a function. |
All times are in UTC.