Ionide Reviews

GitHub Codespaces Reviews

Ionide mentions (5)

• Is there a modern IDE with good support for OCaml?

  I'd love to see something similar to Microsoft's Ionide project or for JetBrains to invest in IDE support. Source: almost 3 years ago

• Why OCaml?

  > Pretty good, https://ionide.io It pains me to admit it because I really like F# but, with due respect to the developers, Ionide and its related projects are the most unstable toolchain I've ever used. Spend half a day reloading the editor because the extension keeps hanging on non-trivial MSBuild only to discover that the formatter has truncated in half one of the files you worked on due to a soundness bug.... - Source: Hacker News / about 3 years ago

• Why OCaml?

  The DarkLang project was originally written in OCaml and was recently ported to F# (https://blog.darklang.com/new-backend-fsharp/) > How much work would it take in term of code rewriting? There are definitely code changes required, but I think those are quite manageable as concepts mostly map 1:1 from OCaml to F#. > can it compile to native code? Yup,... - Source: Hacker News / about 3 years ago

• Rust Is Hard, Or: The Misery of Mainstream Programming

  F# doesn't have a hard dependency on vscode. Resources from MS will obviously encourage using MS tooling, but ionide [1] is really good. The lsp+neovim workflow is not as good but getting better. [1] https://ionide.io/. - Source: Hacker News / over 3 years ago

• Web Scrapping with F#

  Once we have our dependencies ready, we can start digging in with the code in VSCode using Ionide, Rider or Visual Studio. - Source: dev.to / about 4 years ago

GitHub Codespaces mentions (149)

• Stop Wasting Hours on Environment Setup - These Tools Will Save Your Sanity

  GitHub Codespaces - Cloud development. - Source: dev.to / 3 months ago

• VSCode's SSH Agent Is Bananas

  https://github.com/features/codespaces All you need is a well-defined .devcontainer file. Debugging, extensions, collaborative coding, dependant services, OS libraries, as much RAM as you need (as opposed to what you have), specific NodeJS Versions — all with a single click. - Source: Hacker News / 8 months ago

• GitHub Workflows: The First Line of Defense

  For this week, our task was to automate everything: GitHub workflows for testing, linting, building, and error checking. Additionally, I set up a dev container that contributors can use in GitHub Codespaces for a fast, hassle-free setup. Finally, we were assigned to write tests for a classmate's project! - Source: dev.to / 11 months ago

• Dear AWS, how do I build & develop purely on AWS right now?

  As an alternative for Cloud9, you can use vscode.dev, which runs VS Code in the browser or other alternatives that are more integrated and personalized like gitpod.io or Github Codespaces. - Source: dev.to / about 1 year ago

• Ask HN: Any Recommendations Around Programming on an iPad?

  Check out GitHub Codespaces https://github.com/features/codespaces I have used it for learning C, Rust and Go. It even has a VSCode editor in the browser. It’s pretty easy to setup. Create a repo, add a hello_world.c, push the code, then in the UI press the green code option and select Create code space on main and then use the gcc from the terminal to compile... - Source: Hacker News / about 1 year ago