최근 업데이트된 채널

선택하면 해당 채널만 표시모든 채널 보기 →

필터 결과

6개
정렬
슬라이드 5장1:08:43EN
Jane Street· 2018년 3월 19일Ron 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 engineering개발 워크플로와 테스트
슬라이드 3장1:09:24EN
Jane Street· 2016년 4월 5일Yaron 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장1:06:39EN
Jane Street· 2016년 3월 31일Why 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장1:04:56EN
Jane Street· 2016년 3월 31일Yaron 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장1:12:41EN
Jane Street· 2016년 3월 31일Ron 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장51:35EN
Jane Street· 2016년 3월 31일Yaron 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