Logs: freenode/#haskell
| 2021-03-03 09:08:48 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 09:08:57 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 09:09:07 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Read error: Connection reset by peer) |
| 2021-03-03 09:09:16 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-03-03 09:10:10 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-03 09:10:20 | → | fendor joins (~fendor@91.141.0.81.wireless.dyn.drei.com) |
| 2021-03-03 09:10:51 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 268 seconds) |
| 2021-03-03 09:12:05 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-03 09:16:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Ping timeout: 240 seconds) |
| 2021-03-03 09:19:00 | <hc_> | Sigh, why do people on the haskell mailing list apologize for cross-posting so often, only to cross-post their stuff? |
| 2021-03-03 09:19:14 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 260 seconds) |
| 2021-03-03 09:19:59 | → | seiryn joins (~seiryn@2a01cb0409c990003ccf6635f6976a70.ipv6.abo.wanadoo.fr) |
| 2021-03-03 09:21:00 | <opqdonut> | well surely, if they didn't cross-post, they wouldn't need to apologise! |
| 2021-03-03 09:22:21 | → | wmacmil joins (~wmacmil@c83-248-104-92.bredband.comhem.se) |
| 2021-03-03 09:22:21 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 09:22:32 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 09:25:09 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2021-03-03 09:25:29 | × | ubert quits (~Thunderbi@p548c9a44.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-03 09:25:44 | → | ubert joins (~Thunderbi@p200300ecdf25d90eca5b76fffe29f233.dip0.t-ipconnect.de) |
| 2021-03-03 09:25:56 | × | knupfer quits (~Thunderbi@200116b824ca5e004cef4013fe9dd744.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2021-03-03 09:26:25 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-03 09:28:47 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-03 09:28:49 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-03 09:29:58 | <seiryn> | I was wondering : If i write a constant function (like fac10 :: Int, defined by fac10 = factorial 10) , Will this function be evaluated during compilationn or runtime ? |
| 2021-03-03 09:30:46 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-03 09:30:46 | × | mjacob quits (~mjacob@unaffiliated/mjacob) (Read error: Connection reset by peer) |
| 2021-03-03 09:31:10 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-03 09:31:56 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:3b8c) |
| 2021-03-03 09:32:00 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Client Quit) |
| 2021-03-03 09:33:25 | → | kuribas joins (~user@ptr-25vy0ia12wjqyp3p35k.18120a2.ip6.access.telenet.be) |
| 2021-03-03 09:36:28 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:3b8c) (Client Quit) |
| 2021-03-03 09:36:41 | → | mjacob joins (~mjacob@unaffiliated/mjacob) |
| 2021-03-03 09:36:45 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2021-03-03 09:36:51 | → | ddellacosta joins (~ddellacos@86.106.143.84) |
| 2021-03-03 09:37:24 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-03 09:40:24 | <hololeap> | seiryn: not 100% sure, but i think it will be evaluated at runtime each time it is called, unless you implement memoization of some kind. however, ghc might optimize it somehow with -O/-O1/-O2 |
| 2021-03-03 09:42:10 | × | ddellacosta quits (~ddellacos@86.106.143.84) (Ping timeout: 276 seconds) |
| 2021-03-03 09:42:47 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-03-03 09:42:48 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-03 09:46:23 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-03 09:47:14 | → | tsaka__ joins (~torstein@athedsl-258913.home.otenet.gr) |
| 2021-03-03 09:48:13 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2021-03-03 09:50:00 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-03 09:51:09 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-03 09:53:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-03 09:54:08 | → | clynamen_ joins (~clynamen@net-93-66-1-11.cust.vodafonedsl.it) |
| 2021-03-03 09:55:29 | × | clynamen quits (~clynamen@net-93-66-1-11.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2021-03-03 09:56:13 | <MarcelineVQ> | seiryn: once during runtime the first time it's used, each time the program is run. also that's not a function, functions have -> in the type, e.g. Int -> Int or Char -> Char -> String |
| 2021-03-03 09:56:13 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 09:56:37 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 09:57:18 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-03 09:58:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-03 09:58:19 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2021-03-03 09:58:29 | <seiryn> | MarcelineVO : Thanks, and how it's called then ? I don't know the correct term |
| 2021-03-03 10:00:53 | <MarcelineVQ> | fact10 is a value of Int, nothing special :> |
| 2021-03-03 10:02:23 | → | lprd joins (~jon@2a01cb0002954401ccf39439e30a9187.ipv6.abo.wanadoo.fr) |
| 2021-03-03 10:03:40 | <MarcelineVQ> | in haskell functions are also values, Int just isn't the type of a function. fac10 is a value of Int, tail is a value of [a] -> [a], tail happens to be a function and fac10 doesn't |
| 2021-03-03 10:04:37 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-emslfebnrfzacuco) (Quit: Connection closed for inactivity) |
| 2021-03-03 10:05:44 | → | saitamaplus joins (uid272474@gateway/web/irccloud.com/x-ubvhdubmvytegxuj) |
| 2021-03-03 10:06:02 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-03-03 10:07:23 | → | vs^ joins (vs@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-03 10:08:29 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-03 10:08:35 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-03 10:11:59 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-03 10:12:59 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-03-03 10:13:10 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5:5f2:242:2b9e) |
| 2021-03-03 10:13:10 | → | knupfer joins (~Thunderbi@dynamic-046-114-148-091.46.114.pool.telefonica.de) |
| 2021-03-03 10:13:21 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Ping timeout (120 seconds)) |
| 2021-03-03 10:13:29 | × | knupfer quits (~Thunderbi@dynamic-046-114-148-091.46.114.pool.telefonica.de) (Client Quit) |
| 2021-03-03 10:13:39 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-03-03 10:13:50 | → | knupfer joins (~Thunderbi@dynamic-046-114-148-091.46.114.pool.telefonica.de) |
| 2021-03-03 10:15:39 | → | sz0 joins (uid110435@gateway/web/irccloud.com/x-gudvzeidxnskkkra) |
| 2021-03-03 10:17:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b5:5f2:242:2b9e) (Ping timeout: 240 seconds) |
| 2021-03-03 10:18:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-03 10:22:24 | TV | is now known as tv |
| 2021-03-03 10:24:30 | → | ixlun joins (~user@213.205.241.12) |
| 2021-03-03 10:27:24 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-03 10:28:33 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-03 10:30:55 | × | knupfer quits (~Thunderbi@dynamic-046-114-148-091.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-03-03 10:32:08 | → | Habib joins (~Habib@178.159.3.177) |
| 2021-03-03 10:32:47 | <Habib> | does anyone know when hackage switched from http basic auth to http digest auth? |
| 2021-03-03 10:33:01 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-03-03 10:35:16 | → | knupfer joins (~Thunderbi@dynamic-046-114-148-091.46.114.pool.telefonica.de) |
| 2021-03-03 10:35:41 | <Habib> | i've lost access to my account and i'm stuck in a catch-22: it won't let me reset it as it says my account details don't exist — perhaps because it's an account that needs to be upgraded? — but i can't upgrade either because that requires me to know my password, which i clearly don't (despite having it saved in my keychain), but i can't reset it because… |
| 2021-03-03 10:36:00 | saitamaplus | is now known as CodeAlways |
| 2021-03-03 10:37:23 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-03 10:37:54 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-03 10:38:40 | <MarcelineVQ> | trying asking in #hackage if you don't get a respone here |
| 2021-03-03 10:39:15 | <Habib> | thanks @MarcelineVQ: i've emailed the trustees already but was unaware of their irc channel |
| 2021-03-03 10:39:53 | → | Rudd0^ joins (~Rudd0@185.189.115.108) |
| 2021-03-03 10:40:30 | fiddlerwoaroof | is now known as edwlan |
| 2021-03-03 10:40:53 | → | ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net) |
| 2021-03-03 10:40:53 | × | ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 2021-03-03 10:40:53 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-03-03 10:42:24 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 2021-03-03 10:43:45 | × | poscat1 quits (~poscat@123.116.89.28) (Ping timeout: 264 seconds) |
| 2021-03-03 10:44:02 | → | kam1 joins (~kam1@5.125.82.63) |
| 2021-03-03 10:44:36 | → | poscat joins (~poscat@123.116.89.28) |
| 2021-03-03 10:46:53 | <Habib> | huh, looks like it fixed itself; i had this problem last night so i may have been doing my password wrong |
| 2021-03-03 10:46:59 | <Habib> | i was pasting it tho |
All times are in UTC.