julia-vim VS StaticCompiler.jl

There's a handy Vim plug-in for Julia that will convert latex commands to symbols so it's a one character difference for a pretty notable improvement to readability when you start to get into longer equations.

Nowadays during my master thesis does lots of equations appear in my python code, but I would love to use tex rendering in some way, like latex preview in emacs. However, I know that there is some great latex rendering such as tex-conceal.vim and latex_to_unicode in julia-vim, but I am not able to make it work for python comments. Any idea on how to solve this?

There is a plugin I tried which is called julia-vim. However, this plugin is too broken for me. It conflicts with other completion plugins which makes it so hard to either fix or manage my configuration and keymaps. Fortunately, I found cmp-latex-symbols, a completion plugin that as described in the README

I use Git and plain text files. The Julia addon for Vim allows one to write UTF-8 math symbols with LaTeX commands.

I use julia.vim for unicode support. I find it a bit more responsive than agda-vim, and it has more symbols (the list is autogenerated). but I have two gripes with it:

Ideally, yes, I want to use LSP in order for it to work as close as possible from my nvim with julia-vim, coc.nvim and vim-julia-cell. At least until I'm more familiarized with Emacs. I really do want to learn, but I cannot just stop my daily work, so the best world possible would be to be able to keep working while learning.

I use vim+vim_slime along with the julia plugin configured with tab latex to unicode conversion. This means I can have a REPL open in a split vim buffer and send chunks from my script directly to the REPL. It's really lightweight and fast. I'm working to make some functional snippets too.

Since I was still missing some more advanced Vim features, I did some search and now have a pretty decent terminal based environment. The base is Tmux + Neovim- I open 2 panes, where one is used for coding and the other is Julia REPL. I use julia-vim plugin for base syntax and code highlights and vim-slime with vim-julia-cell for live sending of the code from the Neovim to the REPL.

Yes, julia can be called from other languages rather easily, Julia functions can be exposed and called with a C-like ABI [1], and then there's also various packages for languages like Python [2] or R [3] to call Julia code.

With PackageCompiler.jl [4] you can even make AOT compiled standalone binaries, though these are rather large. They've shrunk a fair amount in recent releases, but they're still a lot of low hanging fruit to make the compiled binaries smaller, and some manual work you can do like removing LLVM and filtering stdlibs when they're not needed.

Work is also happening on a more stable / mature system that acts like StaticCompiler.jl [5] except provided by the base language and people who are more experienced in the compiler (i.e. not a janky prototype)

[1] https://docs.julialang.org/en/v1/manual/embedding/

[2] https://pypi.org/project/juliacall/

[3] https://www.rdocumentation.org/packages/JuliaCall/

[4] https://github.com/JuliaLang/PackageCompiler.jl

[5] https://github.com/tshort/StaticCompiler.jl

PackageCompiler, but it' s a fat runtime and not cross compile. A thin runtime is currently not possible without sacrifices for feature as https://github.com/tshort/StaticCompiler.jl.

https://github.com/tshort/StaticCompiler.jl/issues/59 Would working on this feasible?

I just read the project's documentation at https://github.com/tshort/StaticCompiler.jl. It does produce a "hello world" application that is only 8.4k in size 👍. I do like that it can work on Mac OS. Hopefully Windows support will come soon.

See https://github.com/tshort/StaticCompiler.jl

You're probably dancing around the edges of what [PackageCompiler.jl](https://github.com/JuliaLang/PackageCompiler.jl) is capable of targeting. There are a few new capabilities coming online, namely [separating codegen from runtime](https://github.com/JuliaLang/julia/pull/41936) and [compiling small static binaries](https://github.com/tshort/StaticCompiler.jl), but you're likely to hit some snags on the bleeding edge.

using StaticCompiler # `] add https://github.com/tshort/StaticCompiler.jl` to get latest master