OCaml VS Kotlin

OCaml Reviews

Kotlin Reviews

OCaml mentions (30)

• Bringing more sweetness to ruby with sorbet types 🍦

  If you have been in the Ruby community for the past couple of years, it's possible that you're not a super fan of types or that this concept never passed through your mind, and that's totally cool. I myself love the dynamic and meta-programming nature of Ruby, and honestly, by the time of this article's writing, we aren't on the level of OCaml for type checking and inference, but still, there are a couple of nice... - Source: dev.to / 8 months ago

• Notes about the ongoing Perl logo discussion

  An amazing example is Ocaml lang logo / mascot. It might be useful to talk with them to know what was the process behind this work. The About page camel head on Perl dot org header is also a pretty good example of simplification, but it's not a logo, just a friendly illustration, as the O'Reilly camel is. Another notable logo for this animal is the well known tobacco industry company, but don't get me started on... - Source: dev.to / 10 months ago

• What can Category Theory do?

  Haskell and Agda are probably the most obvious examples. Ocaml too, but it is much older, so its type system is not as categorical. There is also Idris, which is not as well-known but is very cool. Source: 11 months ago

• Key takeways from OpenAI CEO's 3-hour Senate testimony, where he called for AI models to be licensed by US govt. Full breakdown inside.

  NEAT is a fascinating algorithm. I've been interested in it ever since SethBling made a video about it playing Mario and this series of experiments about a variant of NEAT that evolves in real-time rather than by-generation. I'm finally getting to be just good enough of a programmer that I am actually considering writing my own (probably in OCaml because there's an unfortunate lack of NEAT implementations in... Source: 12 months ago

• So Hows the Hackathon Going?

  Easier than haskell and easier for writing compilers: https://ocaml.org/. Source: about 1 year ago

Kotlin mentions (75)

• Moving your bugs forward in time

  ‍For the rest of this post I’ll list off some more tactical examples of things that you can do towards this goal. Savvy readers will note that these are not novel ideas of my own, and in fact a lot of the things on this list are popular core features in modern languages such as Kotlin, Rust, and Clojure. Kotlin, in particular, has done an amazing job of emphasizing these best practices while still being an... - Source: dev.to / 3 days ago

• Implementing an Auto-logout Feature for Android in Kotlin

  A basic understanding of Kotlin and programming in general (OOP). - Source: dev.to / about 1 month ago

• Kotlin and Azure Functions - Automating the deployment

  Being somewhat allergic to coding in Java (this is a personal thing, if you like Java then good for you) I decided to try out writing the code using Kotlin from JetBrains instead. I'm already using IntelliJ as I work with Apache Spark using Scala, so the tooling was already there and ready to go for this. - Source: dev.to / about 2 months ago

• 🎉 Kotlin Multiplatform is now STABLE!

  Congrats to our friends at Kotlin. 🚀 After years of growth and development, KMP reaches a pivotal milestone with 1.9.20. We’ve been on team Kotlin Multiplatform since day one, and the best is yet to come! Learn more 👉 https://touchlab.co/kotlin-multiplatform-is-stable. Source: 6 months ago

• Regarding Lenses, Prisms and Optics

  Another option could be to check out Kotlin. It's a JVM language that while still object-oriented has may functional syntax features. Source: 7 months ago