Notices tagged with ocaml
-
Embed this notice
Linux Walt (@lnxw37j1) {3EB165E0-5BB1-45D2-9E7D-93B31821F864} (lnxw37j1@gnusocial.jp)'s status on Wednesday, 08-May-2024 13:06:12 JST Linux Walt (@lnxw37j1) {3EB165E0-5BB1-45D2-9E7D-93B31821F864} #OCaml is on my list also. I'm also interested in SML, so I found it interesting that all the compilers you mentioned are things I've looked up within the past year or so. -
Embed this notice
Shakthi Kannan (shakthimaan@gnusocial.net)'s status on Monday, 01-Apr-2024 10:12:58 JST Shakthi Kannan Call For Papers (CFP) Announcement on OCaml Workshop 2024 at International Conference on Functional Programming (ICFP), September 7, 2024 Milan, Italy https://discuss.ocaml.org/t/ocaml-workshop-2024-at-icfp-announcement-and-call-for-proposals/14371 #OCaml #Learn @icfp_conference https://gnusocial.net/url/23730426 -
Embed this notice
hannes (hannesm@mastodon.social)'s status on Tuesday, 09-Jan-2024 13:12:52 JST hannes @NGIZero @EC_NGI great to see to have three #OCaml projects in that list :)
In conversation from mastodon.social permalink -
Embed this notice
Hippo 🍉 (badrihippo@fosstodon.org)'s status on Saturday, 30-Dec-2023 04:26:37 JST Hippo 🍉 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 🐫
In conversation from fosstodon.org permalink -
Embed this notice
Rust Weekly (rust_discussions@mastodon.social)'s status on Monday, 07-Aug-2023 04:48:27 JST Rust Weekly Compiler Development: Rust or OCaml?
#compsci #ocaml #plt #programming #programminglanguages #rustlang
In conversation from mastodon.social permalink Attachments
-
Embed this notice
chsh -s /usr/bin/pwsh $USER (a13cui@emacs.ch)'s status on Sunday, 23-Jul-2023 15:45:42 JST chsh -s /usr/bin/pwsh $USER 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!
In conversation from emacs.ch permalink Attachments
-
Embed this notice
clacke (clacke@libranet.de)'s status on Sunday, 23-Jul-2023 03:37:34 JST clacke A concrete, clear and motivated example for a #GADT in #OCaml:
In conversation from libranet.de permalink -
Embed this notice
Sofi :verified_gay: (soupglasses@hachyderm.io)'s status on Friday, 21-Jul-2023 20:03:04 JST Sofi :verified_gay: 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:
In conversation from hachyderm.io permalink Attachments
-
Embed this notice
sonota88@fedibird.com's status on Friday, 21-Jul-2023 20:02:29 JST sonota88 40歳から始める関数型言語、OCaml - すぎゃーんメモ
https://memo.sugyan.com/entry/2023/04/13/225648
#ocamlIn conversation from fedibird.com permalink Attachments
-
Embed this notice
axhixh (axhixh@mastodon.social)'s status on Wednesday, 05-Jul-2023 13:42:31 JST axhixh @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
In conversation from mastodon.social permalink Attachments
-
Embed this notice
Anil Madhavapeddy (avsm@amok.recoil.org)'s status on Wednesday, 31-May-2023 21:25:10 JST Anil Madhavapeddy 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
In conversation from amok.recoil.org permalink Attachments
-
Embed this notice
Alecu Ștefan-Iulian :verified: (alecui@qoto.org)'s status on Saturday, 27-May-2023 23:01:44 JST Alecu Ștefan-Iulian :verified: 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
In conversation from qoto.org permalink