Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →

Résultats

6 articles
Trier
5 diapositives1:08:43EN
Jane Street· 19 mars 2018Ron Minsky on Types and Why They Matter in SoftwareYaron Minsky · Jane StreetType systems can make programs faster, catch mistakes and guide large refactorings, but their value depends on the language and the work. Ron Minsky explains the trade-offs through practical examples.Programming LanguagesSoftware engineeringWorkflows de développement et tests
3 diapositives1:09:24EN
Jane Street· 5 avr. 2016Yaron Minsky on Effective ML: Writing OCaml for Code ReadersYaron Minsky · Jane StreetPractical lessons from Jane Street on using types, interfaces and abstraction to keep a large OCaml codebase understandable and correct.Programming LanguagesSoftware engineeringCode review & verification+1
3 diapositives1:06:39EN
Jane Street· 31 mars 2016Why Jane Street Uses OCamlYaron Minsky · Jane StreetA Jane Street talk explains how functional programming and static types support reliable trading software, and examines the costs of choosing a less common language.Programming LanguagesSoftware engineeringDeveloper productivity+1
2 diapositives1:04:56EN
Jane Street· 31 mars 2016Yaron Minsky on Incremental: From Research Idea to Production LibraryYaron Minsky · Jane StreetA history of the algorithms, memory problems and performance tradeoffs behind Jane Street’s OCaml library for self-adjusting computations.Programming LanguagesSoftware engineeringDeveloper productivity
3 diapositives1:12:41EN
Jane Street· 31 mars 2016Ron Minsky on Trading, Correctness and Jane Street’s Shift to OCamlYaron Minsky · Jane StreetA Jane Street technologist explains the market-making business and why readability, types and predictable performance shaped the firm’s choice of OCaml.Programming LanguagesSoftware engineeringInvesting
5 diapositives51:35EN
Jane Street· 31 mars 2016Yaron Minsky on Effective ML: Interfaces, Invariants and Code ReadersYaron Minsky · Jane StreetIn the first part of a 2011 Harvard lecture, Jane Street’s Yaron Minsky shows how OCaml interfaces and types can make long-lived code easier to understand and change.Programming LanguagesSoftware engineeringCode review & verification