Ionide Reviews

GTK 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 / about 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

GTK mentions (6)

• What GNOME needs to progress faster? (More contributors, money, better docs etc.)

  Wha? An example of a barebones GTK JavaScript app is right there on the front page. One click on the bindings link, will send you to the official GNOME-hosted GitLab repo for gjs, which in-turn, has links to official API documentation. Source: over 1 year ago

• GTK 4 & JavaScript - how to start?

  I think what is lacking is a kind of introduction similar to what you have written in your post now. Myself, I am totally new to GTK. I come as a user of Gnome. All I knew until today was that to develop applications for Gnome, preferably I should use something called GTK. And I heard so much about the recent version that came out - GTK 4. So I started to look for a Getting Started tutorial for GTK 4, to build... Source: about 2 years ago

• GTK 4 & JavaScript - how to start?

  BTW, I think the GTK team should really step up their game in terms of how to encourage new people into their ecosystem. Seeing that windows screenshot in the official tutorial makes me think I'm dealing with some old technology. Also, the official gtk.org has two separate tutorials that show very similar applications being built. Source: about 2 years ago

• CTA: We need Web Developers to Contribute to GNOME!

  Faces of GNOME Faces of GNOME is an initiative to create something similar to People of Mozilla / Mozillians which is a directory of active, current or past GNOME Contributors. Faces of GNOME (Current Demo HERE) aims to give a space for every GNOME Contributor, GNOME Foundation Member and more. It is being designed to showcase the list of current Maintainers, People that spoke at GNOME Conferences/Events, GNOME... Source: over 2 years ago

• Software Engineering student looking to get started developing apps on the pinephone

  My advice is to basically learn how to write GTK apps using Python. Source: over 2 years ago