Ionide VS GitHub Codespaces

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: over 1 year 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 / over 1 year 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 / over 1 year 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 / almost 2 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 / almost 3 years ago

GitHub Codespaces mentions (142)

• Mastering Code Quality: Setting Up ESLint with Standard JS in TypeScript Projects

  If your team is using a Cloud Development Environment such as GitHub Codespaces, or Dev Containers such as Docker, you can even share the installation of dbaeumer.vscode-eslint with your teammates, via devcontainer.json. - Source: dev.to / 15 days ago

• Coding on tab s9 ultra

  Https://github.com/features/codespaces Currently, it is probably the most convenient for coding on mobile devices. Source: 6 months ago

• Learning Angular

  I am currently right now viewing Angular Essential Training (paid by my company but I have a personal Pluralsight) and using GitHub Codespaces for $4 a month to host the virtuals created for such coding/learning. Source: 6 months ago

• Amazon CodeCatalyst - Is it ready for the enterprise?

  I’m very interested in recent advancements in cloud-hosted development environments. GitHub Codespaces is the option I have the most experience with and the one I use more generally. With cloud-hosted development environments, your local machine becomes more of a thin client that facilitates access to the internet and the development environment. That is a considerable step toward enabling better education in... - Source: dev.to / 6 months ago

• Dev Containers: Open, Develop, Repeat...

  Dev Containers also power GitHub Codespaces, which allows you to have the same Dev Container experience in the Browser running in the Cloud! - Source: dev.to / 7 months ago