--- Day changed Tue Aug 04 2020 01:39 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 260 seconds] 01:59 -!- shesek [~shesek@unaffiliated/shesek] has quit [Remote host closed the connection] 02:04 -!- shesek [~shesek@unaffiliated/shesek] has joined ##miniscript 03:16 < shesek> is it correct to say that minsc compiles to miniscript, or is there some more accurate way to describe their relationship? 03:16 < shesek> myself and michaelfolkson were wondering about this. he posted the question on SE too: https://bitcoin.stackexchange.com/questions/98357/what-is-the-relationship-between-the-minsc-language-and-policy-language 03:17 -!- jonatack [~jon@37.165.201.85] has joined ##miniscript 03:20 < shesek> minsc has a runtime environment with state, dynamic scoping and side-effects. the runtime has a Policy datatype that's produced by evaluating the program 03:21 < michaelfolkson> Minsc -> Policy -> Miniscript. So you could say Minsc compiles to Miniscript because the Policy -> Miniscript step definitely is compilation. But what about Minsc -> Policy? 03:22 < darosior> shesek: hmm i thought you were translating the syntax 03:22 < shesek> since policy itself is purely declarative and all the stateful execution takes during "compilation" and doesn't get translated into policy, it seems strange to say that minsc compiles to miniscript. but I'm not really sure about the exact definitions here 03:23 < shesek> * takes place 03:24 < shesek> darosior, that would've been possible for the syntactic sugar features (infix notation, human readable durations etc), but not for things like let assignments or functions 03:25 < darosior> I'd have said "translates" rather than compiles as you translate the N minsc syntax for writing a policy element to the one policy element. But yeah, i'm not sure where to draw the line with a "compiler" either. 03:25 < darosior> Ok 04:13 -!- jonatack [~jon@37.165.201.85] has quit [Ping timeout: 246 seconds] 04:15 -!- jonatack [~jon@37.165.201.85] has joined ##miniscript 04:16 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has joined ##miniscript 04:30 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 04:31 -!- jonatack [~jon@37.165.201.85] has quit [Remote host closed the connection] 04:32 -!- jonatack [~jon@37.165.201.85] has joined ##miniscript 04:38 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has joined ##miniscript 04:47 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 04:56 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has joined ##miniscript 04:59 -!- jonatack [~jon@37.165.201.85] has quit [Read error: Connection reset by peer] 05:12 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 05:14 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has joined ##miniscript 05:20 -!- jeremyrubin [~jr@c-24-4-56-108.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 06:07 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 06:08 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has joined ##miniscript 06:19 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 06:49 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has joined ##miniscript 06:50 -!- dr-orlovsky [~dr-orlovs@2001:171b:c9ab:8170:9902:b65a:97f5:a014] has quit [Client Quit] 07:08 -!- jonatack [~jon@static-176-139-55-163.ftth.abo.bbox.fr] has joined ##miniscript 07:21 -!- jonatack [~jon@static-176-139-55-163.ftth.abo.bbox.fr] has quit [Ping timeout: 246 seconds] 07:23 -!- jonatack [~jon@37.171.160.77] has joined ##miniscript 08:00 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection] 08:01 -!- jonatack [~jon@37.171.160.77] has quit [Read error: Connection reset by peer] 08:02 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript 08:02 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection] 08:03 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript 08:29 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript 09:36 -!- jeremyrubin [~jr@2601:645:c200:f539:bd98:3c2c:9403:b8b3] has joined ##miniscript 12:54 < sanket1729> no strong opinions, but it would be good to have some consistent terms for these 12:55 < sipa> i don't think there is a well-defined difference between compilation and translation 12:56 < sipa> except maybe a subjective notion that compilation is more complex 12:57 < sanket1729> So far, in rust-miniscript have been using policy "compiles" to miniscript that be "encoded" into Script that can be "decoded" back to miniscript. 12:57 < jeremyrubin> perhaps a good terminology to stick to: compilation maybe 1 to many, translation 1 to 1? 12:57 < sipa> this is about mimsc to policy 12:57 < sipa> *minsc 12:59 < jeremyrubin> and maybe tack on that while both can have a function mapping from codomain to domain, only translation should be invertible 12:59 < jeremyrubin> *must be 12:59 < jeremyrubin> (it's not clear to me that invertibility is required though) 13:01 < jeremyrubin> because you can have an equivalence class within the language that translate to the same element but inverse-translate to any representative? 15:56 -!- Netsplit *.net <-> *.split quits: darosior, michaelfolkson, sanket1729, harding, shesek, midnight, instagibbs, jeremyrubin, helo, achow101, (+24 more, use /NETSPLIT to show all of them) 15:57 -!- Netsplit over, joins: shesek, RubenSomsen, elichai2, felixweis, digi_james, nothingmuch, darosior, michaelfolkson, kallewoof, jeremyrubin (+24 more) 16:56 -!- Davterra [~Davterra@c-73-221-225-225.hsd1.wa.comcast.net] has joined ##miniscript 16:57 -!- Tralfaz [~Davterra@2601:603:4f00:63d0::1] has joined ##miniscript 17:00 -!- Davterra [~Davterra@c-73-221-225-225.hsd1.wa.comcast.net] has quit [Ping timeout: 240 seconds] 17:30 -!- Tralfaz [~Davterra@2601:603:4f00:63d0::1] has left ##miniscript ["Leaving"] 18:51 -!- shesek [~shesek@unaffiliated/shesek] has quit [Remote host closed the connection] 19:21 -!- roconnor [~roconnor@host-184-164-27-203.dyn.295.ca] has quit [Ping timeout: 240 seconds] 19:28 -!- roconnor [~roconnor@host-184-164-27-203.dyn.295.ca] has joined ##miniscript 22:09 -!- shesek [~shesek@164.90.217.137] has joined ##miniscript 22:09 -!- shesek [~shesek@164.90.217.137] has quit [Changing host] 22:09 -!- shesek [~shesek@unaffiliated/shesek] has joined ##miniscript 23:48 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has quit [Ping timeout: 240 seconds] 23:49 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has joined ##miniscript