Notices tagged with ocaml

Programming Languages That Blew My Mind (2023)

https://yoric.github.io/post/programming-languages-that-blew-my-mind/

Discussions: https://discu.eu/q/https://yoric.github.io/post/programming-languages-that-blew-my-mind/

#assembly #erlang #java #ocaml #programming #rustlang

hihiiiiii~ nice to meetcha!!! here's my #introduction post!!

I'm a #trans gal (pronouns: she/her) from the UK (British-Indian to be specific ig)~

I'm also a PhD student (graduating August 2024) working on programming languages research (though I work in formal verification, brain too small :aqua_cry: to understand category theory)

I do a lot of #drawing (see my pfp!!!), like #anime and #manga, esp those with good trans representation + #yuri ofc (recss welcomeee!!). I also play video games, but I suck and my computer is a potat :blobbee_nom_potato: so can't play anything too intensive~ love indie gamess, rpgs esp!!!

Before my egg cracked, I guess I liked #programming and was obsessed with the #OCaml programming language? I even wrote my own #activitypub server in it~ (look up OCamlot!!), Nowadays I guess I like #Racket and #lisp, but tbh I don't do it much outside of work lol

I also do #gamedev on and off in my free time (the bg of my profile is a chara from a game I'm working on), but I've never finished a projectttt cause I keep on procrastinating tooo muchhh :aqua_cry:

Hehee happy to meetchaaa~~ hope to make new frens :NepHappy:

@NGIZero @EC_NGI great to see to have three #OCaml projects in that list :)

Waiting for @evan to finish his book so that I can write an #ActivityPub + #CalDAV powered calendar-centric social network ⏳

Current prime target language candidate: #OCaml 🐫

Compiler Development: Rust or OCaml?

https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html#appendix-getting-started-with-ocaml

Discussions: https://discu.eu/q/https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html%23appendix-getting-started-with-ocaml

#compsci #ocaml #plt #programming #programminglanguages #rustlang

This is ported over from my old qoto.org instance (and shortened... no 65K char limit luxury here). I used to be @alecui

#introduction #intro #introductions

Hi! o/

I am Ștefan (ș as sh, I also accept Stephan or the equivalent in your language). I’m 21 years old, ♑, he/him, proud #leftist and soon to graduate CS @ UVABc. Sort of proudly living in #romania. My native language is Romanian, fairly proficient at English, slowly learning #finnish (and #italian).

Tried a lot of programming languages in my childhood up until now, a non-chronological list of ones that stuck with me for one reason or another being: VB6 (that’s what I started on at 8 years old), #pascal (+ #freepascal and #delphi), #perl (+ #raku), #tcl #tcltk, #lisp (usually #scheme, on a good day #elisp #emacslisp and #commonlisp), #elixir, #php, #forth, #lua, #oberon, #modula-2, #cpp #c++, #ocaml, #fsharp, #smalltalk (+ #squeak #pharo #self), #ada, #powershell, #dart, #matlab, #rlang, #zig, #nim, #cobol and #julia. I’m flexible in learning new languages and technologies if needed.

I also do #sudoku and #math for fun (especially functional equations and number theory problems, sometimes calculus and geometric algebra). I am interested in #linguists, #conlangs (#lojban and #esperanto) and #nlp, contemporary (post-‘45, usually post-‘89 for me) history, #balkan history, lower-level stuff (I like to learn about how tools around me work, I’m most interested in #compilers, #emulators and #microcontrollers), #typography and #texlatex, #linux + #bsd, #msdos, #amiga, #oberon, #plan9, #philosophy, #astronomy (especially in a worldbuilding context) and #philosophy, along with other less notable interests.

Nazis and fascists can have a merry fuck off, DNI with me. I am also a spiritual person, a #deist and I find #astrology and #tarot interesting.

I hope I'm welcome here!

A concrete, clear and motivated example for a #GADT in #OCaml:

mads-hartmann.com/ocaml/2015/0…

#introduction

Heyo!

My name is Sofie, and I love building things so it is nicer and easier to use!

I touch on subjects such as #nixos, #sysadmin, and how to generally make your life easier running servers.

I also love trying out a lot of different programming languages, big ones being #Rust, #Ocaml, and #Ruby right now!

My current pet project is https://github.com/imsofi/phenix

In my free time I also enjoy #boardgames and #radiocontrol.

Good to see you! :ablobfoxbongo:

40歳から始める関数型言語、OCaml - すぎゃーんメモ
https://memo.sugyan.com/entry/2023/04/13/225648
#ocaml

@alecui@yqoto.org I am also interested in a functional language for microcontrollers and am looking into Modern Compiler Implementation in ML by Andrew Appel https://www.cs.princeton.edu/~appel/modern/ml/ #standardml #compiler #ocaml

So delighted to have first-class CO2 emissions metrics integrated into the #OCaml multiarch cluster, thanks to @patricoferris . Next: taking scheduling decisions on big build jobs based on when energy is greenest

Hey #ocaml people (I guess #fsharp and #StandardML peeps are invited too!) What tutorials/resources/books/whatever could you recommend me for making a programming language? (ideally not just a parser, but including the backend bits like optimization and all that)? Of course, in ML or dialects if possible. I am sick and tired of *lox clones from Crafting Interpreters, I want an actual compiler.

I’d also highly appreciate if you could point me to resources that also go through how to create bytecode since that’s what I currently need right now. Other languages are appreciated too. Boost this around if you so wish