Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[pr to jr/arrow] Pluto notebook version of the tour #60

Closed
wants to merge 71 commits into from

Conversation

ericphanson
Copy link
Member

I converted the tour to a Pluto notebook to help me explore the PR and figured it might be useful:
🎈 tour_pluto.jl ⚑ Pluto.jl ⚑.pdf

(I committed the Manifest to keep the relative path from examples to Onda)

@ericphanson ericphanson changed the base branch from master to jr/arrow February 16, 2021 16:20
@jrevels
Copy link
Member

jrevels commented Feb 16, 2021

ooooh I like this idea.

I'm not a Pluto-er, so this might not be a good idea, but would it be possible to have only the original tour.jl + Manifest.toml actually checked-in and just provide a snippet that one can use to autogenerate a Pluto notebook if they'd like to go through it via Pluto? I'd like to keep the plain Julia file around just because it seems cleaner/easier to read outside of Pluto, but would be good not to have to maintain two copies.

Alternatively could keep the Pluto version checked-in, but just generate it via CI so we don't have to worry about it going out of sync.

@ericphanson
Copy link
Member Author

I think it would be possible to generate the Pluto notebook from the .jl file via fredrikekre/Literate.jl#120 when that's finished. One subtlety is I had to make some manual adjustments to variable names because in Pluto, you can't rebind the same variable in two different places (due to the reactive paradigm where there's supposed to be only a single simultaneously-valid global scope). So we could make those changes to the source and then autogenerate the Pluto file in CI and then test it doesn't error to ensure it stays valid.

Base automatically changed from jr/arrow to master February 20, 2021 00:03
@ericphanson
Copy link
Member Author

I'm going to close this because I think it'll just be a maintenance burden unless we figure out an automatic solution, and I'm hopeful the ecosystem will develop more tooling in that area that'll make that easier in the future and we can pick it up then.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants