Assuming someone has Docker installed, which many do seem to these days. Also, I guess since K seems to be Dockerized here, a workaround to setting up K locally I guess would be just pull the Docker image and run it as a container.For code-sharing, one can use a tool like Git for example, or create a GitHub Gist if the idea is still in a very experimental stage.For compiling and running, the workaround for this is to just compile and run K locally - as is the state of the art today.Then perhaps more inline documentation/examples around using K-Notebooks could be hosted at said URL. K now supports interactive online literate programming via K-Notebooks, which allow users to simultaneously write, document, run and share K examples and projects all in the one place. Here is just a small example of what some documentation might look like leading users to use interactive K Notebooks, for example: There is an example link provided on that project but looks like it was just a POC and the link seems to be dead. It looks like this allows someone to host an online K IDE themselves, rather than providing the IDE-as-a-service, so to speak. There is an existing GitHub project called KWeb. For Java (and many other languages) there is TutorialsPoint, which allows users to write, compile, run, save and share code examples.These allow for a fully interactive literate programming experience without leaving your browser. For Python there are many examples but probably most notably Jupyter Notebooks.For C#, for example there’s dotnetfiddle - this allows C# code to be run in the browser and also for examples to be shared with a link.This has got syntax highlighting and an interactive scratchpad, but no ability to share links to examples from what I can tell. There are similar online IDEs/scratchpads/Noteboooks/compilers for other languages e.g. For example, if the online tool allowed people to create a to their scratchpads (like dotnetfiddle does, as just one example), these could be shared, giving recipients instant interactive access to an idea, without having to download/compile anything. Help existing users (even advanced ones) share interactive K examples.More engagement means a larger active community, and that can lead to better quality/popularity of the K-framework. In particular, Interactive Notebooks for literate programming would likely drive up engagement. Having an interactive scratchpad with zero setup cost may motivate more people to get involved in the language. Drive up engagement of newcomers to the K language.An interactive K-Notebook for literate-programming (similar to Jupyter Notebook for Python).Online-IDE features like syntax highlighting, autocompletion etc.The ability to save & share a scratchpad with others e.g.The most basic idea is just a scratchpad allowing someone to write/compile/run K code through their browser. There are various levels of sophistication possible. Expose an online “k-scratchpad” (or an online IDE / Notebooks environment) that one can visit within their browser and immediately start writing / compiling / running K code.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |