Logs: liberachat/#haskell
| 2021-05-31 02:52:29 | int-e | keeps dropping letters recently, meh. |
| 2021-05-31 02:53:02 | <dy> | Axman6: from a Scala library but this chart is language agnostic and neat |
| 2021-05-31 02:53:04 | <dy> | https://github.com/precog/matryoshka/blob/master/resources/recursion-schemes.pdf |
| 2021-05-31 02:53:53 | <dy> | Stolen from one of edwardk's blog posts |
| 2021-05-31 02:55:04 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-05-31 03:00:32 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-31 03:02:39 | <arahael> | Is there an easy way for me to list all the licenses that my project uses? |
| 2021-05-31 03:02:41 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-31 03:02:55 | <arahael> | Including transitively. |
| 2021-05-31 03:03:42 | <Axman6> | There are definitely ways to do that... there's a package for command line args and configuration handling which does it automatically, I'll find it |
| 2021-05-31 03:06:20 | ← | justsomeguy parts (~justsomeg@user/justsomeguy) (WeeChat 3.0.1) |
| 2021-05-31 03:08:06 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Remote host closed the connection) |
| 2021-05-31 03:08:17 | <davean> | Axman6: yes, cabal license check |
| 2021-05-31 03:08:24 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-31 03:09:24 | <arahael> | davean: That's not a recognised command. |
| 2021-05-31 03:09:26 | → | Guest417 joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-31 03:10:20 | <Axman6> | https://hackage.haskell.org/package/configuration-tools is what I've used in the past, it's much more than just alicense check, but you could just use it for that |
| 2021-05-31 03:11:08 | <Axman6> | if you scroll to the bottom you can see the output it gives |
| 2021-05-31 03:11:31 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-31 03:12:18 | → | doyougnu joins (~user@c-67-168-253-231.hsd1.or.comcast.net) |
| 2021-05-31 03:12:56 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-05-31 03:16:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-31 03:18:17 | → | otto_s_ joins (~user@p5de2fbac.dip0.t-ipconnect.de) |
| 2021-05-31 03:18:32 | → | ru0mad joins (~ruomad@176.164.105.224) |
| 2021-05-31 03:18:59 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-31 03:19:36 | × | ru0mad quits (~ruomad@176.164.105.224) (Client Quit) |
| 2021-05-31 03:20:04 | → | ru0mad joins (~ruomad@176.164.105.224) |
| 2021-05-31 03:20:18 | → | ikex joins (~ash@user/ikex) |
| 2021-05-31 03:21:21 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-31 03:21:43 | × | otto_s quits (~user@p5de2f103.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2021-05-31 03:21:45 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-05-31 03:23:57 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2021-05-31 03:24:11 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-05-31 03:25:15 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-05-31 03:28:34 | × | smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-05-31 03:31:21 | × | Erutuon quits (~Erutuon@71-34-10-193.mpls.qwest.net) (Ping timeout: 268 seconds) |
| 2021-05-31 03:31:25 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Quit: /ragequit) |
| 2021-05-31 03:32:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-05-31 03:33:34 | → | a6a45081-2b83 joins (~aditya@106.212.79.20) |
| 2021-05-31 03:37:46 | → | bilegeek joins (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) |
| 2021-05-31 03:39:50 | × | mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-05-31 03:40:30 | → | hexology joins (~hexology@user/hexology) |
| 2021-05-31 03:41:00 | → | Erutuon joins (~Erutuon@71-34-10-193.mpls.qwest.net) |
| 2021-05-31 03:42:18 | × | radw quits (~radw@user/radw) (Ping timeout: 264 seconds) |
| 2021-05-31 03:44:05 | × | ru0mad quits (~ruomad@176.164.105.224) (Ping timeout: 264 seconds) |
| 2021-05-31 03:45:03 | → | ru0mad joins (~ruomad@176.164.105.224) |
| 2021-05-31 03:48:31 | <edwardk> | dy: is it just me or is the fact that that chart substitutes things with arrows in themon the left hand side of the arrow without respect for precedence disturbing? the algebras are all things that in that position would be pairs but are shown as arrows. (f a -> a) -> (f ~> f) -- etc. |
| 2021-05-31 03:49:37 | → | radw joins (~radw@user/radw) |
| 2021-05-31 03:52:23 | × | alx741 quits (~alx741@186.178.108.160) (Quit: alx741) |
| 2021-05-31 03:52:39 | × | ru0mad quits (~ruomad@176.164.105.224) (Ping timeout: 265 seconds) |
| 2021-05-31 03:54:52 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-05-31 03:56:25 | <dy> | edwardk: not just you haha |
| 2021-05-31 03:56:38 | × | renzhi quits (~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 268 seconds) |
| 2021-05-31 03:56:41 | <dy> | But it's Scala what do you expect :^p |
| 2021-05-31 04:02:19 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-05-31 04:02:38 | × | hendursaga quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-05-31 04:03:05 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-05-31 04:06:59 | <arahael> | Axman6: Thanks for that. |
| 2021-05-31 04:07:34 | <arahael> | Axman6: Unfortunately a bit raw, I think I'll do it by hand this time. (It's just a quick weekend script, effectively) |
| 2021-05-31 04:07:54 | → | rk04 joins (~rk04@user/rajk) |
| 2021-05-31 04:08:56 | → | ru0mad joins (~ruomad@176.164.105.224) |
| 2021-05-31 04:09:35 | <hololeap> | I think you know that you're in the weeds when you start making type-level rose trees and type families that can map over them |
| 2021-05-31 04:10:02 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-05-31 04:13:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-31 04:20:13 | × | noddy quits (~user@user/noddy) (Quit: WeeChat 3.1) |
| 2021-05-31 04:20:32 | → | noddy joins (~user@user/noddy) |
| 2021-05-31 04:25:00 | × | ru0mad quits (~ruomad@176.164.105.224) (Ping timeout: 268 seconds) |
| 2021-05-31 04:25:48 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-31 04:31:35 | × | ryantrinkle quits (~ryan@24.229.199.25.res-cmts.sm.ptd.net) (Ping timeout: 252 seconds) |
| 2021-05-31 04:31:39 | → | ru0mad joins (~ruomad@176.164.105.224) |
| 2021-05-31 04:33:02 | × | ikex quits (~ash@user/ikex) (Ping timeout: 268 seconds) |
| 2021-05-31 04:33:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-31 04:36:32 | × | ru0mad quits (~ruomad@176.164.105.224) (Ping timeout: 252 seconds) |
| 2021-05-31 04:36:43 | → | lu joins (~lu@user/lu) |
| 2021-05-31 04:39:21 | nerdy | is now known as np |
| 2021-05-31 04:39:33 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-05-31 04:40:07 | × | ddellacosta quits (~ddellacos@86.106.121.222) (Remote host closed the connection) |
| 2021-05-31 04:42:30 | × | rk04 quits (~rk04@user/rajk) (Quit: Client closed) |
| 2021-05-31 04:42:47 | <hololeap> | I'm trying to make a class function `toFieldTree :: Data.Tree.Tree (n -> s -> Brick.Forms.FormFieldState s e n)` |
| 2021-05-31 04:42:51 | → | rk04 joins (~rk04@user/rajk) |
| 2021-05-31 04:43:03 | <hololeap> | the problem is that the `s` and `n` type variables are unique in each node of the tree, but need to compose with their parents |
| 2021-05-31 04:43:13 | <hololeap> | the only way that I can see to do this is to have a heterogeneous Tree which carries type-level Trees for both `s` and `n`. this way each node has its own `s` and `n` and also knows that of its children, etc. |
| 2021-05-31 04:43:56 | × | xkapastel quits (uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-31 04:44:48 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-31 04:45:05 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 2021-05-31 04:45:25 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-31 04:45:53 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-05-31 04:46:25 | × | fosskers quits (~colin@S0106f0f249642f53.vn.shawcable.net) (Remote host closed the connection) |
| 2021-05-31 04:51:45 | → | leeb joins (~leeb@KD111239155018.au-net.ne.jp) |
| 2021-05-31 04:56:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-31 04:57:06 | × | ornxka quits (~ornxka@user/ornxka) (Quit: ornxka) |
| 2021-05-31 04:57:21 | → | favonia_ joins (~favonia@user/favonia) |
| 2021-05-31 05:04:16 | → | petersen joins (~juhp@bb219-75-40-154.singnet.com.sg) |
| 2021-05-31 05:05:17 | × | hexology quits (~hexology@user/hexology) (Quit: hex on you ...) |
| 2021-05-31 05:05:55 | → | hexology joins (~hexology@user/hexology) |
| 2021-05-31 05:08:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-31 05:09:51 | → | ru0mad joins (~ruomad@176.164.105.224) |
| 2021-05-31 05:11:00 | × | ru0mad quits (~ruomad@176.164.105.224) (Client Quit) |
| 2021-05-31 05:11:26 | → | ru0mad joins (~ruomad@176.164.105.224) |
| 2021-05-31 05:16:08 | → | ddellacosta joins (~ddellacos@86.106.143.209) |
All times are in UTC.