Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-05-13 03:30:16 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-13 03:32:04 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-05-13 03:32:32 rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-vjqtfwrecllquhqt)
2021-05-13 03:32:59 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-13 03:36:08 ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-13 03:37:12 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-13 03:37:41 × jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds)
2021-05-13 03:39:55 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-adzrjzdemregudmd) (Quit: Connection closed for inactivity)
2021-05-13 03:40:26 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-13 03:42:50 × alx741 quits (~alx741@181.196.68.14) (Quit: alx741)
2021-05-13 03:45:00 Guest87676 joins (~laudiacay@45.162.228.190)
2021-05-13 03:45:56 ozzymcduff joins (~textual@81-234-151-21-no94.tbcn.telia.com)
2021-05-13 03:47:23 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-13 03:49:55 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds)
2021-05-13 03:50:22 × xkapastel quits (uid17782@gateway/web/irccloud.com/x-tetrcihgsohjyxmd) (Quit: Connection closed for inactivity)
2021-05-13 03:50:40 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-05-13 03:51:44 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-05-13 03:52:14 justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-05-13 03:52:56 × jiribenes quits (~jiribenes@rosa.jiribenes.com) (Remote host closed the connection)
2021-05-13 03:53:05 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-05-13 03:53:51 cmburnett joins (~Charlie_B@c-73-37-184-31.hsd1.mn.comcast.net)
2021-05-13 03:55:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-13 03:57:00 × horatiohb quits (~horatiohb@165.227.100.221) (Ping timeout: 252 seconds)
2021-05-13 03:58:14 <cmburnett> I'm reading through the haskell standard- I'm sorry if this a stupid question but as someone coming from C/C++ (mainly C), module in effect is similar to namespace right? Please go easy on me :-D
2021-05-13 03:58:57 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 268 seconds)
2021-05-13 03:59:13 qbshill joins (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com)
2021-05-13 04:00:26 Rudd0 joins (~Rudd0@185.189.115.108)
2021-05-13 04:00:46 × drbean_ quits (~drbean@TC210-63-209-188.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-05-13 04:01:20 ddellacosta joins (~ddellacos@86.106.143.241)
2021-05-13 04:02:42 takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-05-13 04:03:20 <monochrom> module is both namespace and import/export-control. On actual compilers, is furthermore file organization --- one file per module, though the standard doesn't require it.
2021-05-13 04:04:54 proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-13 04:04:57 <monochrom> C and C++ have no modules. You will never find a correct analogy there.
2021-05-13 04:05:46 × ddellacosta quits (~ddellacos@86.106.143.241) (Ping timeout: 240 seconds)
2021-05-13 04:07:04 <monochrom> The way real people organize their *.c files has a correspondence to modules, but it is by self discipline not language requirements.
2021-05-13 04:08:16 <pavonia> Wait, you could have several Haskell modules in one file?
2021-05-13 04:08:22 × Guest87676 quits (~laudiacay@45.162.228.190) (Ping timeout: 252 seconds)
2021-05-13 04:08:43 <monochrom> Haskell 2010 (or 98, or 1.4, or ...) makes no commitment either way.
2021-05-13 04:08:49 <monochrom> No compiler has allowed it yet.
2021-05-13 04:09:10 <monochrom> But one day some mad scientist might.
2021-05-13 04:09:15 <pavonia> Ah okay
2021-05-13 04:09:44 × cmburnett quits (~Charlie_B@c-73-37-184-31.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
2021-05-13 04:10:01 × Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-05-13 04:10:08 <monochrom> If mad scientists can invent whitespace languages,
2021-05-13 04:10:26 <monochrom> then mad scientists can invent Haskell compilers that allow multiple modules per file
2021-05-13 04:10:43 Techcable joins (~Techcable@168.235.93.147)
2021-05-13 04:10:56 <monochrom> and perhaps finally also support mutual importing without user intervention too.
2021-05-13 04:11:05 olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-13 04:11:18 × renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 246 seconds)
2021-05-13 04:11:56 × shailangsa quits (~shailangs@host86-186-196-136.range86-186.btcentralplus.com) ()
2021-05-13 04:12:01 cmburnett joins (~Charlie_B@c-73-37-184-238.hsd1.mn.comcast.net)
2021-05-13 04:12:16 × qbshill quits (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) (Quit: WeeChat 3.1)
2021-05-13 04:16:01 pfurla_ joins (~pfurla@64.15.195.173.client.static.strong-in52.as13926.net)
2021-05-13 04:16:07 qbshill joins (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com)
2021-05-13 04:17:08 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-05-13 04:17:24 <qbshill> >whitespace languages
2021-05-13 04:17:30 gzj joins (~gzj@unaffiliated/gzj)
2021-05-13 04:17:44 <qbshill> are those hard to make? is it not the same as any other language but now with whitespaces? im not actually familiar with bf
2021-05-13 04:18:41 <monochrom> I don't know about hard.
2021-05-13 04:18:41 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-13 04:19:03 <monochrom> I know about mad scientists having no life and making things no one actually use in anger.
2021-05-13 04:19:31 <davean> qbshill: no, just whitespace
2021-05-13 04:20:03 <qbshill> lol ah that makes sense, ty
2021-05-13 04:20:19 <qbshill> but then again whats the fun in making things people actually use
2021-05-13 04:23:55 <davean> Users are the worst
2021-05-13 04:24:02 <cmburnett> bf languages? sorry my computer wigged out and had to restart
2021-05-13 04:26:06 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-05-13 04:26:20 <qbshill> sorry i was thinking of whitespace, not brianf***, i thought it was implied writing a whitespace character only language was hard so i was curious
2021-05-13 04:26:26 gzj joins (~gzj@unaffiliated/gzj)
2021-05-13 04:27:56 <cmburnett> as in... only using space, tab, and newline instead of letters? I imagine it'd be pretty rough
2021-05-13 04:29:43 <qbshill> yeah... lol... it'd be pretty tough but then at the same time I feel like actually making the language itself wouldn't be so bad, maybe you need to add new rules to whatever linter you're using
2021-05-13 04:32:21 <qbshill> I'd imagine debugging will be a massive nightmare though. I'm kind of intrigued though but I should probably learn asm first
2021-05-13 04:34:31 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-13 04:35:10 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-13 04:35:25 × xcmw quits (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-13 04:36:26 <cmburnett> I mean it'd basically be like programming in binary so probably not fun
2021-05-13 04:36:36 <cmburnett> trinary i guess if you include newlines
2021-05-13 04:36:44 xchg111 joins (~xchg111@pool-71-245-243-39.nycmny.fios.verizon.net)
2021-05-13 04:36:45 × carlomagno quits (~cararell@148.87.23.8) (Quit: Leaving.)
2021-05-13 04:36:57 <Axman6> ternary
2021-05-13 04:37:30 <Axman6> https://en.wikipedia.org/wiki/Whitespace_%28programming_language%29 for your reference
2021-05-13 04:38:12 <cmburnett> ah yes sorry bad at english
2021-05-13 04:38:17 × proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 246 seconds)
2021-05-13 04:38:18 <cmburnett> I mean it's my first language
2021-05-13 04:38:23 <cmburnett> I'm just bad at it
2021-05-13 04:38:41 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-13 04:39:07 shailangsa joins (~shailangs@host86-186-196-136.range86-186.btcentralplus.com)
2021-05-13 04:39:30 <Axman6> all good, it's a logical extension of binary, you're far freom being the first person to do it
2021-05-13 04:39:37 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2021-05-13 04:39:55 <Axman6> wait, Whitespace was invented by Edwin Brady??? crazy
2021-05-13 04:40:15 tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-13 04:41:18 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-13 04:41:59 pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-05-13 04:42:15 notzmv joins (~zmv@unaffiliated/zmv)
2021-05-13 04:42:59 × waleee-cl quits (uid373333@gateway/web/irccloud.com/x-gdqogcpuvytwnnml) (Quit: Connection closed for inactivity)
2021-05-13 04:43:00 erayo joins (94426938@56.105.66.148.dsl.dyn.mana.pf)
2021-05-13 04:44:17 <erayo> I know you can get runtime statistics about the GC in GHC.Stats, is there a way to get additional metrics from the RTS ? I'd be really interested in active lightweight thread count, specifically
2021-05-13 04:44:36 × pfurla_ quits (~pfurla@64.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 265 seconds)
2021-05-13 04:45:46 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-13 04:46:41 × stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)

All times are in UTC.