Logs on 2023-07-31 (liberachat/#haskell)
| 00:03:23 | <dolio> | It's not a problem as long as people behave reasonably in that sort of exceptional situation. |
| 00:03:55 | <arahael> | It sort of depends on the software lifecycle it's at too. |
| 00:04:08 | <arahael> | Sometimes, you just do not want to trigger new bugs. |
| 00:04:35 | <arahael> | So that bug, since it's now triggered, could very well block the new feature. |
| 00:05:18 | <dolio> | The problem is that lots of people like to senselessly apply rules instead of behaving reasonably. :) |
| 00:05:27 | <arahael> | That's indeed an issue. |
| 00:05:58 | <geekosaur> | a nd even more so they like to hide behind those rules instead of having to think |
| 00:06:26 | <monochrom> | Programmers just want to be computers. I know because I was one of them. |
| 00:06:54 | <monochrom> | It is also why they don't understand either denotational semantics or recursion. >:) |
| 00:07:15 | <hpc> | computers have it easy - they just do the same thing over and over and it doesn't even have to be correct :P |
| 00:07:38 | <monochrom> | Programmers are computers with a stack size of about 7. |
| 00:07:48 | <geekosaur> | that high? |
| 00:08:05 | <dolio> | Yeah, 7 is way too much. |
| 00:08:08 | <monochrom> | Let's be "chariable" >:) |
| 00:08:09 | <int-e> | maybe it's closer to 2pi. |
| 00:08:22 | <int-e> | monochrom: how many wheels? |
| 00:08:38 | <arahael> | Honestly, I'm generally trying ot reduce "decision making". Every decision is fatigue. |
| 00:08:47 | <int-e> | (it does derive from "chariot", doesn't it) |
| 00:08:57 | <monochrom> | charitable |
| 00:09:07 | <int-e> | :-P |
| 00:09:40 | <monochrom> | perhaps the stack is a ring buffer. a wheel of 7 spaces. |
| 00:10:05 | × | qrst quits (~qrst@user/qrst) (Remote host closed the connection) |
| 00:11:08 | → | qrst joins (~qrst@user/qrst) |
| 00:17:33 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 00:19:37 | <arahael> | Perhaps the better metaphor is magnetic core memory. Very limited. Very expensive. |
| 00:22:17 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 00:22:17 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 00:22:17 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 00:22:59 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 00:25:47 | × | flounders quits (~flounders@24.246.133.1) (Ping timeout: 245 seconds) |
| 00:27:37 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 00:30:24 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Quit: Going elsewhere) |
| 00:32:07 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 258 seconds) |
| 00:33:14 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 00:35:01 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:36:30 | → | dolio joins (~dolio@130.44.134.54) |
| 00:36:51 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 00:37:14 | × | Square quits (~Square@user/square) (Ping timeout: 250 seconds) |
| 00:39:06 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 00:40:38 | → | dolio joins (~dolio@130.44.134.54) |
| 00:49:57 | × | falafel quits (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 245 seconds) |
| 00:51:19 | → | ursa-major joins (~ursa-majo@37.19.210.10) |
| 00:51:26 | → | son0p joins (~ff@181.136.122.143) |
| 00:53:20 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:59:08 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 01:00:41 | × | yangby quits (~secret@115.220.173.23) (Quit: Go out for a walk and buy a drink.) |
| 01:01:02 | → | yangby joins (~secret@115.220.173.23) |
| 01:03:39 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 01:08:21 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 01:11:09 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:23 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 01:12:36 | → | razetime joins (~quassel@117.193.5.28) |
| 01:17:18 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:40 | × | hammond quits (proscan@user/hammond2) (Ping timeout: 246 seconds) |
| 01:19:58 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:19:58 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:19:58 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:20:29 | × | hololeap quits (~quassel@user/hololeap) (Quit: Bye) |
| 01:22:22 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 01:22:30 | → | hololeap joins (~quassel@user/hololeap) |
| 01:32:52 | × | xff0x quits (~xff0x@2405:6580:b080:900:f767:6bf8:2493:e83f) (Ping timeout: 245 seconds) |
| 01:34:52 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 01:52:54 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:52:55 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:52:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:53:50 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 01:55:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 01:55:40 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 02:01:56 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 02:06:25 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 02:07:34 | × | micro quits (~micro@user/micro) (Ping timeout: 258 seconds) |
| 02:07:49 | × | bratwurst quits (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 260 seconds) |
| 02:08:44 | → | gdown joins (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) |
| 02:14:11 | × | td_ quits (~td@i5387093B.versanet.de) (Ping timeout: 245 seconds) |
| 02:16:00 | → | micro joins (~micro@user/micro) |
| 02:16:13 | → | td_ joins (~td@i53870914.versanet.de) |
| 02:17:17 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:17:17 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:17:18 | finn_elija | is now known as FinnElija |
| 02:17:29 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:20:47 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:21:06 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 02:25:23 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 02:26:29 | → | hammond joins (proscan@gateway02.insomnia247.nl) |
| 02:30:10 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 02:36:18 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 02:36:54 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:37:46 | → | aeroplane joins (~user@user/aeroplane) |
| 02:38:29 | → | Guest|44 joins (~Guest|44@197.210.77.153) |
| 02:39:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:42:58 | × | Guest|44 quits (~Guest|44@197.210.77.153) (Client Quit) |
| 02:48:12 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 02:53:08 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 02:53:08 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 02:53:08 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 02:53:16 | × | mima quits (~mmh@ppp-212-114-180-231.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 02:59:12 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 02:59:53 | → | Sciencentistguy8 joins (~sciencent@hacksoc/ordinary-member) |
| 03:01:41 | × | aeroplane quits (~user@user/aeroplane) (Ping timeout: 245 seconds) |
| 03:02:02 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 245 seconds) |
| 03:02:02 | Sciencentistguy8 | is now known as Sciencentistguy |
| 03:03:35 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 03:05:28 | → | aforemny_ joins (~aforemny@i59F516D5.versanet.de) |
| 03:06:09 | × | aforemny quits (~aforemny@2001:9e8:6cf0:9000:d6be:c81a:96c5:47a4) (Ping timeout: 260 seconds) |
| 03:07:25 | → | reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 03:08:28 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 03:10:22 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:10:22 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:10:22 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:13:11 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer) |
| 03:13:45 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 03:18:01 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 03:18:52 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 03:24:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 03:26:38 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 03:27:35 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 03:29:56 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Ping timeout: 244 seconds) |
| 03:30:35 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 03:31:45 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:31:45 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:31:45 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:34:13 | × | reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Remote host closed the connection) |
| 03:34:37 | → | reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 03:41:58 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 03:47:25 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:48:46 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 03:49:37 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 03:50:12 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 03:53:50 | → | tornato joins (uid197568@id-197568.tinside.irccloud.com) |
| 03:54:42 | ← | tornato parts (uid197568@id-197568.tinside.irccloud.com) () |
| 03:55:57 | → | tornato joins (uid197568@id-197568.tinside.irccloud.com) |
| 03:56:53 | → | dibblego joins (~dibblego@116.255.1.151) |
| 03:56:54 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 03:56:54 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:00:25 | × | actioninja63 quits (~actioninj@user/actioninja) (Quit: see ya mane) |
| 04:00:50 | → | actioninja630 joins (~actioninj@user/actioninja) |
| 04:06:10 | → | talismanick joins (~user@76.133.152.122) |
| 04:06:48 | <talismanick> | For calling out to Git (e.g. to clone a repo), is doing so via Shelly the most idiomatic way? |
| 04:07:08 | <talismanick> | And, on another note, where might I find examples of Shelly being used in a monad transformer stack? |
| 04:08:28 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:10:26 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 04:15:24 | × | razetime quits (~quassel@117.193.5.28) (Ping timeout: 252 seconds) |
| 04:19:04 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:19:04 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:19:04 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:19:53 | <Inst__> | probie: |
| 04:19:55 | <Inst__> | https://paste.tomsmeding.com/fd8D121B |
| 04:20:47 | <Inst__> | all of a sudden, i got enthusiastic about an idea I have for a blog project, but not sure if anyone else wants to participate |
| 04:20:53 | <Inst__> | "Haskell Tutorials In Anger" |
| 04:21:13 | <Inst__> | i.e, cross between Haskell Phrasebook and "Big Book of Small Python Projects" |
| 04:21:37 | <Inst__> | tutorials based on an assumption of no pre-existing haskell knowledge, latched onto microprojects |
| 04:21:52 | <Inst__> | the code there is the haskell code for my Haskell Tutorial in Anger |
| 04:25:37 | Inst__ | is now known as Inst |
| 04:27:57 | → | Inst[m] joins (~instrmatr@2001:470:69fc:105::1:903e) |
| 04:37:04 | → | trev joins (~trev@user/trev) |
| 04:58:57 | <jackdk> | talismanick: we just use `process`, though maybe I'd use typed-process if I was starting it from scratch today |
| 05:01:52 | → | razetime joins (~quassel@117.193.5.28) |
| 05:02:16 | <talismanick> | jackdk: nice, this seems more like what I want |
| 05:04:06 | <probie> | Inst: Very low hanging fruit for readability - have shorter lines |
| 05:06:04 | <probie> | `updateBoard` is 160 characters long, which is a lot more than the recommended 80-100 |
| 05:08:33 | <Inst> | "column 113" |
| 05:08:40 | <Inst> | after some basic editing, jeez |
| 05:13:23 | × | shapr quits (~user@2600:1700:c640:3100:5109:9a4a:7d59:40bc) (Ping timeout: 246 seconds) |
| 05:14:58 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:15:12 | × | gdown quits (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 05:15:55 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:16:20 | <probie> | To avoid repeating yourself, I think `evaluateState` in `eventHandler` could do with something like `where endGameWith = eventHandler a b currentModel . EndGame` so you end up with `PlayerWin -> endGameWith Win; ComputerWin -> endGameWith Lose` etc. |
| 05:20:12 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 05:21:18 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:21:53 | → | gdown joins (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) |
| 05:28:17 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 05:29:50 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:31:32 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 05:32:10 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 05:33:41 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 05:36:36 | → | phma_ joins (phma@2001:5b0:2143:de28:6b31:2661:4c47:1eea) |
| 05:38:17 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 05:38:30 | × | phma quits (~phma@host-67-44-208-166.hnremote.net) (Read error: Connection reset by peer) |
| 05:42:25 | → | titibandit joins (~titibandi@user/titibandit) |
| 05:44:00 | phma_ | is now known as phma |
| 05:51:50 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 05:52:26 | × | reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 05:53:49 | → | mmhat joins (~mmh@p200300f1c73d19feee086bfffe095315.dip0.t-ipconnect.de) |
| 05:54:58 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 05:54:58 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 05:54:59 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 05:57:31 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 05:58:31 | <Inst> | hmmm, yeah, probably should clean up the freaking type model, this isn't intended to be extensible, and a lot of duplication can be removed |
| 05:59:17 | <Inst> | was just a quick hack to see how fast i can put something together; i'm a bit disappointed with monomer because it hasn't been updated to 9.6 yet |
| 05:59:49 | <Inst> | i honestly should try to build a console widget so it can be used to generate a trivial app that doesn't slave haskell to command line |
| 06:00:11 | × | gdown quits (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 06:02:46 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 06:07:00 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 250 seconds) |
| 06:07:52 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:18:35 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f36112eefabde49cc58.dip0.t-ipconnect.de) |
| 06:18:56 | → | CiaoSen joins (~Jura@2a05:5800:294:9300:664b:f0ff:fe37:9ef) |
| 06:24:03 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 244 seconds) |
| 06:35:26 | × | razetime quits (~quassel@117.193.5.28) (Ping timeout: 245 seconds) |
| 06:35:27 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 06:35:57 | → | razetime joins (~quassel@117.254.36.145) |
| 06:43:25 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:44:15 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 06:45:43 | → | Guest4879 joins (~finn@81-67-22-3.rev.numericable.fr) |
| 06:46:45 | → | aeroplane joins (~user@user/aeroplane) |
| 06:46:58 | → | briandaed joins (~briandaed@185.234.210.211) |
| 06:48:03 | → | flounders joins (~flounders@24.246.133.1) |
| 06:48:05 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:54:04 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 06:55:51 | × | razetime quits (~quassel@117.254.36.145) (Ping timeout: 245 seconds) |
| 06:56:22 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 06:56:31 | → | mei joins (~mei@user/mei) |
| 06:56:37 | → | razetime joins (~quassel@117.254.36.160) |
| 06:56:47 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:07:38 | × | shriekingnoise_ quits (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 07:08:53 | × | Guest4879 quits (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 07:09:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:10:36 | → | gurkenglas joins (~gurkengla@dynamic-046-114-092-121.46.114.pool.telefonica.de) |
| 07:15:04 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 07:18:50 | × | gurkenglas quits (~gurkengla@dynamic-046-114-092-121.46.114.pool.telefonica.de) (Ping timeout: 258 seconds) |
| 07:20:37 | → | fendor joins (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 07:21:50 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 07:22:41 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 07:24:21 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 07:26:57 | → | mima joins (~mmh@ppp-212-114-180-27.dynamic.mnet-online.de) |
| 07:29:11 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 07:33:32 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 07:33:54 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:34:32 | × | aeroplane quits (~user@user/aeroplane) (Ping timeout: 250 seconds) |
| 07:34:51 | → | lortabac joins (~lortabac@2a01:e0a:50d:8d40:f4cc:e84e:3beb:ac1) |
| 07:34:57 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 07:35:16 | → | anpad joins (~pandeyan@user/anpad) |
| 07:38:20 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:38:35 | → | mango joins (~finn@2001:861:5863:3d50:80c:5abe:b586:d29e) |
| 07:38:57 | → | MajorBiscuit joins (~MajorBisc@c-001-022-027.client.tudelft.eduvpn.nl) |
| 07:41:31 | × | phma quits (phma@2001:5b0:2143:de28:6b31:2661:4c47:1eea) (Read error: Connection reset by peer) |
| 07:42:23 | → | phma joins (phma@2001:5b0:211c:3428:8f93:af30:9b05:d7b) |
| 07:44:51 | → | gmg joins (~user@user/gehmehgeh) |
| 07:45:38 | × | mango quits (~finn@2001:861:5863:3d50:80c:5abe:b586:d29e) (Ping timeout: 246 seconds) |
| 07:45:48 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 07:47:28 | → | mango joins (~finn@2001:861:5863:3d50:5e5c:1466:68fe:a5a1) |
| 07:48:02 | <mango> | in a typeclass definition, can i put a constraint on the type to be of *->* ? |
| 07:49:18 | <jackdk> | mango: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/kind_signatures.html#extension-KindSignatures |
| 07:49:23 | <jackdk> | should do what you want |
| 07:51:21 | <mango> | great |
| 07:51:47 | → | aeroplane joins (~user@user/aeroplane) |
| 07:55:47 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 08:04:50 | <retropikzel> | How would I parse list of Ints by hand with Aeson? |
| 08:05:02 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:06:12 | → | thelounge793 joins (~thelounge@95.179.128.119) |
| 08:06:16 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 08:08:35 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 08:10:56 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 08:12:14 | × | razetime quits (~quassel@117.254.36.160) (Ping timeout: 246 seconds) |
| 08:12:38 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:13:04 | × | mango quits (~finn@2001:861:5863:3d50:5e5c:1466:68fe:a5a1) (Ping timeout: 244 seconds) |
| 08:14:23 | → | razetime joins (~quassel@117.193.1.30) |
| 08:15:52 | → | chele joins (~chele@user/chele) |
| 08:17:09 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 08:17:43 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 08:19:47 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Ping timeout: 244 seconds) |
| 08:21:37 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) |
| 08:22:38 | × | razetime quits (~quassel@117.193.1.30) (Ping timeout: 250 seconds) |
| 08:28:50 | → | danse-nr3 joins (~francesco@151.43.255.156) |
| 08:32:18 | <ncf> | by hand, or with aeson? |
| 08:35:55 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:36:13 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 08:41:09 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 08:43:47 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 08:43:48 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Quit: Reconnecting) |
| 08:43:59 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 08:47:46 | × | tornato quits (uid197568@id-197568.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:48:36 | × | CiaoSen quits (~Jura@2a05:5800:294:9300:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 08:55:57 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 09:00:46 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 09:01:40 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:05:04 | × | jinsl quits (~jinsl@123.120.177.226) (Ping timeout: 252 seconds) |
| 09:05:40 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 09:06:05 | → | jinsl joins (~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) |
| 09:06:19 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 09:07:02 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 09:07:03 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 09:11:57 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:14:52 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 09:16:37 | × | Inst quits (~Inst@2601:6c4:4081:2fc0:b8e3:e527:5654:3c93) (Ping timeout: 245 seconds) |
| 09:16:55 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:17:09 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 09:20:02 | <retropikzel> | ncf, by writing out the parseJSON by hand |
| 09:21:01 | <retropikzel> | I dont know how to say it better, instead of letting Aeson automatically do it I want to do it myself. Because I have list of list of lists ([[[]]]) and it can not handle it automatically |
| 09:22:08 | <ncf> | decode "[[[1,2,3]]]" :: Maybe [[[Int]]] |
| 09:22:09 | <ncf> | Just [[[1,2,3]]] |
| 09:22:10 | <ncf> | works fine |
| 09:22:11 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 09:22:57 | <retropikzel> | But lets pretend it did not, how would I write the parser? |
| 09:23:33 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 09:27:52 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 09:27:56 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 09:29:16 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 09:30:03 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 09:31:10 | <retropikzel> | Because it is not working for me, here is gist of it https://pastebin.com/eK5Lmd2q |
| 09:32:24 | → | ubert joins (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) |
| 09:32:58 | <lortabac> | retropikzel: you should derive FromJSON/ToJSON through newtype |
| 09:33:06 | <lortabac> | *via newtype |
| 09:34:17 | <Hecate> | deriving via is 💘 |
| 09:34:49 | <lortabac> | when the method declaration is missing, GHC picks the default instance, which in this case is not the one you are expecting |
| 09:35:15 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:36:20 | <retropikzel> | lortabac: Thank you! It worked |
| 09:38:33 | → | Guest39 joins (~Guest39@2a10:3781:34a0:1:10e5:312e:842f:520e) |
| 09:39:34 | × | migas quits (~migas@astra4961.startdedicated.net) (Remote host closed the connection) |
| 09:39:50 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 09:39:53 | → | migas joins (~migas@astra4961.startdedicated.net) |
| 09:40:28 | × | ft quits (~ft@p508db86a.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:41:18 | → | Guest4879 joins (~finn@81-67-22-3.rev.numericable.fr) |
| 09:42:20 | → | merijn joins (~merijn@185.143.104.11) |
| 09:42:58 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 09:45:08 | × | danse-nr3 quits (~francesco@151.43.255.156) (Remote host closed the connection) |
| 09:45:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 09:45:32 | → | danse-nr3 joins (~francesco@151.43.255.156) |
| 09:45:39 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 09:46:49 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:47:20 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 09:47:36 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 09:48:25 | × | cassiope1 quits (~cassiopea@user/cassiopea) (Ping timeout: 240 seconds) |
| 09:48:53 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 09:48:53 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 09:48:53 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 09:50:27 | <probie> | If you want to do it by hand, probably something like `withArray "outer" (mapM (withArray "mid" (mapM (withArray "inner" (mapM (withScientific "num" (\n -> if isInteger n then pure (round n) else fail "not an integer")))))))` (with `isInteger` from `Data.Scientific`) |
| 09:51:08 | <probie> | although that'll give you a `Vector (Vector (Vector Int))` instead of a `[[[Int]]]` |
| 09:53:34 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 09:54:18 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 09:54:20 | <probie> | Or for the sane definition if you didn't want to use deriving via `parseJSON v = fmap Layers (parseJSON v)` |
| 09:55:15 | <retropikzel> | probie: Thanks, it good to know that too |
| 09:59:06 | × | Guest39 quits (~Guest39@2a10:3781:34a0:1:10e5:312e:842f:520e) (Quit: Client closed) |
| 09:59:42 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 10:04:53 | <kuribas> | Has haskell poisoned our mind into thinking you always need type safety? That sometimes having runtime checks is good enough? |
| 10:06:48 | <kuribas> | Isn't the sweet spot type safe when it is easy, but otherwise allowing for partial functions? |
| 10:07:16 | <kuribas> | And making sure you have good runtime errors, and modular and clean code? |
| 10:07:32 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 10:08:53 | <merijn> | kuribas: hold on, lemme prescribe a healthy dose of unsafeCoerce and "messing around with GHC.Prim as antidote to that kinda thing |
| 10:09:07 | × | talismanick quits (~user@76.133.152.122) (Ping timeout: 260 seconds) |
| 10:12:22 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 10:13:15 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Ping timeout: 258 seconds) |
| 10:14:19 | × | flounders quits (~flounders@24.246.133.1) (Ping timeout: 260 seconds) |
| 10:17:29 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 10:19:14 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 10:19:39 | → | xff0x joins (~xff0x@2405:6580:b080:900:cbc5:2cd2:546f:88f9) |
| 10:19:56 | → | mei joins (~mei@user/mei) |
| 10:20:05 | <lisbeths> | Is it true that λa.λb.ab is equivalent to λx.x |
| 10:20:30 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 10:21:16 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 10:21:18 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 10:21:46 | → | __monty__ joins (~toonn@user/toonn) |
| 10:21:51 | <ncf> | one is the η-expanded form of the other. they may or may not be equivalent depending on whether types are involved |
| 10:22:01 | <ncf> | and how you define equivalence |
| 10:22:34 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 10:23:13 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 10:24:05 | <lisbeths> | lets say its anonymously typed with combinators |
| 10:24:10 | <danse-nr3> | they look like different formulae to me regardless of types. One takes two arguments, the other takes one |
| 10:25:47 | <ncf> | if x is a function then it's η-equivalent to λb. x b |
| 10:28:21 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 10:29:16 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 10:31:57 | × | fendor quits (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 10:33:14 | → | fendor joins (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 10:34:47 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:38:11 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 10:42:35 | × | MajorBiscuit quits (~MajorBisc@c-001-022-027.client.tudelft.eduvpn.nl) (Ping timeout: 264 seconds) |
| 10:45:18 | <aeroplane> | Hello everyone, I am trying to profile a haskell program (`ghc -prof -fprof-auto -rtsopts haskell.hs`), but it errored out with bunch of lines beginning with `/usr/bin/ld.gold: error: cannot find -lHS...` |
| 10:45:49 | <aeroplane> | I am following this guide: https://downloads.haskell.org/ghc/latest/docs/users_guide/profiling.html |
| 10:46:23 | <probie> | lisbeths: In the untyped λ-calculus I would call them equivalent |
| 10:46:55 | <lisbeths> | is it even equivalent to abc.abc |
| 10:47:08 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 10:47:41 | → | tremon joins (~tremon@83.80.159.219) |
| 10:48:01 | × | mmhat quits (~mmh@p200300f1c73d19feee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
| 10:48:22 | <lisbeths> | λa.λb.λc.a b c |
| 10:52:31 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:52:39 | <probie> | In the untyped lambda calculus λa.Ma is equivalent to M, where M is some arbitrary expression not involving a |
| 10:53:31 | → | MajorBiscuit joins (~MajorBisc@62-110-179.netrun.cytanet.com.cy) |
| 10:53:45 | <probie> | From that, we know that `λc.a b c` is equivalent to `b c`, giving us `λa.λb.a b`, applying the rule again to `λb. a b` we get just `a`, giving us `λa.a` |
| 10:53:49 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 10:54:05 | <probie> | s/equivalent to `b c`/equivalent to `a b`/ |
| 10:54:09 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 10:57:02 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 10:57:20 | <probie> | In most typed λ-calculi it's treated as a reduction, not an equivalence (so λa.Ma => M, but not M => λa.Ma) |
| 10:58:12 | <danse-nr3> | yeah but \x . x is not equal to Mx, it is just equal to x. Also, M is not arbitrary, M was to the right of . |
| 10:58:18 | <danse-nr3> | aeroplane, could you paste the full haskell.hs and error into a pastebin and post the links here? Does that compile without profiling options? |
| 11:00:14 | × | Guest4879 quits (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 11:00:56 | <lisbeths> | I mean are they functionally equivalent |
| 11:01:20 | <merijn> | lisbeths: oooh, now that's a can of worms you're opening ;) |
| 11:02:29 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 11:02:44 | <aeroplane> | danse-nr3: yes, haskell.hs - [ https://paste.rs/TW1aQ ] and error - [ http://ix.io/4BWL/text ] |
| 11:03:37 | <lisbeths> | I am coding with nothing but the iota combinator and apply |
| 11:03:38 | <merijn> | aeroplane: are you, by any chance, an arch user? |
| 11:04:36 | <aeroplane> | merijn: no, I am using Ubuntu |
| 11:04:49 | <merijn> | hmm |
| 11:05:08 | <merijn> | actually, wait |
| 11:05:17 | <merijn> | You are compiling via manually calling ghc? |
| 11:05:27 | <aeroplane> | yes from command line |
| 11:05:40 | <aeroplane> | $ ghc -prof -fprof-auto -rtsopts haskell.hs |
| 11:05:42 | <merijn> | Any (hidden) files with names starting with .ghc.environment in that dir? |
| 11:05:44 | <probie> | lisbeths: Are they functionally equivalent? Consider `λf.(λx.f(xx))(λx.f(xx))` and `λf.(λx.f(λv.xxv))(λx.f(λv.xxx))`. Both are η-equivalent expressions, but if using applicative order reduction, the first will diverge, and the second may not |
| 11:05:48 | <aeroplane> | wait |
| 11:06:07 | <merijn> | because that's a whole lotta dependendencies your source file should not be using... |
| 11:06:16 | <probie> | s/λv.xxx/λv.xxv/ |
| 11:06:22 | <aeroplane> | merijn: no nothing like that |
| 11:07:00 | <merijn> | aeroplane: ah, wait, I now see the default package environment at the top. Lemme guess, you've ran "cabal install --lib" a bunch of times in the past? |
| 11:07:29 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 11:08:02 | <aeroplane> | merijn: I donot remember how I installed Haskell :-| |
| 11:08:04 | × | Luj quits (~Luj@2a01:e0a:5f9:9681:9d2:9ce:d805:54e2) (Quit: The Lounge - https://thelounge.chat) |
| 11:09:04 | <merijn> | aeroplane: That's not about the Haskell install and more whether you've tried to install packages that way in the past |
| 11:09:24 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 11:09:44 | <aeroplane> | yes i;ve installed like that |
| 11:10:05 | → | Luj joins (~Luj@2a01:e0a:5f9:9681:4671:33b1:6b71:1aab) |
| 11:10:25 | <aeroplane> | this exist in my bash history `cabal install --lib http-conduit` |
| 11:10:27 | <merijn> | aeroplane: 1) for future reference, don't do that ;) and 2) you can try opening /home/asus/.ghc/x86_64-linux-9.2.4/environments/default and removing all the contents (or pasting into a backup file for later), I think that resets the environment |
| 11:10:38 | <lisbeths> | I am a novice at lambda calculus |
| 11:11:03 | <aeroplane> | ok letme try that |
| 11:11:25 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 11:11:38 | <merijn> | aeroplane: essentially, the "install --lib" has dumped a bunch of stuff in your global environment, which GHC is implicitly trying to use, but you never installed the profiling versions of that, so now it has a meltdown about missing stuff |
| 11:12:28 | <merijn> | aeroplane: normally you'd build with cabal, which derives it's own "environment" for GHC so it only sees relevant packages and will automatically install any profiling versions for you (if needed) |
| 11:13:00 | <merijn> | So it's the combination of a whole bunch of packages implicitly in the global environment PLUS explicit ghc invocation that doesn't know how to install/get their profiling versions that is causing it to tilt |
| 11:13:32 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 246 seconds) |
| 11:13:57 | <merijn> | going through cabal build would avoid that, because it 1) skips that global environment and 2) automatically installs the missing profiling versions for you :) |
| 11:15:38 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 11:18:02 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 11:22:37 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 11:25:53 | <aeroplane> | merijn: Thanks alot. Everything is working as expected. Resetting default file did it. And as you said, I should use `cabal build`. |
| 11:25:58 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 11:27:05 | <danse-nr3> | interesting that cabal affects plain ghc calls, had not expected that |
| 11:27:27 | <merijn> | danse-nr3: Only if you run "install --lib", which is why it tells you not to do that :p |
| 11:27:45 | <merijn> | danse-nr3: But can't stop people from desperately wanting global mutable environments, it seems :) |
| 11:28:04 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 11:28:14 | <merijn> | danse-nr3: The more interesting thing is that you can actually name those environments and have multiple if you want (which is what cabal normally does transparently behind the scenes) |
| 11:29:22 | <danse-nr3> | strange. Who wants something like that could use a package in my opinion |
| 11:29:25 | <merijn> | danse-nr3: cabal can also produce the .ghc.environment files so that when you run, i.e. "ghci" in a folder with a cabal project, it will automatically load the relevant dependencies too |
| 11:29:45 | <merijn> | danse-nr3: That was the original design, people complained, so --lib was added with a "don't use" warning |
| 11:30:49 | <danse-nr3> | meh |
| 11:32:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 11:33:46 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 11:34:38 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 11:38:00 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:38:58 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 11:40:40 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 250 seconds) |
| 11:41:32 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 11:41:54 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 11:42:35 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 11:50:59 | × | danse-nr3 quits (~francesco@151.43.255.156) (Ping timeout: 246 seconds) |
| 11:51:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:53:26 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 11:53:56 | <sm> | an obvious UX improvement would be louder clearer warnings when someone does that |
| 11:57:29 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 11:57:30 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 11:57:30 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 11:57:31 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 11:58:04 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 11:59:52 | <merijn> | sm: Feel free to suggest what that UX would look like ;) |
| 12:00:04 | <merijn> | Require a "--yes-really" with --lib? :p |
| 12:00:16 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 12:01:11 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 12:01:25 | <sm> | an very clear explanatory message after you run it , and possibly a warning and interactive prompt before it runs |
| 12:02:33 | <sm> | possibly also informational output about the ghc environment being used for every command, by default |
| 12:03:26 | → | Square joins (~Square@user/square) |
| 12:04:06 | <sm> | and of course clearer explanations/self diagnosis of likely causes when anything fails |
| 12:05:28 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 252 seconds) |
| 12:05:59 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 264 seconds) |
| 12:09:36 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 12:09:42 | × | MajorBiscuit quits (~MajorBisc@62-110-179.netrun.cytanet.com.cy) (Ping timeout: 244 seconds) |
| 12:09:54 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:10:26 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 12:10:26 | × | td_ quits (~td@i53870914.versanet.de) (Ping timeout: 260 seconds) |
| 12:12:09 | → | td_ joins (~td@i53870905.versanet.de) |
| 12:12:54 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 12:19:31 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 12:20:23 | × | td_ quits (~td@i53870905.versanet.de) (Ping timeout: 246 seconds) |
| 12:20:48 | → | danse-nr3 joins (~francesco@151.57.27.101) |
| 12:22:26 | → | td_ joins (~td@i53870905.versanet.de) |
| 12:26:46 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 12:27:48 | × | td_ quits (~td@i53870905.versanet.de) (Ping timeout: 258 seconds) |
| 12:29:40 | → | td_ joins (~td@i53870916.versanet.de) |
| 12:30:22 | × | puke quits (~puke@user/puke) (Read error: Connection reset by peer) |
| 12:30:36 | → | pavonia joins (~user@user/siracusa) |
| 12:30:40 | → | puke joins (~puke@user/puke) |
| 12:31:03 | × | puke quits (~puke@user/puke) (Max SendQ exceeded) |
| 12:31:41 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 12:32:20 | → | puke joins (~puke@user/puke) |
| 12:36:34 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 12:39:20 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 12:40:19 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 12:44:21 | × | td_ quits (~td@i53870916.versanet.de) (Quit: waking up from the american dream ...) |
| 12:44:42 | × | mima quits (~mmh@ppp-212-114-180-27.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 12:48:40 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 12:48:45 | → | td_ joins (~td@i53870916.versanet.de) |
| 12:49:26 | × | raym quits (~ray@user/raym) (Remote host closed the connection) |
| 12:51:56 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:52:37 | → | ddellacosta joins (~ddellacos@146.70.171.100) |
| 12:53:31 | <fendor> | I found some .cabal files that have a field `x-uses-tf: true`. What does that mean? |
| 12:53:34 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 12:54:07 | → | reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 12:57:01 | <Hecate> | fendor: it's an extra field that has meaning only for an external tool |
| 12:57:08 | <Hecate> | but I don't know such a tool |
| 12:57:35 | <fendor> | very curious! |
| 12:57:41 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 12:57:54 | <Hecate> | unusual but hey, it's made for it :) |
| 12:58:28 | × | reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Remote host closed the connection) |
| 12:58:50 | → | reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 13:01:57 | × | sm quits (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 13:01:58 | × | cstml[m] quits (~cstmmatri@2001:470:69fc:105::2:f76f) (Remote host closed the connection) |
| 13:01:58 | × | Inst[m] quits (~instrmatr@2001:470:69fc:105::1:903e) (Remote host closed the connection) |
| 13:01:58 | × | xosdy[m] quits (~xosdymozi@2001:470:69fc:105::2:63f7) (Remote host closed the connection) |
| 13:01:59 | × | bgamari[m] quits (~bgamari@2001:470:69fc:105::c7b9) (Write error: Connection reset by peer) |
| 13:01:59 | × | MangoIV[m] quits (~mangoivma@2001:470:69fc:105::2:8417) (Read error: Connection reset by peer) |
| 13:01:59 | × | supersven[m] quits (~supersven@2001:470:69fc:105::31b6) (Remote host closed the connection) |
| 13:01:59 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 13:01:59 | × | stites[m] quits (~stitesbee@2001:470:69fc:105::3:7bdc) (Remote host closed the connection) |
| 13:01:59 | × | Nate[m] quits (~m52957mat@2001:470:69fc:105::1:591a) (Remote host closed the connection) |
| 13:01:59 | × | Clinton[m] quits (~clintonme@2001:470:69fc:105::2:31d4) (Remote host closed the connection) |
| 13:01:59 | × | jaror[m] quits (~jaror@2001:470:69fc:105::265) (Remote host closed the connection) |
| 13:01:59 | × | RandomInt[m] quits (~randomint@2001:470:69fc:105::3:852e) (Remote host closed the connection) |
| 13:01:59 | × | Drew[m]1 quits (~drewefenw@2001:470:69fc:105::c8c4) (Remote host closed the connection) |
| 13:02:00 | × | kadenwolff[m] quits (~kadenwolf@2001:470:69fc:105::1:d97f) (Read error: Connection reset by peer) |
| 13:02:00 | × | oak- quits (~oak-@2001:470:69fc:105::fcd) (Read error: Connection reset by peer) |
| 13:02:00 | × | somerandomnick[m quits (~somerando@2001:470:69fc:105::3:4f2e) (Read error: Connection reset by peer) |
| 13:02:00 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Remote host closed the connection) |
| 13:02:00 | × | JanusTroelsen[m] quits (~janustmat@2001:470:69fc:105::3:7e89) (Read error: Connection reset by peer) |
| 13:02:00 | × | deb776[m] quits (~deb776ted@2001:470:69fc:105::3:84c5) (Read error: Connection reset by peer) |
| 13:02:00 | × | boxscape[m] quits (~jabruenma@2001:470:69fc:105::3:88e7) (Read error: Connection reset by peer) |
| 13:02:00 | × | aniketd[m] quits (~aniketdma@2001:470:69fc:105::dede) (Read error: Connection reset by peer) |
| 13:02:00 | × | ners[m] quits (~nersnixos@2001:470:69fc:105::3:648b) (Read error: Connection reset by peer) |
| 13:02:00 | × | romes[m] quits (~romesmatr@2001:470:69fc:105::2:1660) (Remote host closed the connection) |
| 13:02:00 | × | peddie quits (~peddie@2001:470:69fc:105::25d) (Remote host closed the connection) |
| 13:02:00 | × | joyfulmantis[m] quits (~joyfulman@2001:470:69fc:105::3:400a) (Remote host closed the connection) |
| 13:02:00 | × | akadude[m] quits (~akadudema@2001:470:69fc:105::2:5bf7) (Remote host closed the connection) |
| 13:02:00 | × | ozkutuk[m] quits (~ozkutuk@2001:470:69fc:105::2:9af8) (Remote host closed the connection) |
| 13:02:00 | × | maralorn quits (~maralorn@2001:470:69fc:105::251) (Write error: Broken pipe) |
| 13:02:00 | × | jmcantrell quits (~jmcantrel@user/jmcantrell) (Read error: Connection reset by peer) |
| 13:02:00 | × | Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer) |
| 13:02:00 | × | FurudeRika[m] quits (~chitandae@2001:470:69fc:105::1:6039) (Remote host closed the connection) |
| 13:02:00 | × | zebrag[m] quits (~inkbottle@2001:470:69fc:105::2ff5) (Remote host closed the connection) |
| 13:02:00 | × | ocharles[m] quits (~ocharlesm@2001:470:69fc:105::3:5899) (Read error: Connection reset by peer) |
| 13:02:01 | × | elvishjerricco quits (~elvishjer@2001:470:69fc:105::6172) (Remote host closed the connection) |
| 13:02:01 | × | shapr[m] quits (~shaprcofr@2001:470:69fc:105::2:d107) (Remote host closed the connection) |
| 13:02:01 | × | VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Write error: Connection reset by peer) |
| 13:02:01 | × | ribosomerocker[m quits (~ribosomer@2001:470:69fc:105::3:8ac7) (Write error: Connection reset by peer) |
| 13:02:01 | × | ManofLetters[m] quits (~manoflett@2001:470:69fc:105::3be) (Write error: Connection reset by peer) |
| 13:02:01 | × | mon_aaraj quits (~montchncs@2001:470:69fc:105::8e6b) (Write error: Connection reset by peer) |
| 13:02:01 | × | alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (Remote host closed the connection) |
| 13:02:01 | × | jean-paul[m] quits (~jean-paul@2001:470:69fc:105::d1ab) (Read error: Connection reset by peer) |
| 13:02:01 | × | JensPetersen[m] quits (~juhp@2001:470:69fc:105::6e9) (Write error: Connection reset by peer) |
| 13:02:01 | × | elevenkb quits (~elevenkb@2001:470:69fc:105::2:cb89) (Write error: Connection reset by peer) |
| 13:02:01 | × | fendor[m] quits (~fendormat@2001:470:69fc:105::fcbd) (Write error: Connection reset by peer) |
| 13:02:01 | × | nomagno quits (~nomagno@2001:470:69fc:105::c1f0) (Remote host closed the connection) |
| 13:02:01 | × | paulapatience quits (~paulapati@2001:470:69fc:105::16a4) (Remote host closed the connection) |
| 13:02:01 | × | lamnou[m] quits (~lamnoumat@2001:470:69fc:105::3:7a7e) (Remote host closed the connection) |
| 13:02:01 | × | adziahel quits (~adziahelm@2001:470:69fc:105::b4d) (Write error: Connection reset by peer) |
| 13:02:01 | × | yoggurt[m] quits (~yoggurtma@2001:470:69fc:105::2:ba5) (Write error: Connection reset by peer) |
| 13:02:01 | × | SeanKing[m] quits (~seankingm@2001:470:69fc:105::cf9c) (Write error: Connection reset by peer) |
| 13:02:01 | × | Null_A[m] quits (~jasonjckn@2001:470:69fc:105::bb85) (Write error: Connection reset by peer) |
| 13:02:01 | × | siraben quits (~siraben@user/siraben) (Remote host closed the connection) |
| 13:02:01 | × | Guillaum[m] quits (~guiboumat@2001:470:69fc:105::1:72ac) (Remote host closed the connection) |
| 13:02:01 | × | kadoban quits (~kadoban@user/kadoban) (Remote host closed the connection) |
| 13:02:01 | × | chreekat quits (~chreekat@2001:470:69fc:105::16b5) (Remote host closed the connection) |
| 13:02:01 | × | jade[m] quits (~jade256th@2001:470:69fc:105::3:58df) (Write error: Connection reset by peer) |
| 13:02:02 | × | Matthew|m quits (~arathorn@2001:470:69fc:105::1f) (Write error: Connection reset by peer) |
| 13:02:02 | × | hsiktas[m] quits (~hsiktasm]@2001:470:69fc:105::30d4) (Remote host closed the connection) |
| 13:02:02 | × | alanz quits (~alanz@2001:470:69fc:105::2:49a6) (Write error: Connection reset by peer) |
| 13:02:02 | × | Christoph[m] quits (~hpotsirhc@2001:470:69fc:105::2ff8) (Write error: Connection reset by peer) |
| 13:02:02 | × | ormaaaj quits (~ormaaj@user/ormaaj) (Write error: Connection reset by peer) |
| 13:02:02 | × | fgaz quits (~fgaz@2001:470:69fc:105::842) (Write error: Connection reset by peer) |
| 13:02:02 | × | smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Write error: Broken pipe) |
| 13:02:02 | × | zfnmxt quits (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 13:02:02 | × | the_guruji[m] quits (~theguruji@2001:470:69fc:105::3:825f) (Remote host closed the connection) |
| 13:02:04 | <Hecate> | aouch |
| 13:03:05 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 13:04:19 | <fendor> | oh no, my matrix account :( |
| 13:04:32 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 13:07:26 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 252 seconds) |
| 13:07:38 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 13:07:48 | × | reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 13:09:38 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 13:15:15 | → | Guest4879 joins (~finn@81-67-22-3.rev.numericable.fr) |
| 13:15:33 | → | fgaz joins (~fgaz@2001:470:69fc:105::842) |
| 13:17:04 | <geekosaur> | it's D-day |
| 13:17:26 | → | peddie joins (~peddie@2001:470:69fc:105::25d) |
| 13:17:27 | → | ocharles[m] joins (~ocharlesm@2001:470:69fc:105::3:5899) |
| 13:17:27 | → | Null_A[m] joins (~jasonjckn@2001:470:69fc:105::bb85) |
| 13:17:27 | → | maralorn joins (~maralorn@2001:470:69fc:105::251) |
| 13:17:27 | → | alanz joins (~alanz@2001:470:69fc:105::2:49a6) |
| 13:17:28 | → | ribosomerocker[m joins (~ribosomer@2001:470:69fc:105::3:8ac7) |
| 13:17:28 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:17:28 | → | nomagno joins (~nomagno@2001:470:69fc:105::c1f0) |
| 13:17:28 | → | Christoph[m] joins (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 13:17:29 | → | smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32) |
| 13:17:30 | → | ManofLetters[m] joins (~manoflett@2001:470:69fc:105::3be) |
| 13:17:30 | → | fendor[m] joins (~fendormat@2001:470:69fc:105::fcbd) |
| 13:17:30 | → | lamnou[m] joins (~lamnoumat@2001:470:69fc:105::3:7a7e) |
| 13:17:31 | → | romes[m] joins (~romesmatr@2001:470:69fc:105::2:1660) |
| 13:17:31 | → | JensPetersen[m] joins (~juhp@2001:470:69fc:105::6e9) |
| 13:17:31 | → | ormaaaj joins (~ormaaj@user/ormaaj) |
| 13:17:31 | → | Guillaum[m] joins (~guiboumat@2001:470:69fc:105::1:72ac) |
| 13:17:31 | → | chreekat joins (~chreekat@2001:470:69fc:105::16b5) |
| 13:17:44 | <geekosaur> | oh, interesting. this room isn't plumbed… |
| 13:17:50 | → | RandomInt[m] joins (~randomint@2001:470:69fc:105::3:852e) |
| 13:17:50 | → | alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba) |
| 13:17:51 | → | jean-paul[m] joins (~jean-paul@2001:470:69fc:105::d1ab) |
| 13:17:51 | → | elevenkb joins (~elevenkb@2001:470:69fc:105::2:cb89) |
| 13:18:13 | → | xosdy[m] joins (~xosdymozi@2001:470:69fc:105::2:63f7) |
| 13:18:13 | → | mon_aaraj joins (~montchncs@2001:470:69fc:105::8e6b) |
| 13:18:33 | → | jaror[m] joins (~jaror@2001:470:69fc:105::265) |
| 13:18:34 | → | jade[m] joins (~jade256th@2001:470:69fc:105::3:58df) |
| 13:18:54 | → | Clinton[m] joins (~clintonme@2001:470:69fc:105::2:31d4) |
| 13:19:27 | → | Nate[m] joins (~m52957mat@2001:470:69fc:105::1:591a) |
| 13:19:27 | → | VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d) |
| 13:19:28 | → | akadude[m] joins (~akadudema@2001:470:69fc:105::2:5bf7) |
| 13:19:40 | → | stites[m] joins (~stitesbee@2001:470:69fc:105::3:7bdc) |
| 13:19:43 | → | bgamari[m] joins (~bgamari@2001:470:69fc:105::c7b9) |
| 13:19:48 | → | Matthew|m joins (~arathorn@2001:470:69fc:105::1f) |
| 13:19:59 | → | Drew[m] joins (~drewefenw@2001:470:69fc:105::c8c4) |
| 13:20:40 | → | aaronv joins (~aaronv@user/aaronv) |
| 13:20:40 | → | siraben joins (~siraben@user/siraben) |
| 13:20:40 | → | zebrag[m] joins (~inkbottle@2001:470:69fc:105::2ff5) |
| 13:20:41 | → | cstml[m] joins (~cstmmatri@2001:470:69fc:105::2:f76f) |
| 13:20:45 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 13:20:55 | → | supersven[m] joins (~supersven@2001:470:69fc:105::31b6) |
| 13:20:56 | → | paulapatience joins (~paulapati@2001:470:69fc:105::16a4) |
| 13:20:58 | → | elvishjerricco joins (~elvishjer@2001:470:69fc:105::6172) |
| 13:20:59 | → | shapr[m] joins (~shaprcofr@2001:470:69fc:105::2:d107) |
| 13:21:00 | → | MangoIV[m] joins (~mangoivma@2001:470:69fc:105::2:8417) |
| 13:21:05 | × | danse-nr3 quits (~francesco@151.57.27.101) (Ping timeout: 258 seconds) |
| 13:21:08 | <geekosaur> | oh, delayed it seems by security holes. https://libera.chat/news/deportalling-delay |
| 13:21:19 | → | oak- joins (~oak-@2001:470:69fc:105::fcd) |
| 13:21:28 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 13:22:01 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 13:22:06 | → | ners[m] joins (~nersnixos@2001:470:69fc:105::3:648b) |
| 13:22:07 | → | hsiktas[m] joins (~hsiktasm]@2001:470:69fc:105::30d4) |
| 13:22:09 | → | ozkutuk[m] joins (~ozkutuk@2001:470:69fc:105::2:9af8) |
| 13:22:09 | → | joyfulmantis[m] joins (~joyfulman@2001:470:69fc:105::3:400a) |
| 13:22:10 | → | Artem[m] joins (~artemtype@2001:470:69fc:105::75b) |
| 13:22:10 | → | zfnmxt joins (~zfnmxt@user/zfnmxt) |
| 13:23:35 | → | somerandomnick[m joins (~somerando@2001:470:69fc:105::3:4f2e) |
| 13:27:26 | <geekosaur> | so, this is probably a good time to say this |
| 13:27:53 | <geekosaur> | we (#haskell ops) have been discussing the possibility of a dedicated plumbed Matrix room for this channel |
| 13:28:02 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 13:28:08 | → | kadoban joins (~kadoban@user/kadoban) |
| 13:28:10 | → | SeanKing[m] joins (~seankingm@2001:470:69fc:105::cf9c) |
| 13:28:11 | <geekosaur> | (1) this room will be brand new, not one of the existing rooms |
| 13:28:32 | <geekosaur> | (2) IRC will be primary, so the expectation is that edits etc. will be kept to a minimum |
| 13:29:04 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 13:29:10 | <kuribas> | merijn: unsafeCoerce is not what I had in mind :) |
| 13:29:22 | <kuribas> | merijn: just "error", with a meaning full error message. |
| 13:29:24 | <geekosaur> | the main purpose is to allow people who are still on matrix side (see all the joins as the bridge comes back up) can still participate, with the understanding that this is and will remain an IRC channel |
| 13:29:26 | <kuribas> | Or a custom exception. |
| 13:30:29 | <geekosaur> | unfortunately we can't do much about the bridge rewriting mentions into @-form, replies/threads, etc. |
| 13:33:22 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 13:34:20 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:34:20 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:34:20 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:34:40 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 13:35:24 | <carbolymer> | I have a type `data Foo = A | B String | C System.IO.Handle` and I'd like to have automatically derived `instance Data Foo`, but there's no `instance Data Handle`. What's the best way to do it? In my case `Foo` has has much more constructors and is getting changed from time to time, so having manually written instance seems impractical. Also writing orphan stubbed `instance Data Handle` also feels wrong. Is there an easy way out implementing that? |
| 13:35:42 | → | aniketd[m] joins (~aniketdma@2001:470:69fc:105::dede) |
| 13:35:42 | → | Inst[m] joins (~instrmatr@2001:470:69fc:105::1:903e) |
| 13:35:42 | → | the_guruji[m] joins (~theguruji@2001:470:69fc:105::3:825f) |
| 13:35:50 | → | mei joins (~mei@user/mei) |
| 13:36:22 | <carbolymer> | I guess I could write another typeclass providing behaviours I need from `Data` instance.... but that also seems like a lot of manual work |
| 13:37:15 | <carbolymer> | because I have few dozens of such Foos |
| 13:37:44 | → | JanusTroelsen[m] joins (~janustmat@2001:470:69fc:105::3:7e89) |
| 13:37:44 | → | FurudeRika[m] joins (~chitandae@2001:470:69fc:105::1:6039) |
| 13:38:35 | <dminuoso> | carbolymer: You could hoist Handle into a type parameter instead. |
| 13:38:59 | → | adziahel joins (~adziahelm@2001:470:69fc:105::b4d) |
| 13:39:07 | <dminuoso> | i.e. `data Foo' a = A | B | C a; type Foo = Foo' Handle` |
| 13:39:09 | <dminuoso> | Or some such |
| 13:39:14 | → | boxscape[m] joins (~jabruenma@2001:470:69fc:105::3:88e7) |
| 13:39:14 | → | yoggurt[m] joins (~yoggurtma@2001:470:69fc:105::2:ba5) |
| 13:39:14 | → | jmcantrell joins (~jmcantrel@user/jmcantrell) |
| 13:39:28 | → | deb776[m] joins (~deb776ted@2001:470:69fc:105::3:84c5) |
| 13:39:29 | → | kadenwolff[m] joins (~kadenwolf@2001:470:69fc:105::1:d97f) |
| 13:39:43 | <dminuoso> | Ah but I guess that wont help much |
| 13:39:45 | <carbolymer> | But that requires changing Foo, and I have a lot of such Foos |
| 13:39:55 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 13:40:33 | → | danse-nr3 joins (~francesco@151.47.233.19) |
| 13:41:30 | <carbolymer> | dminuoso: I guess I could newtype wrap that Handle and write instance by hand for that, then coerce between `Foo' HandleWrap` and `Foo' Handle`, but again, too many Foos |
| 13:42:44 | → | barcisz joins (~barcisz@79.191.74.154.ipv4.supernova.orange.pl) |
| 13:45:30 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 13:47:33 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:53:18 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 13:53:36 | → | ystael joins (~ystael@user/ystael) |
| 13:54:46 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 13:56:14 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
| 13:57:20 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 13:57:33 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 13:57:51 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 13:58:12 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 240 seconds) |
| 14:00:55 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 14:01:56 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 14:03:25 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 14:03:42 | × | fendor quits (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 14:04:06 | → | fendor joins (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 14:04:09 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 14:04:31 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 14:06:02 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 14:06:16 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 14:07:07 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 14:07:46 | × | briandaed quits (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 14:10:54 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 14:11:24 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 14:12:02 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 245 seconds) |
| 14:14:02 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 14:15:26 | × | Guest4879 quits (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 245 seconds) |
| 14:16:31 | → | gensyst joins (~gensyst@user/gensyst) |
| 14:16:50 | → | Inst joins (~Inst@2601:6c4:4081:2fc0:452a:b245:2efc:f3e4) |
| 14:18:52 | <gensyst> | Is this not supposed to work, ordinarily with template haskell? |
| 14:18:53 | <gensyst> | [d| data LOL = LOL Int |] |
| 14:19:05 | <gensyst> | I mean it works, but it's some strange Internal Decs thing |
| 14:19:14 | <gensyst> | not a normal Q Dec |
| 14:19:41 | <gensyst> | wait, never mind hmm |
| 14:20:36 | <int-e> | You see a type alias, I think. |
| 14:20:46 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 14:21:17 | <int-e> | (type DecsQ = Q [Dec]) |
| 14:21:26 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 14:22:23 | → | thegeekinside joins (~thegeekin@189.180.94.123) |
| 14:22:36 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
| 14:22:56 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 14:23:03 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 14:23:41 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 14:24:01 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 14:24:21 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 14:24:35 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 14:25:52 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 14:25:58 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 14:26:04 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:26:58 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 14:28:57 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 14:30:22 | × | libertyprime quits (~libertypr@203.96.203.44) (Client Quit) |
| 14:30:26 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 14:30:35 | → | kenran joins (~user@user/kenran) |
| 14:31:23 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 14:31:49 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 14:34:40 | → | mango joins (~finn@2001:861:5863:3d50:b09a:672:21a:350) |
| 14:34:47 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:35:40 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:37:13 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 14:37:46 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Read error: Connection reset by peer) |
| 14:38:22 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:39:06 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 14:44:06 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 14:44:57 | → | mncheck joins (~mncheck@193.224.205.254) |
| 14:45:02 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 14:45:30 | → | sidy joins (~sidy@user/sidy) |
| 14:53:12 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 14:53:50 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 14:54:23 | → | reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 14:57:21 | × | barcisz quits (~barcisz@79.191.74.154.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 14:57:42 | → | barcisz joins (~barcisz@79.191.74.154.ipv4.supernova.orange.pl) |
| 15:00:51 | → | ripspin joins (~chatzilla@1.145.225.151) |
| 15:05:10 | × | gensyst quits (~gensyst@user/gensyst) (Quit: Leaving) |
| 15:08:47 | × | dispater quits (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:08:47 | × | orcus quits (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:09:03 | → | flounders joins (~flounders@24.246.133.1) |
| 15:11:17 | × | mango quits (~finn@2001:861:5863:3d50:b09a:672:21a:350) (Ping timeout: 260 seconds) |
| 15:19:13 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 15:19:51 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 15:23:52 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 15:25:10 | × | lortabac quits (~lortabac@2a01:e0a:50d:8d40:f4cc:e84e:3beb:ac1) (Quit: WeeChat 2.8) |
| 15:26:32 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 15:27:04 | × | aeroplane quits (~user@user/aeroplane) (Ping timeout: 244 seconds) |
| 15:29:42 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 15:31:37 | → | mima joins (~mmh@aftr-62-216-202-61.dynamic.mnet-online.de) |
| 15:31:48 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 15:31:48 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 15:31:48 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 15:34:23 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 15:34:34 | → | noscript joins (~james@user/earldouglas) |
| 15:37:08 | × | danse-nr3 quits (~francesco@151.47.233.19) (Remote host closed the connection) |
| 15:37:32 | → | danse-nr3 joins (~francesco@151.47.233.19) |
| 15:37:57 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:40:24 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:41:38 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 246 seconds) |
| 15:44:47 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 15:48:01 | → | dispater joins (~dispater@mail.brprice.uk) |
| 15:48:31 | → | orcus joins (~orcus@mail.brprice.uk) |
| 15:48:48 | → | mauke joins (~mauke@user/mauke) |
| 15:53:11 | × | merijn quits (~merijn@185.143.104.11) (Ping timeout: 246 seconds) |
| 15:53:30 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:57:41 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 15:58:15 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 16:01:40 | <Inst> | can i ask for indulgence to a hypothesis? |
| 16:02:15 | <Inst> | been playing around a bit with clojurians, but tbh one hypothesis I have is that the type-driven design / type-oriented programming you see in the MLs and their relatives |
| 16:02:29 | <Inst> | is the actual FP counterpart to OOP |
| 16:03:41 | → | razetime joins (~quassel@117.254.36.184) |
| 16:03:53 | <Inst> | that is to say, you can have FP without TyDD, just as you can have imperative programming without OOP |
| 16:04:02 | × | razetime quits (~quassel@117.254.36.184) (Client Quit) |
| 16:04:20 | → | razetime joins (~quassel@117.254.36.184) |
| 16:04:35 | <Inst> | but it's better with, and TyDD / type-oriented programming / type-level is the natural complement / extension of FP just as imperative programming naturally moves toward an OOP direction |
| 16:04:37 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 16:04:38 | × | razetime quits (~quassel@117.254.36.184) (Client Quit) |
| 16:04:59 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:05:00 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 16:05:24 | <Inst> | it also helps put dynamic typing advocates into context; i.e, strong, expressive types can be misused and have drawbacks, but powerful types, with appropriate judgment, just improve programming overall |
| 16:06:20 | <Inst> | so yeah, you can do a dynamically-typed lisp, but you can do C instead of C++ / Java etc as well |
| 16:06:27 | → | gmg joins (~user@user/gehmehgeh) |
| 16:07:52 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 16:08:52 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 16:09:47 | → | kenran joins (~user@user/kenran) |
| 16:10:36 | <monochrom> | All of them are Jackson Structured Design rediscovered again and again. |
| 16:11:44 | <danse-nr3> | if i recall correctly from when i was doing untyped functional programming, higher-order functions can be a pain to troubleshoot at runtime |
| 16:11:54 | <kuribas> | Inst: strong, expressive types can be misused, so the solution is to get rid of all types. |
| 16:12:03 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:12:12 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 16:12:34 | <kuribas> | A hammer can be abused for something else than a nail, so you should get rid of all hammers. |
| 16:12:35 | <monochrom> | The only moment when I like untyped FP is when I want to use \x -> x x :) |
| 16:12:57 | <kuribas> | fix? |
| 16:12:59 | <kuribas> | :t fix |
| 16:12:59 | <lambdabot> | (a -> a) -> a |
| 16:13:11 | <monochrom> | Oh we did all get rid of infinite types, no? >:D |
| 16:13:24 | <dolio> | :t \(x :: forall a. a -> a) -> x x |
| 16:13:25 | <lambdabot> | (forall a1. a1 -> a1) -> a -> a |
| 16:13:58 | <monochrom> | And also goto. |
| 16:14:05 | <Inst> | kuribas: I'm not attacking powerful types (wherein powerful types are defined as strong, expressive types) |
| 16:14:34 | <Inst> | but I like the analogy between typelevel / tydd and OOP |
| 16:15:08 | ← | Momentum parts (momentum@2607:5300:60:4f58::248) (WeeChat 3.6) |
| 16:15:57 | <Inst> | and dividing type-level / tydd off from "straight" or dynamically-typed FP |
| 16:16:02 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 16:16:23 | <danse-nr3> | not sure, you can do OOP with such strong types, sounds a bit confusing |
| 16:16:26 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 16:16:48 | <danse-nr3> | jackson's structured design seems related to test-driven development, interesting |
| 16:16:55 | <kuribas> | IMO FP as in clojure is mostly a lie. You don't get to reason about your code, as everything is "generic", and "dynamic". |
| 16:17:18 | <kuribas> | It's just a different form of "live coding". |
| 16:17:55 | <kuribas> | IMO live coding is the opposite of FP, you don't try to reason about code, but you just evolve the system. |
| 16:18:23 | <kuribas> | Of course you could evolve about a system, and reason about it in the small. |
| 16:18:25 | <Inst> | well, untyped lambda calculus is a thing, no? |
| 16:18:30 | <monochrom> | Intelligent Design vs Evolution. Teach the controversy. |
| 16:18:38 | <kuribas> | But reasoning about even a small part of clojure is hard. |
| 16:18:40 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 16:19:01 | <monochrom> | Turing machines are also the thing, too. >:) |
| 16:19:17 | <Inst> | monochrom: there are many happy Clojurians |
| 16:19:27 | <Inst> | the point I'm trying to make isn't that they're wrong, but they're missing out |
| 16:19:28 | monochrom | considers creating a new course "PCP Programming" |
| 16:19:46 | <monochrom> | Oh they too think we are missing out. |
| 16:20:13 | <monochrom> | Me, I think we are missing out \x -> x x . (I was teaching that recently.) |
| 16:20:14 | <Inst> | I don't think we're missing out insofar as we have mechanisms to get dynamic-like typing or just straight shoehorn dynamic types in, albeit not ergonomically |
| 16:20:22 | <int-e> | monochrom: does it involve sending letters to other people... that is, actual correspondence? |
| 16:20:37 | <Inst> | :t (\x -> x x) |
| 16:20:38 | <lambdabot> | error: |
| 16:20:38 | <lambdabot> | • Occurs check: cannot construct the infinite type: t ~ t -> t1 |
| 16:20:38 | <lambdabot> | • In the first argument of ‘x’, namely ‘x’ |
| 16:20:39 | <int-e> | (by post, of course) |
| 16:20:42 | × | reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 16:20:44 | <dolio> | :t \(x :: forall a. a -> a) -> x x |
| 16:20:45 | <lambdabot> | (forall a1. a1 -> a1) -> a -> a |
| 16:20:53 | <Inst> | (a -> a) -> b |
| 16:21:20 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 16:21:23 | <kuribas> | Inst: sure clojurians are happy. I am not happy doing clojure... |
| 16:21:48 | <Inst> | the OOP analogy is that you can program imperatively without OOP, but quite often you're missing out |
| 16:22:33 | <monochrom> | This is interesting. Everyone is like "the other pasture is greener" except programmers. |
| 16:23:30 | danse-nr3 | wonders whether imperative programming without OOP had actually evolved into anything bearable |
| 16:23:46 | <Inst> | *Rust |
| 16:23:59 | <monochrom> | Modula-3 |
| 16:24:01 | <Inst> | but as far as I understand, they're replacing OOP with TyDD, even if they don't say it out loud |
| 16:24:30 | <int-e> | monochrom: I don't know... doesn't everybody have their own dream language that they've written a hello world in and that they love until the point they actually use it for real for the first time? |
| 16:25:19 | <int-e> | Though maybe after going through that once or twice you become skeptical of greener pastures. |
| 16:25:22 | → | Square joins (~Square@user/square) |
| 16:25:24 | <Inst> | by the way, just curious, but how far would you approve Eric Normand's formulation of FP as a distinction between actions (effectual code), calculations (pure code), and values? |
| 16:25:56 | <danse-nr3> | Inst, is TyDD (type driven design) not more than a developing methodology rather than a code structuring model? |
| 16:26:00 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 16:26:02 | <monochrom> | I have friends who are ardent advocates of the languages they use at work. But so far the language has only been C++ though. >:D |
| 16:26:26 | <kuribas> | monochrom: they are just stockholm syndromed in it. |
| 16:26:55 | <kuribas> | If you have spend so much effort and becomming proficient in C++, you don't want to admit there is something better. |
| 16:26:57 | <monochrom> | No, I think a friend (who is indifferent) has a co-worker who love Java which is their language at work. |
| 16:27:12 | <Inst> | kuribas: unfortunately, the same applies to Haskell, no? :) |
| 16:27:38 | <kuribas> | Inst: Sort of. |
| 16:27:57 | <Inst> | danse-nr3: what's the difference? |
| 16:27:58 | <monochrom> | Yeah kuribas, everyone is like "I hate my job" except programmers who are like "I love this echo chamber". |
| 16:28:13 | <Inst> | OOP can also be seen as a development methodology, or as the spawner of such |
| 16:29:02 | <Inst> | no one is going to say TOP, though, although that'd be a snazzy acronym for what's happening in MLs, ML relatives + Rust |
| 16:29:21 | <kuribas> | IMO OOP makes more sense in the large. |
| 16:29:26 | <danse-nr3> | well, a code structuring model provides a framework for abstractions to apply to your code, whereas a developing methodology ... can be many things, for instance it can suggest where to start developing from (test driven, type driven) |
| 16:29:46 | <monochrom> | My theory is that programmers would have been mad scientists, i.e., they do it because they can, never asking whether they should. |
| 16:29:49 | <Inst> | yeah, I guess I'm too inexperienced to have an intuition for the difference |
| 16:29:53 | <kuribas> | As an architecture, it is silly to have strings talk to each other in order to concatenate. |
| 16:30:10 | <kuribas> | Or that two integers need to talk to add themselves. |
| 16:30:22 | <Inst> | isn't the silliness part of the value? :) |
| 16:30:39 | <kuribas> | But on a bigger level, message passing and encapsulated state makes a lot sense. |
| 16:30:51 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 16:31:26 | <mauke> | I send the concatenation object a message, telling it to combine two strings |
| 16:31:53 | <Square> | What is OOP really? More than "put stuff you can associate with X in X's file..." |
| 16:32:06 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 16:32:12 | <monochrom> | I send the concatenation object as a message to the foldr object >:) |
| 16:32:20 | × | ubert quits (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 16:32:20 | <danse-nr3> | well it is more than on a bigger level, message passing and encapsulated state cannot be avoided |
| 16:32:23 | × | qqq quits (~qqq@92.43.167.61) (Quit: leaving) |
| 16:32:33 | → | ubert joins (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) |
| 16:32:53 | <kuribas> | I am now even convinced OO goes against good design, since you cannot have modularity. |
| 16:33:03 | <mauke> | in a pure OO system, messages should be objects, too |
| 16:33:24 | <danse-nr3> | just have faulty modules. Done |
| 16:33:43 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 16:33:54 | <Inst> | Square: OOP is nebulously defined voodoo which makes sense in parts but creates a market for shaman-consultants |
| 16:34:12 | <mauke> | I propose the following syntax for objects: \m -> ... where 'm' is the incoming message and ... is how the object responds to it |
| 16:34:44 | <danse-nr3> | cannot fly, you need the rest to enclose the local mutable state |
| 16:34:53 | <Square> | Inst, id say you're pretty spot on there. |
| 16:35:16 | <mauke> | sending messages should be easy, so we'll just write 'someObject theMessage' |
| 16:35:26 | <monochrom> | Hey the standard model is also like "messages are particles too" >:) |
| 16:35:44 | <Inst> | message-object duality? :) |
| 16:35:45 | <monochrom> | and "they are also all field excitations" |
| 16:35:51 | <Inst> | are all objects also messages? |
| 16:36:04 | <mauke> | if you want them to |
| 16:36:28 | <monochrom> | A string has a deBrogie wavelength... |
| 16:36:34 | <Inst> | but seriously, if you accept Clojure and Racket, as well as dialects of JS, as FP |
| 16:36:41 | × | ubert quits (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 16:36:53 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 16:37:10 | <Inst> | welp, drove kuribas off :( |
| 16:37:30 | → | reach__ joins (~reach@142.198.51.47) |
| 16:37:51 | <Inst> | well, forget it, then, I'm still holding to my hypothesis (that type-driven or type-oriented programming is a useful alternative to OOP that is a natural complement to untyped FP) |
| 16:38:10 | → | bjobjo joins (~bjobjo@user/bjobjo) |
| 16:38:58 | ← | noscript parts (~james@user/earldouglas) () |
| 16:39:41 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 16:40:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:40:52 | <EvanR> | untyped FP is just typed FP where you are the type checker |
| 16:41:47 | → | haasn` joins (~nand@haasn.dev) |
| 16:42:11 | <jade[m]> | typechecker role play |
| 16:42:28 | <mauke> | I thought that was called Hungarian notation |
| 16:44:20 | × | barcisz quits (~barcisz@79.191.74.154.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 16:44:41 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 16:45:15 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 16:48:01 | → | gurkenglas joins (~gurkengla@dynamic-046-114-092-121.46.114.pool.telefonica.de) |
| 16:49:01 | <Hecate> | well I'm putting this in my quotefile |
| 16:50:41 | <EvanR> | OOP: everything is an object. FP: everything is a function. |
| 16:53:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 16:59:51 | → | jinsun joins (~jinsun@user/jinsun) |
| 17:00:34 | <danse-nr3> | "I love this echo chamber" ... that is brilliant monochrom |
| 17:03:36 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 17:03:40 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 17:05:53 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 17:06:04 | × | reach__ quits (~reach@142.198.51.47) (Remote host closed the connection) |
| 17:06:27 | → | reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 17:08:23 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 17:13:02 | → | AlexNoo_ joins (~AlexNoo@94.233.240.229) |
| 17:15:26 | × | AlexZenon quits (~alzenon@178.34.162.202) (Ping timeout: 245 seconds) |
| 17:15:26 | × | Alex_test quits (~al_test@178.34.162.202) (Ping timeout: 245 seconds) |
| 17:16:29 | → | shapr joins (~user@2600:1700:c640:3100:c8e5:6004:fe0c:5f1a) |
| 17:16:34 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 17:16:42 | × | AlexNoo quits (~AlexNoo@178.34.162.202) (Ping timeout: 260 seconds) |
| 17:17:13 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 17:18:43 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:22:24 | → | Alex_test joins (~al_test@94.233.240.229) |
| 17:23:05 | → | puke joins (~puke@user/puke) |
| 17:23:27 | × | puke quits (~puke@user/puke) (Max SendQ exceeded) |
| 17:24:46 | → | puke joins (~puke@user/puke) |
| 17:25:11 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:26:58 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 17:27:52 | × | ripspin quits (~chatzilla@1.145.225.151) (Ping timeout: 240 seconds) |
| 17:28:05 | × | danse-nr3 quits (~francesco@151.47.233.19) (Read error: Connection reset by peer) |
| 17:28:07 | → | Guest|38 joins (~Guest|38@pool-74-109-254-148.pitbpa.fios.verizon.net) |
| 17:28:16 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 17:28:28 | × | jludwig quits (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 17:28:31 | → | danse-nr3 joins (~francesco@151.35.251.57) |
| 17:30:29 | → | AlexZenon joins (~alzenon@94.233.240.229) |
| 17:41:42 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 17:43:20 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 17:43:38 | AlexNoo_ | is now known as AlexNoo |
| 17:46:25 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:47:36 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 17:50:29 | × | reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 17:50:57 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 17:51:24 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 17:51:45 | → | jludwig joins (~justin@li657-110.members.linode.com) |
| 17:52:09 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 17:53:02 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 17:59:55 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 18:00:51 | × | danse-nr3 quits (~francesco@151.35.251.57) (Ping timeout: 245 seconds) |
| 18:03:22 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 18:05:20 | → | Square joins (~Square@user/square) |
| 18:07:38 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 18:10:55 | → | reach__ joins (~reach@142.198.51.47) |
| 18:14:28 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 18:15:36 | × | johnw quits (~johnw@69.62.242.138) (Remote host closed the connection) |
| 18:15:53 | → | johnw joins (~johnw@69.62.242.138) |
| 18:19:07 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 18:21:52 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 18:21:52 | × | mima quits (~mmh@aftr-62-216-202-61.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 18:22:00 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 18:22:23 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 18:22:29 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 18:34:50 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 18:35:00 | × | sidy quits (~sidy@user/sidy) (Quit: Leaving) |
| 18:38:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 18:38:37 | → | nick2 joins (~nick@2600:100d:b105:76fe:39f9:5c0f:c3c2:60d3) |
| 18:41:10 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 18:43:46 | → | hippoid joins (~hippoid@user/hippoid) |
| 18:47:52 | × | Square quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 18:57:16 | → | Guest13 joins (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) |
| 18:58:55 | × | Guest13 quits (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) (Client Quit) |
| 18:59:20 | → | haskGPT joins (~haskGPT@250.79-105-213.static.virginmediabusiness.co.uk) |
| 18:59:21 | <haskGPT> | hey |
| 19:00:32 | <haskGPT> | you can ask me questions about haskell, and I will respond with convincing answers. |
| 19:00:57 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 19:01:56 | <haskGPT> | in particular, about large language models in haskell. |
| 19:02:27 | <haskGPT> | and the use of large language models for producing haskell code |
| 19:02:42 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 19:03:55 | <haskGPT> | with the particular aim of community development of a chatGPT alternative in haskell. |
| 19:08:30 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 19:08:47 | Clint | squints. |
| 19:08:52 | × | thegeekinside quits (~thegeekin@189.180.94.123) (Ping timeout: 240 seconds) |
| 19:10:23 | sm | sniffs |
| 19:12:11 | <yushyin> | maybe it will trigger ozone at some point (/me crosses fingers) |
| 19:12:32 | → | thegeekinside joins (~thegeekin@189.180.94.123) |
| 19:17:36 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:20:44 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 19:21:29 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) |
| 19:25:37 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 19:26:32 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:28:42 | × | ursa-major quits (~ursa-majo@37.19.210.10) (Ping timeout: 245 seconds) |
| 19:29:49 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 19:30:07 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 19:30:44 | → | ursa-major joins (~ursa-majo@static-198-44-128-216.cust.tzulo.com) |
| 19:31:12 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 19:31:20 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 19:31:20 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 19:31:20 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 19:31:58 | × | nick2 quits (~nick@2600:100d:b105:76fe:39f9:5c0f:c3c2:60d3) (Ping timeout: 244 seconds) |
| 19:37:40 | → | danza joins (~francesco@151.35.251.57) |
| 19:38:11 | → | kaptch joins (~user@95.10.3.18) |
| 19:38:32 | × | reach__ quits (~reach@142.198.51.47) (Ping timeout: 240 seconds) |
| 19:41:45 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 19:42:12 | ← | kaptch parts (~user@95.10.3.18) () |
| 19:45:55 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
| 19:47:54 | → | MajorBiscuit joins (~MajorBisc@62-110-179.netrun.cytanet.com.cy) |
| 19:50:58 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 19:52:22 | → | Guest4879 joins (~finn@81-67-22-3.rev.numericable.fr) |
| 19:52:35 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 19:55:33 | <shapr> | haskGPT: vad tror du om Haskell? |
| 19:56:07 | <shapr> | haskGPT: kan du tala svenska? |
| 19:56:20 | <shapr> | haskGPT: what's the airsped of an unladen swallow? |
| 19:56:27 | <shapr> | haskGPT: is this thing on? |
| 19:56:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:56:40 | <shapr> | I'm gonna say it's not working. |
| 19:56:50 | shapr | shrugs |
| 19:56:52 | <shapr> | so anyway |
| 19:57:07 | × | thegeekinside quits (~thegeekin@189.180.94.123) (Ping timeout: 260 seconds) |
| 19:57:22 | → | ft joins (~ft@p508dbe45.dip0.t-ipconnect.de) |
| 20:03:49 | → | reach__ joins (~reach@142.198.51.47) |
| 20:04:10 | × | Guest|38 quits (~Guest|38@pool-74-109-254-148.pitbpa.fios.verizon.net) (Quit: Connection closed) |
| 20:05:11 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:05:11 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 20:07:13 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:09:55 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:09:57 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 20:09:59 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 20:10:35 | <hgolden> | is cabal cradle documented anywhere? i'm getting a "Multi Cradle: No prefixes matched cradle [Ln 1, Col 1]" |
| 20:11:20 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:11:33 | ← | Lycurgus parts (~juan@user/Lycurgus) () |
| 20:11:34 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 250 seconds) |
| 20:11:41 | <jade[m]> | that usually for me just means the module isn't in your cabal file under other-modules |
| 20:11:46 | <geekosaur> | probably best asked in #haskell-language-server |
| 20:12:11 | <hgolden> | geekosaur: thanks, will do. |
| 20:12:13 | <sm> | yes, sounds like probably one of the subtools of HLS (hie ?) |
| 20:12:52 | <hgolden> | sm: yes, hie is a suspect! |
| 20:13:33 | <sm> | https://github.com/haskell/hie-bios |
| 20:16:25 | <hgolden> | sm: thanks! this is the place, but it needs to be linked from cabal, etc. |
| 20:17:25 | <sm> | I agree with your general sentiment, but why cabal in particular |
| 20:17:55 | <sm> | The Haskell extension's (and HLS's) user guide I would have thought |
| 20:19:15 | <hgolden> | sm: not cabal, in particular. just suggesting cross-references wherever a new user (like me) might stumble. |
| 20:19:39 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 20:19:50 | <sm> | better still, the error message... |
| 20:20:33 | <hgolden> | sm: i agree |
| 20:20:38 | <sm> | even better still justworkmumblemumble |
| 20:21:12 | <hgolden> | that isn't the "haskell way"! |
| 20:21:22 | <sm> | like most things, it's awaiting volunteers/funders/organisers/motivation |
| 20:22:08 | <hgolden> | haskell is an adventure game.... |
| 20:22:19 | <sm> | I believe HF should hire a roving technical writer, analogous to chreekat |
| 20:24:15 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 20:24:27 | × | shapr quits (~user@2600:1700:c640:3100:c8e5:6004:fe0c:5f1a) (Remote host closed the connection) |
| 20:24:28 | <hgolden> | sm: Hécate Moonlight? |
| 20:24:41 | → | shapr joins (~user@2600:1700:c640:3100:48aa:7045:6a06:128b) |
| 20:25:13 | <sm> | if they are a writer, then +1! |
| 20:25:13 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:25:19 | <hgolden> | see https://ko-fi.com/hecatemoonlight, perhaps |
| 20:25:27 | <mauke> | Hecate is here |
| 20:25:58 | <geekosaur> | every so often I consider hanging out a shingle, but I'm not that great as a technical writer |
| 20:26:11 | <sm> | +1 to that too! |
| 20:26:36 | <sm> | Haskell Writer Strike Force ? |
| 20:27:01 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 20:28:28 | <hgolden> | a suggestion: technical writers and wannabes should congregate (if they don't already) |
| 20:29:02 | <monochrom> | Maybe I tell you an Aesop fable again. :) |
| 20:29:54 | <hgolden> | monochrom: please explain your reference to Aesop. |
| 20:30:02 | <sm> | hgolden it's a good idea to organise tech writers team, like eg the library custodians, security team, etc. |
| 20:30:12 | <monochrom> | There was an internation conference of mice. First resolution: Someone should put a bell on the cat's neck so the mice get early warnings. Second resolution: Someone else should do it. |
| 20:31:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 245 seconds) |
| 20:31:19 | <sm> | writers would need to be the most mobile and self-sufficient, capable of dropping in anywhere and getting out alive |
| 20:32:46 | <sm> | sometimes we talk about things to get clear on what might be good to do, and you never know, maybe inspire someone to grab their sword |
| 20:33:46 | <geekosaur> | one complication here is that to write well about something, you need to understand it; just dropping in on a project doesn't work that well |
| 20:34:03 | <geekosaur> | unless the documentation is already there but needs polishing |
| 20:35:25 | <mauke> | btw, is orion banned from matrix #haskell? |
| 20:35:37 | <sm> | you need some badass long-experienced haskeller-writers, mainly. A project manager could probably also organise tasks for less experienced helpers |
| 20:37:46 | <sm> | mauke: I don't see any "orion" in the banned list of #haskell:matrix.org |
| 20:38:31 | <mauke> | shame |
| 20:38:35 | <geekosaur> | ^ |
| 20:38:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 20:38:39 | <sm> | n #haskell:libera.chat, I don't think matrix users can be banned, or at least none are listed here |
| 20:38:58 | <geekosaur> | tried to dm you about them the other day, I can't tell if it went through or not |
| 20:39:12 | <sm> | (on the matrix side I mean, of course banning can be done on the irc side) |
| 20:39:14 | <mauke> | geekosaur: I don't see anything |
| 20:39:22 | <hgolden> | monochrom: i'm familiar with that fable, though you had to remind me. i've been a mouse keeping the haskell wiki running, sort of, for a few years, but now i want someone else to do that, so i can learn more haskell. |
| 20:39:23 | <jade[m]> | is orion onion or is that someone else |
| 20:39:30 | <sm> | geekosaur: I accepted your DM and joined the chat but didn't see anything else.. |
| 20:40:12 | <geekosaur> | oh |
| 20:40:20 | <geekosaur> | it never completed on my end for some reason |
| 20:40:32 | <geekosaur> | nheko is still a little glitchy at times I guess |
| 20:40:50 | <jade[m]> | hgolden: I wanted to contribute to the haskell wiki previously but it's kind of a mess |
| 20:40:52 | <mauke> | oh, I may be blind |
| 20:41:11 | <jade[m]> | geekosaur: I tried that client and it completely bugged out on me |
| 20:41:12 | <geekosaur> | onion. "@igothackedontor:matrix.org" |
| 20:41:42 | <jade[m]> | oh yes, they are very weird and followed me from mathematics channels where they were originally banned as well |
| 20:41:48 | <geekosaur> | jade[m], I had that with quaternion but so far nheko has been pretty good for most things. rarely I have to pop over into element |
| 20:41:53 | <jade[m]> | I voiced my concern about them early on |
| 20:41:58 | <mauke> | jade[m]: I mean the user who joined a while ago, never talks about haskell, and occasionally posts annoying stuff and self-promoting links |
| 20:42:09 | <geekosaur> | yes, that one |
| 20:42:24 | <jade[m]> | yes, I might have led them there by accident because I mentioned haskell in another room once |
| 20:42:24 | <hgolden> | jade[m]: please explain what would help the wiki. we're open to suggestions, though remember Aesop. |
| 20:42:44 | <sm> | uh.. why am I the only matrix-side Mod in here.. |
| 20:42:47 | <jade[m]> | hgolden: what is Aesop? |
| 20:43:07 | <geekosaur> | an ancient Greek who penned a book of fables |
| 20:43:15 | <sm> | well today is this portal's last day.. MORE WINE |
| 20:43:23 | <glguy> | sm: 2 more weeks |
| 20:43:24 | <geekosaur> | monochrom quoted one of them a few minutes ago |
| 20:43:43 | <hgolden> | jade[m]: see monochrom's reference to mice and cats above about 20 minutes ago. |
| 20:43:43 | <davean> | Why is the portal going away? |
| 20:43:46 | <glguy> | moderation chatter also good on #haskell-ops |
| 20:43:46 | <sm> | oh you're right, 2 more weeks. |
| 20:43:47 | <geekosaur> | sm: what glguy said, they need to fix some bugs & security holes before they can drop portaling |
| 20:43:58 | → | mechap joins (~mechap@user/mechap) |
| 20:44:08 | <glguy> | davean: check out the last 3 postings at https://libera.chat |
| 20:44:24 | <glguy> | davean: anything I told you about it would be based on having looked at those postings :) |
| 20:45:04 | <sm> | hgolden: thanks for doing that (wiki tending) |
| 20:45:40 | <jade[m]> | hgolden: My main issue was navigation and finding articles, and then there were *lots* of articles with wrong information or bad code which were listed under solutions for some kind of problems |
| 20:46:19 | <jade[m]> | it's been a while though, so I would love to get in contact and contribute to the wiki |
| 20:46:32 | <jade[m]> | it's one of the most important resources that I also personally use a lot |
| 20:47:00 | <hgolden> | jade[m] feel free to contact me. i'm easy to reach. |
| 20:47:11 | <geekosaur> | I should mention again that we are considering creating a plumbed room for this channel. it would NOT be plumbed to an existing room, and we would specifically request that people avoid things that don't work well on IRC |
| 20:47:16 | <jade[m]> | sounds good! |
| 20:47:30 | <geekosaur> | comments, conmcerns, etc. should probably be raised in #haskell-ops |
| 20:47:32 | <sm> | +1 |
| 20:47:57 | <jade[m]> | hgolden: are you on matrix by any chance? I still have to set up my irc thingy ... |
| 20:49:24 | <sm> | * +1 (to plumbing) |
| 20:49:42 | <Guest4879> | how to express a type variable which is either Float or Double? |
| 20:49:44 | <hgolden> | jade[m]: i think i have a matrix account, but i haven't used it for a long time. i'll try it. |
| 20:50:41 | <mauke> | Guest4879: why only Float or Double? |
| 20:50:46 | → | wrengr joins (~wrengr@201.59.83.34.bc.googleusercontent.com) |
| 20:52:01 | <Guest4879> | i want my client to decide which precision to choose |
| 20:52:11 | <Guest4879> | on the fly |
| 20:52:40 | <davean> | Guest4879: but not another type that has similar properties but aren't those two? |
| 20:52:44 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 20:52:52 | <davean> | Haskell usually restricts by the properties of the type when it gets general. |
| 20:53:00 | <davean> | like being RealFloat |
| 20:53:46 | <davean> | Or being Fractional, or being a Number at all, or some combination of those ... well I'd say laws but I just mentioned Num |
| 20:55:56 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 20:56:25 | → | nick2 joins (~nick@2600:8807:9084:7800:9d26:91c1:bd87:e9e5) |
| 20:58:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:58:22 | × | MajorBiscuit quits (~MajorBisc@62-110-179.netrun.cytanet.com.cy) (Ping timeout: 260 seconds) |
| 20:58:45 | <Guest4879> | how to put a typeclass constraint on instance clause: instance Vectorizable (n,n), here n is Num |
| 20:59:11 | <davean> | Same way as anywhere else |
| 20:59:20 | <davean> | instance Num n => Vectorizable (n,n) |
| 20:59:38 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 20:59:40 | <davean> | thats not GENERALLY a great idea, you'd usually do the specific ones though |
| 20:59:54 | <davean> | you'll need extensions to make the constrained version go though because its illfounded |
| 21:00:42 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 21:00:50 | × | nick2 quits (~nick@2600:8807:9084:7800:9d26:91c1:bd87:e9e5) (Ping timeout: 244 seconds) |
| 21:01:05 | <glguy> | The issue there is more that 'n' got used twice, rather than that n was contained to implement Num, though |
| 21:02:30 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 21:03:25 | × | reach__ quits (~reach@142.198.51.47) (Ping timeout: 244 seconds) |
| 21:04:50 | <Guest4879> | glguy: why is it an issue that n being used twice |
| 21:05:03 | <monochrom> | hgolden: IMO we need people to stop being afraid of deleting tangential material, even outdated material. |
| 21:06:10 | <monochrom> | Part of the mess is because people merely add "Update: Now it is this way" but allow the old (and therefore wrong) stuff to stay. |
| 21:06:45 | <monochrom> | For example N-1 of the IO articles there. |
| 21:07:38 | <Guest4879> | class Vectorizable v where distance :: (Num n) => v -> v -> n |
| 21:07:45 | <Guest4879> | is this good practice? |
| 21:07:50 | <hgolden> | monochrom: atravers has been doing this a lot afaict |
| 21:08:03 | <Guest4879> | or should i use class Vectoriable v n |
| 21:09:01 | <Guest4879> | i want to generilze both the Vector type and their distance |
| 21:09:06 | <hgolden> | monochrom: this is a problem in many sources of information. i suggest putting the latest news at the top instead of the bottom |
| 21:12:14 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 21:12:25 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 21:15:16 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 21:16:37 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 21:18:12 | × | danza quits (~francesco@151.35.251.57) (Ping timeout: 240 seconds) |
| 21:22:17 | <glguy> | Guest4879: How about put up some more complete code that you have a question about on a pastebin and we can get more specific |
| 21:23:49 | → | ai5lk joins (~ai5lk@209-188-121-236.taosnet.com) |
| 21:27:41 | → | reach__ joins (~reach@142.198.51.47) |
| 21:28:50 | × | fendor quits (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 21:29:01 | <monochrom> | Haha Data.ByteString.isSuffixOf says "accursedUnutterablePerformIO $ unsafeWithForeignPtr x1 $ \p1 -> unsafeWithForeignPtr x2 $ \p2 -> memcmp ..." |
| 21:30:13 | <monochrom> | In my use case I just want to know whether '\n' is the last byte. Should I use isSuffixOf or should I write my own equivalent of b[n-1] == '\n' ? |
| 21:31:04 | <glguy> | monochrom: I'd say write it in terms of unsnoc |
| 21:32:11 | <monochrom> | You're right! That's a better idea. 75% of the time I do want to take out the non-newline prefix. |
| 21:32:47 | <mauke> | last str == '\n' |
| 21:34:48 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 21:35:17 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 21:35:17 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 21:35:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:37:18 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 21:37:18 | jinsun | is now known as Guest4158 |
| 21:37:18 | jinsun__ | is now known as jinsun |
| 21:37:57 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 21:38:02 | × | Guest4158 quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 21:41:31 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 21:43:00 | × | reach__ quits (~reach@142.198.51.47) (Ping timeout: 250 seconds) |
| 21:44:45 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 21:46:22 | → | ubert joins (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) |
| 21:47:03 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 21:48:00 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 21:48:21 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 21:49:09 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:49:16 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 21:49:16 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 21:49:16 | finn_elija | is now known as FinnElija |
| 21:49:46 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 21:49:55 | → | thegeekinside joins (~thegeekin@189.180.94.123) |
| 21:50:17 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 21:52:24 | → | talismanick joins (~user@76.133.152.122) |
| 21:57:25 | × | FurudeRika[m] quits (~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 240 seconds) |
| 21:59:28 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 21:59:28 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 21:59:28 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 21:59:37 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 21:59:46 | dobblego | is now known as dibblego |
| 22:00:40 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 22:00:45 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 22:00:48 | → | pavonia joins (~user@user/siracusa) |
| 22:01:14 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 22:01:54 | → | wroathe joins (~wroathe@50.205.197.50) |
| 22:01:55 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 22:01:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:03:25 | × | schuelermine quits (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 22:06:25 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 22:07:06 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 22:07:12 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 22:09:40 | → | cassiopea joins (~cassiopea@user/cassiopea) |
| 22:10:44 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 22:11:00 | → | kaptch joins (~kaptch@95.10.3.18) |
| 22:11:06 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 22:12:10 | × | kaptch quits (~kaptch@95.10.3.18) (Client Quit) |
| 22:12:41 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 22:12:41 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 22:12:41 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 22:13:19 | → | reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 22:19:03 | × | AlexNoo quits (~AlexNoo@94.233.240.229) (Read error: Connection reset by peer) |
| 22:19:27 | → | AlexNoo joins (~AlexNoo@94.233.240.229) |
| 22:19:39 | → | ub joins (~Thunderbi@77.119.204.241.wireless.dyn.drei.com) |
| 22:21:35 | × | ubert quits (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 22:21:35 | ub | is now known as ubert |
| 22:22:08 | × | shapr quits (~user@2600:1700:c640:3100:48aa:7045:6a06:128b) (Remote host closed the connection) |
| 22:22:21 | → | shapr joins (~user@2600:1700:c640:3100:6922:3c05:4353:d95c) |
| 22:22:28 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 244 seconds) |
| 22:26:41 | × | reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 22:32:10 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 245 seconds) |
| 22:32:10 | × | somerandomnick[m quits (~somerando@2001:470:69fc:105::3:4f2e) (Ping timeout: 245 seconds) |
| 22:32:10 | × | oak- quits (~oak-@2001:470:69fc:105::fcd) (Ping timeout: 245 seconds) |
| 22:32:11 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 22:32:11 | × | Clinton[m] quits (~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 245 seconds) |
| 22:32:11 | × | ozkutuk[m] quits (~ozkutuk@2001:470:69fc:105::2:9af8) (Ping timeout: 245 seconds) |
| 22:32:11 | × | yoggurt[m] quits (~yoggurtma@2001:470:69fc:105::2:ba5) (Ping timeout: 245 seconds) |
| 22:32:11 | × | shapr[m] quits (~shaprcofr@2001:470:69fc:105::2:d107) (Ping timeout: 245 seconds) |
| 22:32:11 | × | jmcantrell quits (~jmcantrel@user/jmcantrell) (Ping timeout: 245 seconds) |
| 22:32:11 | × | MangoIV[m] quits (~mangoivma@2001:470:69fc:105::2:8417) (Ping timeout: 245 seconds) |
| 22:32:11 | × | elvishjerricco quits (~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 245 seconds) |
| 22:32:11 | × | romes[m] quits (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 245 seconds) |
| 22:32:11 | × | Inst[m] quits (~instrmatr@2001:470:69fc:105::1:903e) (Ping timeout: 245 seconds) |
| 22:32:11 | × | kadenwolff[m] quits (~kadenwolf@2001:470:69fc:105::1:d97f) (Ping timeout: 245 seconds) |
| 22:32:11 | × | cstml[m] quits (~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 245 seconds) |
| 22:32:11 | × | Drew[m] quits (~drewefenw@2001:470:69fc:105::c8c4) (Ping timeout: 245 seconds) |
| 22:32:11 | × | zfnmxt quits (~zfnmxt@user/zfnmxt) (Ping timeout: 245 seconds) |
| 22:32:11 | × | elevenkb quits (~elevenkb@2001:470:69fc:105::2:cb89) (Ping timeout: 245 seconds) |
| 22:32:11 | × | JensPetersen[m] quits (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 245 seconds) |
| 22:32:11 | × | hsiktas[m] quits (~hsiktasm]@2001:470:69fc:105::30d4) (Ping timeout: 245 seconds) |
| 22:32:11 | × | Christoph[m] quits (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 245 seconds) |
| 22:32:11 | × | alanz quits (~alanz@2001:470:69fc:105::2:49a6) (Ping timeout: 245 seconds) |
| 22:32:11 | × | akadude[m] quits (~akadudema@2001:470:69fc:105::2:5bf7) (Ping timeout: 245 seconds) |
| 22:32:11 | × | nomagno quits (~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 245 seconds) |
| 22:32:11 | × | kadoban quits (~kadoban@user/kadoban) (Ping timeout: 245 seconds) |
| 22:32:11 | × | ormaaaj quits (~ormaaj@user/ormaaj) (Ping timeout: 245 seconds) |
| 22:32:11 | × | VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 245 seconds) |
| 22:32:11 | × | Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 245 seconds) |
| 22:32:11 | × | maralorn quits (~maralorn@2001:470:69fc:105::251) (Ping timeout: 245 seconds) |
| 22:32:11 | × | fendor[m] quits (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 245 seconds) |
| 22:32:11 | × | jean-paul[m] quits (~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 245 seconds) |
| 22:32:11 | × | ManofLetters[m] quits (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 245 seconds) |
| 22:32:26 | × | aniketd[m] quits (~aniketdma@2001:470:69fc:105::dede) (Ping timeout: 240 seconds) |
| 22:32:26 | × | the_guruji[m] quits (~theguruji@2001:470:69fc:105::3:825f) (Ping timeout: 240 seconds) |
| 22:32:26 | × | chreekat quits (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 240 seconds) |
| 22:32:26 | × | SeanKing[m] quits (~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 240 seconds) |
| 22:32:26 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 22:32:26 | × | siraben quits (~siraben@user/siraben) (Ping timeout: 240 seconds) |
| 22:34:18 | × | ddellacosta quits (~ddellacos@146.70.171.100) (Ping timeout: 252 seconds) |
| 22:35:17 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:36:50 | × | deb776[m] quits (~deb776ted@2001:470:69fc:105::3:84c5) (Ping timeout: 246 seconds) |
| 22:36:50 | × | boxscape[m] quits (~jabruenma@2001:470:69fc:105::3:88e7) (Ping timeout: 246 seconds) |
| 22:36:50 | × | JanusTroelsen[m] quits (~janustmat@2001:470:69fc:105::3:7e89) (Ping timeout: 246 seconds) |
| 22:36:50 | × | ners[m] quits (~nersnixos@2001:470:69fc:105::3:648b) (Ping timeout: 246 seconds) |
| 22:36:50 | × | xosdy[m] quits (~xosdymozi@2001:470:69fc:105::2:63f7) (Ping timeout: 246 seconds) |
| 22:36:50 | × | RandomInt[m] quits (~randomint@2001:470:69fc:105::3:852e) (Ping timeout: 246 seconds) |
| 22:36:50 | × | peddie quits (~peddie@2001:470:69fc:105::25d) (Ping timeout: 246 seconds) |
| 22:36:50 | × | smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 246 seconds) |
| 22:36:50 | × | joyfulmantis[m] quits (~joyfulman@2001:470:69fc:105::3:400a) (Ping timeout: 246 seconds) |
| 22:36:50 | × | zebrag[m] quits (~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 246 seconds) |
| 22:36:57 | × | talismanick quits (~user@76.133.152.122) (Ping timeout: 260 seconds) |
| 22:36:58 | × | supersven[m] quits (~supersven@2001:470:69fc:105::31b6) (Ping timeout: 246 seconds) |
| 22:36:58 | × | stites[m] quits (~stitesbee@2001:470:69fc:105::3:7bdc) (Ping timeout: 246 seconds) |
| 22:36:58 | × | Nate[m] quits (~m52957mat@2001:470:69fc:105::1:591a) (Ping timeout: 246 seconds) |
| 22:36:58 | × | jaror[m] quits (~jaror@2001:470:69fc:105::265) (Ping timeout: 246 seconds) |
| 22:36:58 | × | adziahel quits (~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 246 seconds) |
| 22:36:58 | × | lamnou[m] quits (~lamnoumat@2001:470:69fc:105::3:7a7e) (Ping timeout: 246 seconds) |
| 22:36:58 | × | jade[m] quits (~jade256th@2001:470:69fc:105::3:58df) (Ping timeout: 246 seconds) |
| 22:36:58 | × | mon_aaraj quits (~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 246 seconds) |
| 22:36:58 | × | Matthew|m quits (~arathorn@2001:470:69fc:105::1f) (Ping timeout: 246 seconds) |
| 22:36:58 | × | alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 246 seconds) |
| 22:36:58 | × | bgamari[m] quits (~bgamari@2001:470:69fc:105::c7b9) (Ping timeout: 246 seconds) |
| 22:36:58 | × | paulapatience quits (~paulapati@2001:470:69fc:105::16a4) (Ping timeout: 246 seconds) |
| 22:36:58 | × | fgaz quits (~fgaz@2001:470:69fc:105::842) (Ping timeout: 246 seconds) |
| 22:36:58 | × | Null_A[m] quits (~jasonjckn@2001:470:69fc:105::bb85) (Ping timeout: 246 seconds) |
| 22:36:58 | × | ribosomerocker[m quits (~ribosomer@2001:470:69fc:105::3:8ac7) (Ping timeout: 246 seconds) |
| 22:36:58 | × | ocharles[m] quits (~ocharlesm@2001:470:69fc:105::3:5899) (Ping timeout: 246 seconds) |
| 22:36:58 | × | Guillaum[m] quits (~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 246 seconds) |
| 22:37:31 | × | cassiopea quits (~cassiopea@user/cassiopea) (Ping timeout: 260 seconds) |
| 22:37:34 | × | phma quits (phma@2001:5b0:211c:3428:8f93:af30:9b05:d7b) (Read error: Connection reset by peer) |
| 22:37:57 | → | phma joins (~phma@host-67-44-208-191.hnremote.net) |
| 22:39:59 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 22:43:34 | → | mima joins (~mmh@aftr-62-216-202-120.dynamic.mnet-online.de) |
| 22:45:24 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:46:50 | → | ddellacosta joins (~ddellacos@143.244.47.84) |
| 22:47:28 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 22:50:52 | × | ai5lk quits (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 22:54:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 22:55:04 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 22:55:38 | → | sm[i] joins (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) |
| 22:57:56 | × | Guest4879 quits (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 260 seconds) |
| 23:01:46 | → | falafel joins (~falafel@216.68.6.51.dyn.plus.net) |
| 23:08:27 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 23:11:58 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 23:15:35 | × | billchenchina quits (~billchenc@103.152.35.21) (Ping timeout: 264 seconds) |
| 23:19:04 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:19:36 | × | sm[i] quits (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) (Quit: sm[i]) |
| 23:21:22 | → | mauke_ joins (~mauke@user/mauke) |
| 23:23:06 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 250 seconds) |
| 23:23:06 | mauke_ | is now known as mauke |
| 23:26:01 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 23:26:30 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 23:27:59 | → | dibblego joins (~dibblego@116.255.1.151) |
| 23:27:59 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 23:27:59 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 23:32:01 | → | notzmv joins (~zmv@user/notzmv) |
| 23:32:21 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 23:32:49 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 23:34:48 | → | mei joins (~mei@user/mei) |
| 23:36:21 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f36112eefabde49cc58.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 23:41:57 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:45:12 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 23:50:49 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 23:58:01 | × | thegeekinside quits (~thegeekin@189.180.94.123) (Ping timeout: 260 seconds) |
All times are in UTC on 2023-07-31.