필터 결과
7개정렬
9:25ENRichard Eisenberg: Using OCaml’s Coercion OperatorRichard Eisenberg · Jane StreetA practical tour of subtyping, polymorphic variants and private type abbreviations, with no runtime conversion cost.
9:14ENOCaml Local Function Types: Why Partial Application Can EscapeRichard Eisenberg · Jane StreetRichard Eisenberg uses a list-append example to show how a local argument changes the mode of a partially applied function in Jane Street’s OCaml compiler branch.
3:30ENRichard Eisenberg on Jane Street's OCaml ExperimentsRichard Eisenberg · Jane StreetJane Street's compiler team is exploring unboxed types, locality modes, and data-race-free parallelism to make OCaml's performance and memory management better suited to its needs.
8:52ENIntroducing Local Parameters in OCamlA demonstration of how Jane Street's experimental local mode restricts escaping values and makes function interfaces easier to reason about.
10:20EN
Lex Fridman팟캐스트 · 2명How C++ Is Standardized: Votes, Consensus and the Move to a Three-Year Release Cycle게스트 Bjarne Stroustrup · 진행자 Lex FridmanBjarne Stroustrup explains how the ISO committee works, why C++0x slipped to C++11, and how shorter cycles made C++14, C++17 and C++20 arrive on time.
10:24ENLex Fridman팟캐스트 · 2명Concepts: How C++ Finally Got Compile-Time Constraints on Templates게스트 Bjarne Stroustrup · 진행자 Lex FridmanBjarne Stroustrup explains what C++ concepts are, why they are real and shippable today, and why it took decades to get them right.
14:47ENLex Fridman팟캐스트 · 2명Build Your Own Types: What Bjarne Stroustrup Learned from Simula, Fortran and Lisp게스트 Bjarne Stroustrup · 진행자 Lex FridmanThe creator of C++ traces how Simula's user-defined types shaped his language, and why he builds for constrained, long-lived systems.