Elm, ReScript, F#, Ocaml, Scala… it’s just normal to name your types, then use them places. In fact, you’ll often create the types _before_ the code, even if you’re not really practicing DDD (Domain Driven Design). Yes, you’ll do many after the fact when doing functions, or you start testing things and decide to change your design, and make new types. Either way, it’s just “the norm”. You then do the other norms... - Source: dev.to / 8 months ago

Ocaml is still a wonderful language if you want to look into it, and Reason is still going strong as an alternate syntax for OCaml. With either OCaml or Reason you can compile to native code, or use the continuation of BuckleScript now called Melange. - Source: dev.to / about 1 year ago

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 / over 1 year ago

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 / almost 2 years ago

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: almost 2 years ago

Gotta admit, the author has a nice sense of eDSL https://picolisp.com/wiki/?taskDB. - Source: Hacker News / 3 months ago

It doesn't grow from cons cells, which some people think is crucial for an authentic Lisp. They also tend to exclude Clojure. I think maybe the Janet designers don't want to get bogged down in the language wars, and don't really care whether lispers enjoy their language or not. A language with Lisp in the name and cons cells that a purist might argue isn't an authentic Lisp is Picolisp, e.g. Because it has FEXPR:s... - Source: Hacker News / 3 months ago

Build your Apps in PicoLisp without an Android SDK "PilBox (`PicoLisp Box') is a generic Android App which allows to write Apps in pure PicoLisp, without touching Java, and without the need of an Android SDK. "You do not need to root your device. And - if you prefer - you do not need a separate development machine (PC or laptop): All can be done in a terminal on the device, and even in a Lisp REPL while the App is... - Source: Hacker News / 11 months ago

A similar thing happened in 2011 when the picolisp project published a 'ticker', something like a markov chain generating pages on the fly. https://picolisp.com/wiki/?ticker It's a nice type of honeypot. - Source: Hacker News / about 1 year ago

I love(d) PicoLisp. I have run Windows, Linux (many flavors on many machines), and MacOS, but my working OS is Windows, and I could not get the x64 PicoLisp running on Windows back then without using Cygwin or MinGW. I can run it on WSL[1], however, it still requires a POSIX environment. Is there a way to compile a Windows binary without the POSIX required for a working PicoLisp environment? I know it switched to... - Source: Hacker News / almost 2 years ago