Logs: liberachat/#haskell
| 2021-06-14 14:30:51 | <dminuoso> | % f = Const Int '[Int, Char]; f = Const 10 |
| 2021-06-14 14:30:51 | <yahb> | dminuoso: ; <interactive>:35:17: error: parse error on input `Int' |
| 2021-06-14 14:31:06 | <dminuoso> | jumper149: Use '[Int, Maybe] |
| 2021-06-14 14:31:34 | <jumper149> | dminuoso: Where is '[] from? base? |
| 2021-06-14 14:31:43 | → | xff0x_ joins (~xff0x@2001:1a81:521f:1b00:13ff:1633:fd2e:2df7) |
| 2021-06-14 14:31:48 | <dminuoso> | GHC.TypeLits |
| 2021-06-14 14:32:02 | <tomsmeding> | :t \f a -> zipWith f a (tail a) -- Schrostfutz_ (you probably know this but just in case) |
| 2021-06-14 14:32:03 | <lambdabot> | (b -> b -> c) -> [b] -> [c] |
| 2021-06-14 14:32:10 | <dminuoso> | or mmm |
| 2021-06-14 14:32:31 | <Schrostfutz_> | larryba: Yeah, I tried that but didn't find anything installed by default |
| 2021-06-14 14:32:35 | <dminuoso> | jumper149: they should be available through -XDataKinds alone |
| 2021-06-14 14:32:45 | <nshepperd2> | jumper149: enable DataKinds, then you can use lists at type level. however type level lists are rarely what you want |
| 2021-06-14 14:32:49 | <Schrostfutz_> | tomsmeding: Yeah, I ended up just defining mapAdjacent as exactly that |
| 2021-06-14 14:33:43 | <dminuoso> | % f :: Const Int '[Char, Int]; f = Const 10 -- jumper149 |
| 2021-06-14 14:33:43 | <yahb> | dminuoso: |
| 2021-06-14 14:33:44 | <nshepperd2> | jumper149: they are spelled '[Int, String, Maybe ()], the initial ' is ghc syntax to take a data construct and make 'promote' it to type level |
| 2021-06-14 14:34:13 | <dminuoso> | jumper149: keep in mind that '[Int, Maybe] cant type check |
| 2021-06-14 14:34:26 | × | fishfinger quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Read error: Connection reset by peer) |
| 2021-06-14 14:34:28 | <dminuoso> | jumper149: Consider what the kind of that type list should be? |
| 2021-06-14 14:34:40 | <dminuoso> | Is it [Type]? Or [Type -> Type]? It cant be both. |
| 2021-06-14 14:34:45 | → | fishfinger joins (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) |
| 2021-06-14 14:35:05 | <jumper149> | dminuoso: Yeah, that's what I was trying to say :D |
| 2021-06-14 14:35:36 | <dminuoso> | jumper149: You can only have homogeneous type level lists, just like you can only have homogeneous value level lists. |
| 2021-06-14 14:35:53 | <jumper149> | dminuoso: YES! I think you misunderstood what I said x) |
| 2021-06-14 14:36:50 | × | hemlock quits (~hemlock@184.179.34.210) (Ping timeout: 252 seconds) |
| 2021-06-14 14:37:05 | → | hemlock joins (~hemlock@2607:fb90:96f5:984c:7052:59fe:eabe:ddfc) |
| 2021-06-14 14:39:37 | → | fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) |
| 2021-06-14 14:39:37 | × | azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-14 14:39:58 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-14 14:43:54 | → | azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) |
| 2021-06-14 14:44:42 | × | fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 272 seconds) |
| 2021-06-14 14:47:43 | × | Schrostfutz_ quits (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2021-06-14 14:48:09 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-14 14:49:55 | × | adios quits (~adios@244.92.151.186.static.intelnet.net.gt) (Quit: Client closed) |
| 2021-06-14 14:51:42 | → | spirgel_ joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-14 14:51:51 | × | hemlock quits (~hemlock@2607:fb90:96f5:984c:7052:59fe:eabe:ddfc) (Ping timeout: 244 seconds) |
| 2021-06-14 14:51:57 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-06-14 14:52:40 | → | hemlock joins (~hemlock@wsip-70-163-92-141.tu.ok.cox.net) |
| 2021-06-14 14:52:52 | → | shryke joins (~shryke@91.103.43.254) |
| 2021-06-14 14:53:34 | × | hemlock quits (~hemlock@wsip-70-163-92-141.tu.ok.cox.net) (Read error: Connection reset by peer) |
| 2021-06-14 14:53:53 | → | hemlock joins (~hemlock@wsip-70-163-92-141.tu.ok.cox.net) |
| 2021-06-14 14:55:26 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-14 14:56:06 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 2021-06-14 14:57:15 | × | hemlock quits (~hemlock@wsip-70-163-92-141.tu.ok.cox.net) (Read error: Connection reset by peer) |
| 2021-06-14 14:57:41 | → | ddellacosta joins (~ddellacos@86.106.121.204) |
| 2021-06-14 14:58:54 | <[exa]> | cabal question: why's there no x86_64 binary release for debian? (there's only ubuntu) |
| 2021-06-14 14:58:55 | → | hemlock joins (~hemlock@wsip-70-163-92-141.tu.ok.cox.net) |
| 2021-06-14 15:00:13 | <merijn> | because no one built it yet? |
| 2021-06-14 15:00:34 | <merijn> | Are you sure you can't just use the ubuntu binary? |
| 2021-06-14 15:00:57 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-14 15:01:11 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-14 15:01:59 | × | ddellacosta quits (~ddellacos@86.106.121.204) (Ping timeout: 244 seconds) |
| 2021-06-14 15:02:42 | <maerwald> | there's even a static one |
| 2021-06-14 15:02:42 | × | xff0x_ quits (~xff0x@2001:1a81:521f:1b00:13ff:1633:fd2e:2df7) (Ping timeout: 244 seconds) |
| 2021-06-14 15:02:49 | × | beka_ quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Read error: Connection reset by peer) |
| 2021-06-14 15:03:09 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-06-14 15:03:54 | → | xff0x_ joins (~xff0x@2001:1a81:521f:1b00:f01:e8ca:b853:4d4) |
| 2021-06-14 15:04:30 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-14 15:05:10 | × | arahael quits (~arahael@203-206-83-196.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2021-06-14 15:07:23 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-14 15:11:33 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-14 15:12:14 | × | fishfinger quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-06-14 15:12:43 | <jumper149> | I would like to use the type-level list to define instances of a type-class recursively. Having a base case for '[] and then an inductive case for (x ': xs). |
| 2021-06-14 15:13:28 | → | arahael joins (~arahael@203-206-95-53.tpgi.com.au) |
| 2021-06-14 15:14:28 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-14 15:14:29 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-14 15:15:34 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-14 15:16:54 | → | fishfinger joins (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) |
| 2021-06-14 15:16:57 | <jumper149> | Ignore that. Writing it down it all became clear to me :) |
| 2021-06-14 15:17:14 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-14 15:17:25 | edmundnoble_ | is now known as edmundnoble |
| 2021-06-14 15:18:14 | <DigitalKiwi> | janus: have you heard of wordpress? if you have then it's real simple to understand what a CRM is if you define the content of the cms to be relationships; another key difference is while wordpress is really good at some things; most notably being so customizeable that people (mis/ab)use it for everything they can think of (but not that they should, quite the contrary) dream of doing (but doing so badly), instead of reaching for more appropr |
| 2021-06-14 15:18:15 | <DigitalKiwi> | iate solutions. if one were so inclined you could even use wordpress to build a somewhat acceptable but probably overwhelmingly "meh" CRM! wordpress greatest strength is really a bit of a curse. now most CRM avoid this curse of being so easy to use that people use it when they shouldn't and instead focus on being so hard to use that it's rare they are used even for their intended purposes let alone correctly or willingly... /s |
| 2021-06-14 15:18:49 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-14 15:22:18 | × | zeenk quits (~zeenk@188.26.30.39) (Quit: Konversation terminated!) |
| 2021-06-14 15:23:20 | → | Schrostfutz_ joins (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de) |
| 2021-06-14 15:26:21 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-14 15:27:01 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-14 15:27:24 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-06-14 15:27:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) |
| 2021-06-14 15:27:43 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-14 15:28:52 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-14 15:29:09 | → | ddellacosta joins (~ddellacos@86.106.121.230) |
| 2021-06-14 15:29:34 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 244 seconds) |
| 2021-06-14 15:29:34 | × | argento quits (~argent0@168-227-96-51.ptr.westnet.com.ar) (Ping timeout: 244 seconds) |
| 2021-06-14 15:30:03 | → | iamarpandey joins (~iamarpand@110.235.238.174) |
| 2021-06-14 15:30:08 | → | nschoe joins (~quassel@2a04:cec0:10b8:624e:c4a3:2667:fa41:694c) |
| 2021-06-14 15:30:19 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-14 15:30:42 | <iamarpandey> | hello |
| 2021-06-14 15:30:46 | <iamarpandey> | how's everyone |
| 2021-06-14 15:31:27 | <shapr> | I'm pure and functional |
| 2021-06-14 15:31:32 | <shapr> | or something |
| 2021-06-14 15:31:33 | <DigitalKiwi> | i'm ok |
| 2021-06-14 15:31:38 | × | hemlock quits (~hemlock@wsip-70-163-92-141.tu.ok.cox.net) (Read error: Connection reset by peer) |
| 2021-06-14 15:31:53 | <Obo> | i'm not ok |
| 2021-06-14 15:32:01 | shapr | hugs Obo |
| 2021-06-14 15:32:12 | <Obo> | How do I return the hug? New to IRC |
| 2021-06-14 15:32:20 | <shapr> | Obo: you can use "/me hugs shapr" |
| 2021-06-14 15:32:30 | Obo | hugs shapr |
| 2021-06-14 15:32:34 | <shapr> | yay! |
All times are in UTC.