OCaml Unboxed: An Exploration of Jane Street's Experiments with OCaml

preview_player
Показать описание
This video introduces the OCaml Unboxed series, which will dive into topics like local mode, unboxed types, and many more fun detours along the way. Join me, Richard Eisenberg, as we explore the frontiers of functional programming language design in OCaml!

Oxidizing OCaml blog posts:
  1. Jane Street
  2. Jane Street
  3. Jane Street Capital
  4. OCaml
  5. functional programming
  6. OCaml Unboxed
Рекомендации по теме
OCaml Unboxed: An 0:03:30

OCaml Unboxed: An Exploration of Jane Street's Experiments with OCaml

Inferring Locality in 0:22:27

Inferring Locality in OCaml | OCaml Unboxed

Introducing the OCaml 0:08:53

Introducing the OCaml Local Mode | OCaml Unboxed

Programming with OCaml's 0:14:36

Programming with OCaml's Local Mode | OCaml Unboxed

Stack Allocation with 0:11:07

Stack Allocation with Locals in OCaml | OCaml Unboxed

Annotating OCaml Variables 0:12:52

Annotating OCaml Variables and Returns with local_ | OCaml Unboxed

Memory allocation in 0:37:02

Memory allocation in OCaml and beyond

Playing Atari Games 1:13:16

Playing Atari Games in OCaml

David Allsopp, 'OPAM: 0:45:58

David Allsopp, 'OPAM: The OCaml Package Manager'

OCaml Workshop 2020 0:16:10

OCaml Workshop 2020 - A Declarative Syntax Definition for OCaml

Language Performance Comparisons 1:23:37

Language Performance Comparisons Are Junk

34C3 - How 0:28:40

34C3 - How can you trust formally verified software?

ML 2021 - 1:23:35

ML 2021 - Keynote: Narratives and Lessons from The Early History of F#

CUFP 2014: Building 0:21:53

CUFP 2014: Building data and time-series analytics tools for F# - Tomas Petricek

[ICFP'23] Grand Ballroom 9:41:53

[ICFP'23] Grand Ballroom 2

What is ReScript? 0:35:00

What is ReScript? A Deep Dive with Peter!

[ICFP'24] Green - 8:05:13

[ICFP'24] Green - ICFP Papers and Events (Sep 4th)

[ICFP'23] Grand Ballroom 8:38:00

[ICFP'23] Grand Ballroom 2

CS 201 BO 1:07:05

CS 201 BO DAI NOVEMBER 10 2020

In search of 1:06:00

In search of software perfection - 2016 Milner Award lecture by Dr Xavier Leroy.

Комментарии
Автор

"Performance is really predictable"

Haskell folks shaking rn.

Does branchless programming help (against branch mispredict inconsistency)?

Winium
Автор

ocaml is functional, so will be relatively easier to write elegant code and do the compiler do optimization specific to JaneS needs. at the end the machine code generated on the CPU that matters.

cryptodone
Автор

Interesting, but i couldn't understand how that changes the fact that computer memory break when you attempt to read and write the same variable at the same time.🤔🤔

edwardc.
Автор

I am currently 15 yo already started my basics in Ocaml, already have knowledge in fintech, risk analysis and will do much more...In 2028 u all will be interviewing me and i will be joyous to work st Jane Street my dream company❤️ I am Coming Soon, See you

anshuman