#ocaml — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ocaml, aggregated by home.social.
-
🚀 Oh joy, another #language mashup! #Coalton combines all your favorite parts of #Haskell, #OCaml, and #Lisp to create... well, something nobody asked for. 😂 Just what we needed: Common Lisp with a personality crisis. 🤔
https://coalton-lang.github.io/ #mashup #programming #humor #HackerNews #ngated -
🚀 Oh joy, another #language mashup! #Coalton combines all your favorite parts of #Haskell, #OCaml, and #Lisp to create... well, something nobody asked for. 😂 Just what we needed: Common Lisp with a personality crisis. 🤔
https://coalton-lang.github.io/ #mashup #programming #humor #HackerNews #ngated -
🚀 Oh joy, another #language mashup! #Coalton combines all your favorite parts of #Haskell, #OCaml, and #Lisp to create... well, something nobody asked for. 😂 Just what we needed: Common Lisp with a personality crisis. 🤔
https://coalton-lang.github.io/ #mashup #programming #humor #HackerNews #ngated -
🚀 Oh joy, another #language mashup! #Coalton combines all your favorite parts of #Haskell, #OCaml, and #Lisp to create... well, something nobody asked for. 😂 Just what we needed: Common Lisp with a personality crisis. 🤔
https://coalton-lang.github.io/ #mashup #programming #humor #HackerNews #ngated -
🚀 Oh joy, another #language mashup! #Coalton combines all your favorite parts of #Haskell, #OCaml, and #Lisp to create... well, something nobody asked for. 😂 Just what we needed: Common Lisp with a personality crisis. 🤔
https://coalton-lang.github.io/ #mashup #programming #humor #HackerNews #ngated -
Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
https://coalton-lang.github.io/
#HackerNews #Coalton #Lisp #Haskell #OCaml #programming #language #development
-
Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
https://coalton-lang.github.io/
#HackerNews #Coalton #Lisp #Haskell #OCaml #programming #language #development
-
Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
https://coalton-lang.github.io/
#HackerNews #Coalton #Lisp #Haskell #OCaml #programming #language #development
-
Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
https://coalton-lang.github.io/
#HackerNews #Coalton #Lisp #Haskell #OCaml #programming #language #development
-
Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
https://coalton-lang.github.io/
#HackerNews #Coalton #Lisp #Haskell #OCaml #programming #language #development
-
My first taste of Lean.
Numerical integration of the standard normal distribution - it feels more like a modern OCaml used as a general-purpose language.
-
We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
Bangalore FP May 2026 meetup -
We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
Bangalore FP May 2026 meetup -
We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
Bangalore FP May 2026 meetup -
We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
Bangalore FP May 2026 meetup -
We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
Bangalore FP May 2026 meetup -
The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Bangalore FP May 2026 meetup -
The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Bangalore FP May 2026 meetup -
The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Bangalore FP May 2026 meetup -
The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Bangalore FP May 2026 meetup -
The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Bangalore FP May 2026 meetup -
The #OCaml Weekly News for 2026-05-12 is out
-
The #OCaml Weekly News for 2026-05-12 is out
-
The #OCaml Weekly News for 2026-05-12 is out
-
The #OCaml Weekly News for 2026-05-12 is out
-
The #OCaml Weekly News for 2026-05-12 is out
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
The #OCaml Weekly News for 2026-05-05 is out
-
The #OCaml Weekly News for 2026-05-05 is out
-
The #OCaml Weekly News for 2026-05-05 is out
-
The #OCaml Weekly News for 2026-05-05 is out
-
The #OCaml Weekly News for 2026-05-05 is out
-
Is anyone going here this weekend? Agda is one of the most innovative game changers in functional programming and theorem proving, given its unique implementation architecture and capabilities. I'd like to meet you there! π🐫λ #CubicalAgda #Rocq #OCaml #Haskell types2026.cse.chalmers.se
TYPES 2026: TYPES 2026 -
The #OCaml Weekly News for 2026-04-28 is out
