Logs: freenode/#haskell
| 2021-03-27 19:17:01 | <curl> | and that then this thing should be able to repreesnt the graph |
| 2021-03-27 19:17:31 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-27 19:17:40 | → | Lycurgus joins (~niemand@98.4.120.166) |
| 2021-03-27 19:17:45 | <curl> | which i guess it would do by having a choice to refer to parts of itslef instead of values at the records at heach sum-product layer |
| 2021-03-27 19:18:08 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-03-27 19:18:11 | <curl> | ie instead of defining *new* records below |
| 2021-03-27 19:18:23 | <curl> | while writing the GADT |
| 2021-03-27 19:18:39 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-03-27 19:18:50 | <curl> | (which has become a deep process, instead of writing the layers separately ) |
| 2021-03-27 19:19:50 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:b497:8c3b:17d1:d29) |
| 2021-03-27 19:20:56 | <amx> | are there strict versions of && and || in a commonly used library? just so I don't ship redundant code. |
| 2021-03-27 19:21:05 | × | minoru_shiraeesh quits (~shiraeesh@46.34.207.84) (Ping timeout: 268 seconds) |
| 2021-03-27 19:21:33 | <curl> | i guess you get something like various levels of scope, including "top level" by having branches appearing without being used by a function that can be refered to by other parts |
| 2021-03-27 19:21:37 | <monochrom> | I haven't seen one. But I haven't looked at many common libraries either. |
| 2021-03-27 19:21:43 | <curl> | sry |
| 2021-03-27 19:23:10 | <monochrom> | And I think adding your own two lines of code still beats pulling in one more library to only use two lines of it. |
| 2021-03-27 19:23:18 | <amx> | most def |
| 2021-03-27 19:24:37 | <curl> | what do Sum branches in programs correspond to? |
| 2021-03-27 19:25:10 | <curl> | sometimes different code? if statements? |
| 2021-03-27 19:25:12 | <monochrom> | Although, http://hackage.haskell.org/packages/search?terms=strict can be useful if you need more strict types and/or functions. |
| 2021-03-27 19:25:17 | → | Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-27 19:25:24 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-27 19:25:36 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-27 19:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-03-27 19:26:26 | <curl> | oh, no its even more cool, its like different branches on pattern matching and stuff |
| 2021-03-27 19:26:52 | <curl> | different instances i guess too |
| 2021-03-27 19:28:27 | <curl> | id really like to see some simple recursive program with pattern matching, like map, written onto this kind of GADT + referencing |
| 2021-03-27 19:29:24 | <curl> | to see what a recursive functional program looks like in a syntax tree that is able to handle recursive references |
| 2021-03-27 19:29:51 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-27 19:32:45 | <curl> | i guess fib is the normal example... |
| 2021-03-27 19:33:05 | <curl> | how do you write that on a graphy tree? |
| 2021-03-27 19:33:57 | <curl> | (ie one where you can refer to any other place by name) |
| 2021-03-27 19:35:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-03-27 19:35:41 | × | pupuupup quits (~pupuupup@node-bv.pool-125-24.dynamic.totinternet.net) (Ping timeout: 240 seconds) |
| 2021-03-27 19:38:05 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 265 seconds) |
| 2021-03-27 19:39:56 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-03-27 19:41:21 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-27 19:41:28 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 2021-03-27 19:42:47 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-27 19:43:56 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-27 19:45:16 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) |
| 2021-03-27 19:45:25 | → | ajc_ joins (~ajc@69.231.232.79) |
| 2021-03-27 19:46:03 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-03-27 19:51:29 | → | txb920 joins (5af6ddfd@90.246.221.253) |
| 2021-03-27 19:53:18 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds) |
| 2021-03-27 19:54:20 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-03-27 19:57:38 | → | sillyotter joins (~sillyotte@cpe-74-137-150-154.kya.res.rr.com) |
| 2021-03-27 19:57:40 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-27 19:57:51 | × | sillyotter quits (~sillyotte@cpe-74-137-150-154.kya.res.rr.com) (Client Quit) |
| 2021-03-27 19:58:46 | <dgpratt> | I'm looking at trying to incorporate some flavor of direnv into a nix-based toolchain I'm setting up, but there seem to be several choices, any of them favored or disfavored by any of you folks? |
| 2021-03-27 20:02:53 | → | erisco joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 2021-03-27 20:02:55 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-27 20:06:18 | × | tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving) |
| 2021-03-27 20:08:48 | × | txb920 quits (5af6ddfd@90.246.221.253) (Quit: Connection closed) |
| 2021-03-27 20:20:07 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) |
| 2021-03-27 20:21:44 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-27 20:22:34 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-27 20:23:24 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-27 20:24:11 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) (Client Quit) |
| 2021-03-27 20:25:36 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-27 20:25:58 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) |
| 2021-03-27 20:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-03-27 20:26:00 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) (Client Quit) |
| 2021-03-27 20:28:26 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-27 20:28:48 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-03-27 20:30:18 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-03-27 20:32:18 | × | Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-03-27 20:32:49 | × | curl quits (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Quit: Connection closed) |
| 2021-03-27 20:34:36 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-03-27 20:35:55 | × | vchlup_ quits (~vchlup@nat.brnet.cz) (Remote host closed the connection) |
| 2021-03-27 20:36:48 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-03-27 20:36:52 | → | Erutuon joins (~Erutuon@97-116-16-233.mpls.qwest.net) |
| 2021-03-27 20:36:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-03-27 20:37:44 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-27 20:37:45 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-27 20:37:56 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-27 20:38:38 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-27 20:38:50 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 2021-03-27 20:42:57 | → | Erutuon_ joins (~Erutuon@97-116-16-233.mpls.qwest.net) |
| 2021-03-27 20:45:12 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-03-27 20:46:29 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal) |
| 2021-03-27 20:46:58 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection) |
| 2021-03-27 20:47:16 | hackage | language-js 0.3.0 - javascript parser for es6 and es7. https://hackage.haskell.org/package/language-js-0.3.0 (diasbruno) |
| 2021-03-27 20:47:47 | <maralorn> | Wow, either curl is having an amazing monologue in the backlog or the matrix bridge is yet again swallowing participants. |
| 2021-03-27 20:48:39 | × | Alleria__ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 268 seconds) |
| 2021-03-27 20:50:15 | <monochrom> | Their gist url betrays that they're fog again. |
| 2021-03-27 20:50:20 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-27 20:50:42 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Quit: ZNC - https://znc.in) |
| 2021-03-27 20:51:29 | <monochrom> | But what does "matrix bridge swallows participants" mean? Sounds very either cannibalizing or Greek mythology. |
| 2021-03-27 20:52:03 | <monochrom> | "Kronos was the first matrix bridge" >:) |
| 2021-03-27 20:53:52 | <maralorn> | monochrom: Ah, oh, I see. |
| 2021-03-27 20:55:46 | × | malumore quits (~malumore@151.62.126.8) (Remote host closed the connection) |
| 2021-03-27 20:55:56 | <monochrom> | "fog is co-Kronos" >:) >:) |
| 2021-03-27 20:56:06 | → | malumore joins (~malumore@151.62.126.8) |
| 2021-03-27 20:56:34 | <maralorn> | monochrom: The bridge forwards messages to matrix by creating one proxy user on the matrix side per irc nick. But sometimes there is a bug where a user fails to join the matrix channel. Then all their messages don‘t make it to the matrix side. I have no clue how often this happens. But sometimes I can tell by weird monologues that look like they should be dialogues. |
| 2021-03-27 20:57:20 | <monochrom> | Oh! Aliasing. |
| 2021-03-27 20:57:56 | <maerwald> | Matrix is kinda awful |
| 2021-03-27 20:58:57 | <monochrom> | Err nevermind. Lost messages. |
| 2021-03-27 20:59:36 | <monochrom> | But it really was a monologue in the curl case. |
| 2021-03-27 20:59:58 | <monochrom> | Anyone who want them banned, just let me know. >:) |
All times are in UTC.