nukifw

6 ms·

1.
Emacs, how it all started for me(xvw.lol)
157 points by nukifw 3mo ago|78 comments
2.
Bringing Emacs Support to OCaml's LSP Server with OCaml-Eglot(tarides.com)
34 points by nukifw 10mo ago|0 comments
3.
by nukifw 10mo ago
If you are interested, I think I adress this here https://xvw.lol/en/articles/why-ocaml.html#ocaml-and-f
4.
Indexing Coffee with Notion(xvw.lol)
6 points by nukifw 11mo ago|0 comments
5.
by nukifw 1y ago
In the `show_content` example, using first class modules: `module H : ...`. The type need to be specified and since module composition is hard, it leads to very verbose solution
6.
by nukifw 1y ago
We try to invest equal time between the OCaml platform (on VSCode) and OCaml-eglot (for Emacs). In fact, I find the VSCode extension to be rich (and generally iso-features with Emacs mode). However, I (as maintainer of OCaml-eglot) find Ema
7.
by nukifw 1y ago
For the first point, you are right. We start by a common (but very useful) feature. Since OCaml allows an infinite level of nesting (and different kind of structure item) it was still a bit of a challenge, mostly for finding the right UX. F
8.
by nukifw 1y ago
PRs are mentioned at the end of articles. It is possible to `pin` repositories locally on their different branches to experiment with them locally!
9.
by nukifw 1y ago
Nop, for the moment, we try to not "infer user usages"! But if you extract an expression with variable, there will be, obviously, not be repeated: let tau = let pi = 3.14 in pi + pi if we extract `pi + pi` i
10.
Improvements to OCaml code editing: the basics of a refactor engine(tarides.com)
99 points by nukifw 1y ago|18 comments
11.
Basic dependency injection in OCaml with objects(gr-im.github.io)
22 points by nukifw 1y ago|3 comments
12.
by nukifw 1y ago
- Extremely dated: we have almost one new release every six month and in recent releases, the language runtime has been changed and user-defined effects have been introduced. - No HKTs "in your sense" but: ```ocaml module typ
13.
by nukifw 1y ago
Ok! (BTW, thanks for the interaction!)
14.
by nukifw 1y ago
Yes and my point was, when you want what you present in the first comment, quoting my post, you have tools for that, available in OCaml. But there is cases, when you do not want to treat each branch of your constructors "as a type&quot
15.
by nukifw 1y ago
- You can use GADTs ( https://ocaml.org/manual/5.2/gadts-tutorial.html ) and indexes to give a concrete type to every constructors: ```ocaml type _ treated_as = | Int : int -> int treated_as | Float
16.
by nukifw 1y ago
Sorry, I never used ReasonML so I don't see any advantage of using ReasonML except it had the time to die twice in 4 years :)
17.
by nukifw 1y ago
Usually we speaking only about sum and product (because article usually refers to ADT, so Algebraic Data type). A function is not really Data, so it is not included. But you can use the same tricks (ie: a -> b has arity b^a) to compute t
18.
by nukifw 1y ago
Package description, but it use its own engine.
19.
by nukifw 1y ago
And the next milestone of Dune is to become an alternative package manager via Dune package Management, using a store in a "nixish" way.
20.
by nukifw 1y ago
There is a lot of work on Dune Package Management that will fix some legacy issues related to OPAM, https://dune.readthedocs.io/en/stable/tutorials/dune-package... !! Stay tuned!
21.
by nukifw 1y ago
Yes, the trick is expanded here: https://libres.uncg.edu/ir/asu/f/Johann_Patricia_2008_Founda... (if you have `Eq a b = Refl : a a eq` you should be able to encode every useful GADTs. But having a compiler su
22.
by nukifw 1y ago
In the specific case of OCaml, this is also possible using indexing and GADTs or polymorphic variants. But generally, referencing as its own type serves different purposes. From my point of view, distinguishing between sum branches often te
23.
by nukifw 1y ago
To be completely honest, I currently only use LLMs to assist me in writing documentation (and translating articles), but I know that other people are looking into it: https://anil.recoil.org/wiki?t=%23projects
24.
by nukifw 1y ago
Indeed, efforts should be made in terms of DAP ( https://microsoft.github.io/debug-adapter-protocol// ), extending the following experimentation: https://lambdafoo.com/posts/2024-03-25-ocaml-deb
25.
by nukifw 1y ago
Hi! Thank you for your interest (and for potentially reading this). Yes, F# is a very nice language, however, it seems to me that I am making a somewhat forced comparison between OCaml and F# in the following section: https://xvw
26.
OCaml as my primary language(xvw.lol)
384 points by nukifw 1y ago|285 comments
27.
by nukifw 1y ago
Yes, as I try to explain in the article (voluntary written in the sense of an archeologic exploration) the main point of frustration is the lack of explanation. Trying to deduce everything was hard, when I was 10 :)
28.
Editing OCaml code in Emacs using LSP(github.com)
3 points by nukifw 2y ago|0 comments
29.
Everything in OCaml, a blog generated and served in OCaml using MirageOS(blog.osau.re)
2 points by nukifw 4y ago|0 comments
30.
YOCaml – Yet another static blog generator written in OCaml(github.com)
1 points by nukifw 5y ago|0 comments

More ›