Logs: liberachat/#haskell
| 2025-08-25 18:58:46 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-08-25 18:59:46 | → | Guest60 joins (~Guest60@2600:1700:f030:6350:dccf:3655:2e20:a59e) |
| 2025-08-25 19:00:02 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-08-25 19:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-08-25 19:01:07 | × | Guest60 quits (~Guest60@2600:1700:f030:6350:dccf:3655:2e20:a59e) (Client Quit) |
| 2025-08-25 19:02:50 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-08-25 19:04:07 | jmcantrell_ | is now known as jmcantrell |
| 2025-08-25 19:04:38 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-08-25 19:06:32 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-08-25 19:08:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 19:13:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 19:15:21 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 258 seconds) |
| 2025-08-25 19:17:48 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-25 19:20:36 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-25 19:22:30 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 19:24:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 19:27:16 | × | kuribas quits (~user@2a02-1810-2825-6000-9d64-b409-acec-ff0c.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-08-25 19:28:40 | × | manwithluck quits (~manwithlu@2a09:bac5:5083:2432::39b:8d) (Ping timeout: 256 seconds) |
| 2025-08-25 19:28:41 | → | tromp joins (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) |
| 2025-08-25 19:29:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 19:29:23 | × | tromp quits (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) (Client Quit) |
| 2025-08-25 19:30:32 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-08-25 19:31:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) |
| 2025-08-25 19:34:54 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 258 seconds) |
| 2025-08-25 19:36:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-25 19:38:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 19:45:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 19:48:30 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-08-25 19:54:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-08-25 19:55:00 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 256 seconds) |
| 2025-08-25 19:55:08 | → | hakutaku_ joins (~textual@chen.yukari.eu.org) |
| 2025-08-25 19:56:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 19:57:16 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-08-25 20:01:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 20:12:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 20:17:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 20:23:14 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-08-25 20:27:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 20:30:48 | × | Square2 quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-08-25 20:32:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 20:38:32 | → | zarakshR joins (~Thunderbi@0542a05a.skybroadband.com) |
| 2025-08-25 20:38:52 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-08-25 20:39:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 20:40:47 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-08-25 20:41:13 | → | Fletter joins (~halloy841@user/Fletter) |
| 2025-08-25 20:41:52 | × | hook54321 quits (sid149355@user/hook54321) (Server closed connection) |
| 2025-08-25 20:43:08 | → | hook54321 joins (sid149355@user/hook54321) |
| 2025-08-25 20:43:52 | × | Fletter quits (~halloy841@user/Fletter) (Quit: Fletter) |
| 2025-08-25 20:44:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 20:45:10 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-25 20:45:24 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-25 20:47:33 | × | JamesMowery17736 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-08-25 20:50:04 | <haskellbridge> | <magic_rb> Can i use TH functions, to generate haskell code at runtime and then compile at runtime with ghc? |
| 2025-08-25 20:50:55 | <haskellbridge> | <magic_rb> I want to do transpiling from individual nix files into haskell using TH and then compile the resulting AST into bytecode/machine code. Stitch it together and run the whole tree of nix/haskell modules |
| 2025-08-25 20:55:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 20:59:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 21:01:27 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-25 21:01:44 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 2025-08-25 21:03:44 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (Server closed connection) |
| 2025-08-25 21:03:55 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 2025-08-25 21:06:17 | → | sprotte24 joins (~sprotte24@p200300d16f22e400a41ef76cad8884a0.dip0.t-ipconnect.de) |
| 2025-08-25 21:06:26 | <geekosaur> | you probably want the hint package |
| 2025-08-25 21:06:46 | <geekosaur> | TH won't do this (it's compile time), you need ghc-as-a-library |
| 2025-08-25 21:08:25 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2025-08-25 21:10:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 21:14:44 | <haskellbridge> | <magic_rb> I know, im thinking if i can use TH to generate the AST since im familiar with it. Then take the Doc type, print it, shove that into hint |
| 2025-08-25 21:15:04 | <haskellbridge> | <magic_rb> (Or probably ghc as i may need lower level control) |
| 2025-08-25 21:15:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 21:16:13 | <geekosaur> | if you are able to generate the AST at compile time then you can just splice it and compile it then |
| 2025-08-25 21:16:47 | <geekosaur> | if you only know the nix files at runtime then TH won't help you |
| 2025-08-25 21:16:48 | <haskellbridge> | <magic_rb> No because i need to generate it piece by piece |
| 2025-08-25 21:17:00 | <haskellbridge> | <magic_rb> Why not? I can get Doc from TH |
| 2025-08-25 21:17:07 | <haskellbridge> | <magic_rb> And then show it, then hint it |
| 2025-08-25 21:17:14 | <haskellbridge> | <magic_rb> By th i dont mean the extension |
| 2025-08-25 21:17:19 | <haskellbridge> | <magic_rb> I mean the literal library |
| 2025-08-25 21:17:28 | <geekosaur> | how is TH, which runs at compile time, supposed to know about files only present at runtime? |
| 2025-08-25 21:18:10 | <haskellbridge> | <magic_rb> Because the template-haskell library is a library |
| 2025-08-25 21:18:19 | <haskellbridge> | <magic_rb> I can use it to produce a Doc value at runtime |
| 2025-08-25 21:18:38 | <haskellbridge> | <magic_rb> I see absolutely no reason why i cant run it at runtime |
| 2025-08-25 21:18:43 | <geekosaur> | that requires "TH" running at runtime instead of compile time |
| 2025-08-25 21:18:47 | <geekosaur> | which isn't possible |
| 2025-08-25 21:19:16 | <geekosaur> | what is possible is using ghc-as-a-library at runtime (which links all of ghc into your program) |
| 2025-08-25 21:19:24 | <geekosaur> | the hint package makes this easier |
| 2025-08-25 21:20:13 | jmcantrell_ | is now known as jmcantrell |
| 2025-08-25 21:20:30 | <geekosaur> | the reason you can't run it at runtime is that it runs during parsing of your program. you can't link in the library at runtime usefully because you don't have a GHC context to give it |
| 2025-08-25 21:20:48 | <haskellbridge> | <magic_rb> ghci> :t x |
| 2025-08-25 21:20:48 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/wajzBaqZbUJuSumxnuUkxUbI/vIjBGgZb82A (5 lines) |
| 2025-08-25 21:20:57 | <haskellbridge> | <magic_rb> That works manually |
| 2025-08-25 21:21:11 | <geekosaur> | unless you use ghc-as-a-library to create omne, but in that case you can also use that to compile your code |
| 2025-08-25 21:21:26 | <haskellbridge> | <magic_rb> Well ill have ghc as a lib anyway |
| 2025-08-25 21:22:10 | <geekosaur> | ghci is a special case, precisely because it's using ghc-as-a-library |
| 2025-08-25 21:22:42 | <geekosaur> | you *can* use TH that way, but it's kinda pointless when you can use ghc-lib directly |
| 2025-08-25 21:25:06 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 256 seconds) |
| 2025-08-25 21:25:41 | × | zarakshR quits (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 258 seconds) |
| 2025-08-25 21:25:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 21:26:29 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-25 21:27:23 | <haskellbridge> | <magic_rb> https://paste.tomsmeding.com/fyAwZnTL |
| 2025-08-25 21:27:43 | <haskellbridge> | <magic_rb> Works completely fine as id expect |
| 2025-08-25 21:29:01 | × | hakutaku_ quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 2025-08-25 21:29:27 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
All times are in UTC.