Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Programming Language Design

Showing: 129 courses
University of Melbourne

Programming Languages - The Fundamental Tools of the Computer Age

0 rewiews
Explore the role of programming language research in developing reliable software, focusing on program validation, verification, and analysis techniques.
Add to list
14 Lesons
55 minutes
On-Demand
Free-Video
Devoxx

Postcards from the Peak of Complexity - Insights on Java Platform Evolution

0 rewiews
Explore Java's evolution through insights and war stories from Language Architect Brian Goetz, covering major features like generics, lambdas, and virtual threads.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
CppNow

This is C++ - Uncompromised Performance, Undefined Behavior, and Move Semantics

0 rewiews
Dive into C++'s superpower for uncompromised performance. Explore undefined behavior and move semantics to write better code and understand C++'s evolution, including current controversial issues.
Add to list
1 Lesons
1 hour 19 minutes
On-Demand
Free-Video
Write your own Operating System

Flex - Lexical Analysis

0 rewiews
Learn to use flex for lexical analysis in compiler construction, covering setup, syntax, and practical examples for tokenizing source code.
Add to list
19 Lesons
57 minutes
On-Demand
Free-Video
Association for Computing Machinery (ACM)

The Role of Computer Science in Computer Science Education

0 rewiews
Exploring computer science's role in CS education, addressing challenges and opportunities in curriculum design, language development, and accessibility for diverse learners.
Add to list
28 Lesons
1 hour 2 minutes
On-Demand
Free-Video
ChariotSolutions

Move Deliberately and Don't Break Anything: Lessons from Java Evolution

0 rewiews
Explore Java's evolution, challenges in language design, and future directions with insights on maintaining compatibility while adding new capabilities for millions of developers.
Add to list
18 Lesons
59 minutes
On-Demand
Free-Video
ChariotSolutions

Rust: A Language for the Next 40 Years

0 rewiews
Explore Rust's unique features, memory safety guarantees, and evolution through Editions. Discover its growing adoption in critical systems and its potential for the future of programming.
Add to list
21 Lesons
55 minutes
On-Demand
Free-Video
Rust

Trait Evaluation Caching in Rust - PR #85186

0 rewiews
Explore trait evaluation caching in Rust with Niko and Jack Huey as they explain PR #85186, diving into the intricacies of this performance optimization technique.
Add to list
1 Lesons
1 hour 9 minutes
On-Demand
Free-Video
Rust

Async Rust: Past, Present, and Future

0 rewiews
Explore async Rust's evolution, current state, and future developments. Understand design decisions, trade-offs, and ongoing improvements by the Async Working Group for better async programming.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
Rust

Imagining Introductory Rust - Considerations and Opportunities

0 rewiews
Explore the potential of Rust as a first programming language, discussing motivations, course structure, and challenges in teaching Rust to beginners.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
Rust

Teaching Rust and Code Recommendations for Beginners - RustEdu Workshop 2022

0 rewiews
Explore teaching Rust, student outcomes, and an AI-powered tool for suggesting code improvements to beginners learning the language.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Rust

Words from the Rust Core Team - Updates from the Rust Community

0 rewiews
Insights into Rust's community updates, development progress, and future plans from a core team member at RustCon Asia 2019.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
Rust

Making Rust Delightful - Ergonomics in Language Design

0 rewiews
Explore Rust's design philosophy, ergonomics, and decision-making process. Learn how language features balance ease of use with safety and performance, using real-world examples from Rust's development.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Rust

How the Chalk-Engine Crate Works in Rust

0 rewiews
Explore the inner workings and functionality of the chalk-engine crate in Rust programming, gaining insights into its design and implementation.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
Rust

Rust Region Inferencer Discussion - Async-Await Working Group

0 rewiews
Rust developers discuss region inferencer changes to address limitations, uncovering unexpected issues while exploring multiple unrelated lifetimes in existential types.
Add to list
1 Lesons
1 hour 7 minutes
On-Demand
Free-Video
Rust

Unsafe Code Guidelines in Rust - Lang Team Sync

0 rewiews
Explore Rust's Unsafe Code Guidelines progress, plans, and discussions on PR #58739. Gain insights into the language team's approach to managing unsafe code.
Add to list
1 Lesons
1 hour 3 minutes
On-Demand
Free-Video
Rust

Implementing RFC #2229: Disjoint Field Capture Plan - Rust Strategy and Roadmap

0 rewiews
Explore the implementation strategy for RFC #2229 in Rust, covering refactorings, independent tasks, and a roadmap for disjoint field capture.
Add to list
16 Lesons
56 minutes
On-Demand
Free-Video
Rust

The Symbiotic Relationship of C++ and Rust - RustConf 2019

0 rewiews
Explore the intertwined evolution of Rust and C++, their shared future, and the mutual influence on language design and community responsibility.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
Rust

The Rust 2018 Module System - Simplifying Crates and Modules

0 rewiews
Comprehensive overview of Rust 2018's new module system, exploring its motivations, practical impacts, and future enhancements for both novice and experienced Rust developers.
Add to list
15 Lesons
34 minutes
On-Demand
Free-Video
Rust

Rust Shared State Code Review - Analyzing Initial Audit Results

0 rewiews
Explore initial findings from Aaron Turon's shared state audit, categorizing state elements to determine necessary steps for improving confidence in Rust's codebase.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Rust

Polonius Working Group: The Role of Subset Relations in Rust

0 rewiews
Explore subset relations in Polonius's design and a proposal for equality-only propagation, enhancing understanding of Rust's borrow checker implementation.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
Rust

Polonius and Initialization: Move Tracking in Rust's Borrow Checker

0 rewiews
Explores Rust's borrow checker, focusing on move tracking and initialization in Polonius. Covers key concepts like dynamic drop, move paths, and data flow analysis for improved memory safety.
Add to list
25 Lesons
1 hour 8 minutes
On-Demand
Free-Video
Rust

Design Meeting: Workflow Checks and Type Aliases in Rust - 2020-07-29

0 rewiews
Explore Rust's design decisions on well-formedness checks and type aliases, covering expected behavior, rationale, and future compatibility considerations.
Add to list
14 Lesons
56 minutes
On-Demand
Free-Video
Rust

Discussing Never Type Fallback in Rust - Blitzerr Interview

0 rewiews
Explore the intricacies of type checking fallback in Rust programming, examining unexpected outcomes, identifying issues, and discussing potential solutions and improvements.
Add to list
11 Lesons
46 minutes
On-Demand
Free-Video
Rust

Rust Lang Team Design Meeting: Proposal Procedure - 2020-05-14

0 rewiews
Explore proposed changes to Rust's RFC procedure, focusing on introducing a stronger sense of staging in the language design process.
Add to list
1 Lesons
53 minutes
On-Demand
Free-Video
Rust

Reaching Const Evaluation Singularity with Miri in Rust

0 rewiews
Explore Rust's const evaluation and miri interpreter, enabling compile-time features like for loops in constants and static Config structs with error reporting. Learn about miri's design and future possibilities.
Add to list
11 Lesons
23 minutes
On-Demand
Free-Video
Rust

Rust Typeclasses - Trait-Based Programming

0 rewiews
Explore Rust's trait system and its similarities to typeclasses in functional programming languages, presented by researcher Lindsey Kuper.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Rust

Exploring the New Trait Solver in Rustc - Walkthrough of -Ztrait-solver=next

0 rewiews
Explore Rust's new trait solver: its structure, functionality, and areas for improvement. Gain insights into the inner workings of rustc's advanced features.
Add to list
1 Lesons
1 hour 4 minutes
On-Demand
Free-Video
Mozilla Hacks

How Rust Manages Open Source Software Development

0 rewiews
Explore Rust's unique approach to open-source development, focusing on community involvement and decision-making processes in language evolution.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
Gopher Academy

Go: Our Journey from Early Adopter to Mainstream and Beyond

0 rewiews
Explore Go's evolution from niche to mainstream, including key strategies, milestones, and decisions that propelled its adoption in enterprise environments. Gain insights into Go's future trajectory.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
Ruby Central

Ruby Insights and Community Q&A - Keynote by Yukihiro Matsumoto

0 rewiews
Matz shares insights into Ruby and answers community questions in this pre-recorded presentation, offering valuable perspectives on the language's development and future.
Add to list
1 Lesons
55 minutes
On-Demand
Free-Video
Java

Arrays 2.0 - Opportunities and Challenges

0 rewiews
Explore opportunities and challenges in array programming with John Rose, covering user needs, JVM improvements, and potential future developments for Java arrays.
Add to list
18 Lesons
51 minutes
On-Demand
Free-Video
Java

Designing IDE-Friendly Programming Languages

0 rewiews
Explore language features that enhance IDE support, focusing on static typing, parsing challenges, and reference resolution for improved development tools and productivity.
Add to list
24 Lesons
45 minutes
On-Demand
Free-Video
Rust

New Trait Solver Walkthrough in Rust - 2024.02.26

0 rewiews
Comprehensive walkthrough of Rust's new trait solver, exploring its implementation and functionality for improved code analysis and compilation.
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video
ACM SIGPLAN

Introducing BRAT: A Functional Programming Language for Quantum-Classical Hybrid Programs

0 rewiews
Explore BRAT, a functional language for quantum-classical hybrid programming, featuring unique syntax and type-level parameters for enhanced safety and composition.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
Java

One VM to Rule Them All

0 rewiews
Explore GraalVM's capabilities for running multiple programming languages efficiently on a single virtual machine, enhancing performance and interoperability.
Add to list
1 Lesons
43 minutes
On-Demand
Free-Video
Scala Days Conferences

When is an ADT Not an ADT? - Modeling Data Types in Programming

0 rewiews
Explore data representation in programming, comparing OOP and FP approaches. Learn about tradeoffs and design choices for clear, efficient code in a simple programming language example.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

HOL with Dependent Types and Subtyping

0 rewiews
Explore advanced type theory concepts combining Higher-Order Logic, dependent types, and subtyping for enhanced formal reasoning and theorem proving capabilities.
Add to list
1 Lesons
33 minutes
On-Demand
Free-Video
GOTO Conferences

What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming

0 rewiews
Explore the purpose and benefits of types in programming, examining their role beyond just preventing errors, with insights into functional programming concepts and type theory.
Add to list
1 Lesons
1 hour 4 minutes
On-Demand
Free-Video
ACM SIGPLAN

Concurrent Mutation Must Go

0 rewiews
Explore concurrent mutation challenges and solutions in programming languages, focusing on innovative approaches to enhance system reliability and performance.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Effect Handlers for Choice-Based Learning in Machine Learning Programming

0 rewiews
Explore a novel choice-based learning paradigm combining algebraic effects, handlers, and loss continuations to enhance modularity in machine learning programming.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video
Strange Loop Conference

BODOL, or How to Accidentally Build Your Own Language

0 rewiews
Explore language design principles and prototype development using functional programming, inspired by Clojure and Haskell. Learn about BODOL, a unique toy language combining Lisp and Haskell features.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Strange Loop Conference

Noether - Symmetry in Programming Language Design

0 rewiews
Exploring symmetry in programming language design to enhance security, robustness, and efficiency. Introduces Noether, an experimental language with layered structure and strong symmetries for improved reasoning and analysis.
Add to list
23 Lesons
44 minutes
On-Demand
Free-Video
Strange Loop Conference

Building Optimising Compiler for Dart

0 rewiews
Explore the development of Dart VM's new compilation pipeline, focusing on language features' impact and lessons from V8. Learn about JIT compiler design for object-oriented languages with optional static typing.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
NDC Conferences

Inside a Static Analyser - Type System

0 rewiews
Explore C++ static analysis, focusing on type system representation in PVS-Studio. Learn about current implementation, challenges, and upcoming improvements in encoding and handling complex types.
Add to list
21 Lesons
50 minutes
On-Demand
Free-Video
Strange Loop Conference

Taking PHP Seriously

0 rewiews
Exploring PHP's unique design choices in programmer workflow, concurrency, and shared state, highlighting its strengths and impact on successful projects like Facebook and WordPress.
Add to list
28 Lesons
41 minutes
On-Demand
Free-Video
Strange Loop Conference

All the Languages Together

0 rewiews
Explore the challenges and solutions for building multi-language software systems, focusing on language interoperability, safety, and toolchain improvements for seamless integration.
Add to list
15 Lesons
52 minutes
On-Demand
Free-Video
Strange Loop Conference

Tulip - A Language for Humans

0 rewiews
Explore Tulip, a new programming language with ML-like syntax and Erlang-inspired runtime, designed for REPL ergonomics and emphasizing minority language designers.
Add to list
20 Lesons
44 minutes
On-Demand
Free-Video
Strange Loop Conference

Introducing the HandAxe Collections Pattern Language

0 rewiews
Explore a pattern language for designing consistent, composable collection protocols in programming languages, emphasizing clarity and expressive power through rigorous terminology and a unified approach.
Add to list
17 Lesons
41 minutes
On-Demand
Free-Video
International PHP Conference

What Kind of Language is it?

0 rewiews
Explore PHP 7's language design, from imperative and object-oriented programming to typing systems. Gain insights into PHP's versatility and strengths as a modern programming language.
Add to list
26 Lesons
55 minutes
On-Demand
Free-Video
GOTO Conferences

Move Deliberately and Don't Break Anything

0 rewiews
Explore Java language evolution strategies balancing innovation with compatibility. Learn about careful design approaches and the challenges of evolving a mature programming language.
Add to list
17 Lesons
50 minutes
On-Demand
Free-Video
GOTO Conferences

The Perfect Language

0 rewiews
Explore the quest for the perfect programming language, examining modern language design, tradeoffs, and future tools to make programming less challenging.
Add to list
1 Lesons
45 minutes
On-Demand
Free-Video
GOTO Conferences

Racket - A Programming-Language Programming Language

0 rewiews
Explore Racket's unique approach to language creation and its versatile standard libraries. Learn how this innovative tool supports diverse programming paradigms and specialized language development.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
GOTO Conferences

The Ideal Programming Language

0 rewiews
Explore the ideal programming language with experts discussing frontend vs backend, testability, memory management, concurrency, and emerging languages. Gain insights into future trends in software development.
Add to list
8 Lesons
36 minutes
On-Demand
Free-Video
GOTO Conferences

Intro to Roc and Innovation in Functional Programming

0 rewiews
Explore Roc, a new functional programming language, with experts discussing its innovative features, design principles, and potential impact on the programming ecosystem.
Add to list
11 Lesons
1 hour
On-Demand
Free-Video
GOTO Conferences

The Ideal Programming Language

0 rewiews
Explore the future of programming languages with industry experts as they discuss ideal features, emerging trends, and the potential evolution of coding paradigms.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video

Crema - A LangSec Inspired Language

0 rewiews
Explore LangSec principles and the Crema language for secure programming, focusing on least computational privilege and sub-Turing execution to enhance software security.
Add to list
28 Lesons
51 minutes
On-Demand
Free-Video
Devoxx

Building a Bullsh*t Language

0 rewiews
Explore the process of creating a programming language from scratch, delving into language design, parsing techniques, and implementation challenges.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
ACCU Conference

How to Write a Programming Language

0 rewiews
Explore the process of creating a simple programming language interpreter, covering lexing, parsing, and evaluation, using Python to implement a basic language called Cell.
Add to list
1 Lesons
1 hour 13 minutes
On-Demand
Free-Video
ACCU Conference

Coroutines - C++ vs Rust

0 rewiews
Explore the design differences between C++ and Rust coroutines, comparing their implementations, trade-offs, and approaches to asynchronous programming in systems languages.
Add to list
1 Lesons
1 hour 5 minutes
On-Demand
Free-Video
linux.conf.au

A Case Study in Incrementing a Language's Major Version - PHP

0 rewiews
Exploring PHP 7's major version upgrade: balancing innovation with backward compatibility, encouraging adoption, and comparing approaches with other programming languages.
Add to list
31 Lesons
43 minutes
On-Demand
Free-Video
linux.conf.au

Let's LISP Like It's 1959

0 rewiews
Explore the elegance of the original LISP interpreter from 1959, implemented in C. Discover the foundational concepts of computation through this mind-bending language design.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
CppNow

Definition-Checked Generics, Part 1 - The Why and How

0 rewiews
Explore definition-checked generics in C++, comparing approaches in C++20, Swift, Rust, and Carbon. Learn advantages and challenges in implementing this programming paradigm.
Add to list
28 Lesons
1 hour 29 minutes
On-Demand
Free-Video
EuroPython Conference

Code From Nothing - Procedural Generation of Python Source Code

0 rewiews
Explore novel techniques for testing Python linters and fixers using Hypothesis, focusing on procedural generation of source code to uncover edge cases and improve tool reliability.
Add to list
17 Lesons
31 minutes
On-Demand
Free-Video
Scala Days Conferences

Functionalist Programming Language Design

0 rewiews
Explore functionalist programming language design principles and their impact on modern software development in this thought-provoking keynote by Tomas Petricek.
Add to list
1 Lesons
55 minutes
On-Demand
Free-Video
JSConf

JavaScript - What Could Have Been

0 rewiews
Explore alternative paths JavaScript could have taken, examining potential features and design choices that weren't implemented in the language's evolution.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
JSConf

The Meaning of Words

0 rewiews
Explore the concept of universal meaning in programming languages, focusing on JavaScript, and how it could revolutionize code sharing and understanding without traditional package managers.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
Rust

El lenguaje que no es

0 rewiews
Explora código no compilable en Rust, analizando las razones de su rechazo, alternativas viables y posibles cambios en el lenguaje para permitir ciertas estructuras.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
NDC Conferences

The Most Average Function There Is

0 rewiews
Explore programming language design through implementing an average function, examining language features, and challenging conventional notions of what makes a language "good".
Add to list
11 Lesons
59 minutes
On-Demand
Free-Video
SF Python

Making a Working Implementation of Async Functions in Python 2.1

0 rewiews
Dive into the evolution of Python's async/await syntax through a fascinating reverse-engineering journey, exploring coroutines implementation from modern Python back to version 2.1.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
The Julia Programming Language

Python.jl - Seamlessly Blend Python and Julia

0 rewiews
Explore seamless Python-Julia integration, featuring demos, capabilities, challenges, and insights into extreme DSL embedding in Julia.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
ACM SIGPLAN

How Domain Experts Use an Embedded DSL

0 rewiews
Explore how domain experts utilize embedded DSLs, uncovering key themes and user needs to inform future designs. Gain insights into eDSL usability and adoption challenges.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Continuing WebAssembly with Effect Handlers

0 rewiews
Explore WasmFX, an extension to WebAssembly enabling direct translation of non-local control features via effect handlers, improving compiler efficiency for various programming languages.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
Java

Evolution of Java Platform Features - From Generics to Virtual Threads

0 rewiews
Gain insights into Java's evolution through war stories and lessons learned from developing major platform features, as shared by Java Language Architect Brian Goetz.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
Dyalog User Meetings

Setting and Getting Variable Values in Dynamic Programming - Mark II

0 rewiews
Discover advanced techniques for dynamic variable handling in APL, focusing on improved methods for setting and getting values with enhanced readability, performance, and safety features.
Add to list
20 Lesons
12 minutes
On-Demand
Free-Video
SF Python

13 Fun Facts About Python's Return Statement for Savvy Programmers

0 rewiews
Discover fascinating insights about Python's return statement, from basic usage to advanced techniques like returning functions and handling edge cases in function execution.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Dyalog User Meetings

Giving Key a Vocabulary in Dyalog APL - Extending the Key Operator

0 rewiews
Explore enhancements to Dyalog APL's key operator, addressing result ordering, missing data, and subset querying for improved data analysis and processing efficiency.
Add to list
7 Lesons
12 minutes
On-Demand
Free-Video
Dyalog User Meetings

Setting and Getting Variable Values in APL - Proposed System Functions

0 rewiews
Explore advanced techniques for dynamic variable handling in APL, focusing on improved readability and performance through proposed system functions ⎕NV, ⎕NG, and ⎕NS.
Add to list
17 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Grounded Conceptual Model for Ownership Types in Rust

0 rewiews
Explore a systematic approach to teaching Rust's ownership types, featuring a new assessment tool, conceptual model, and visualizations to improve learner understanding of memory safety concepts.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Approximating Type Stability in the Julia JIT

0 rewiews
Explore an algorithm for approximating type stability in Julia's JIT compiler, enhancing performance in this dynamic scientific computing language.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Associated Effects: Flexible Abstractions for Effectful Programming

0 rewiews
Explore associated effects, a programming language feature enhancing type classes' flexibility in abstracting over function effects, improving expressive power in type and effect systems.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

jGuard - Programming Misuse-Resilient APIs

0 rewiews
Explore jGuard, a Java extension enabling API designers to encode specifications directly, preventing misuse without additional tooling for users. Enhance API resilience effortlessly.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
ACM SIGPLAN

An Exceptional Actor System in Haskell - Functional Pearl

0 rewiews
Explore a hidden actor framework in GHC's runtime system, demonstrating its power through distributed systems examples and discussing implications for feature constraints.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

0 rewiews
Explore innovative approaches to improve type error messages in constraint-based type inference systems, focusing on data flow and subtyping constraints to enhance programmer understanding.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Implementation and Synthesis of Math Library Functions

0 rewiews
Explore MegaLibm, a domain-specific language for implementing, testing, and tuning math library functions. Learn how it enhances safety, modularity, and tunability in mathematical software development.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Binding Syntax for Dependently-Typed Programs - WITS'24

0 rewiews
Explore innovative binding syntax for dependently-typed programs, enhancing ergonomics while maintaining fixed grammar for improved error messaging.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
ACM SIGPLAN

Leveraging Rust Types for Program Synthesis

0 rewiews
Explore how Rust's type system enhances program synthesis, simplifying specifications and improving performance. Learn about Synthetic Ownership Logic and the RusSOL tool for automatic synthesis of correct Rust programs.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
Code Sync

Designing a Programming Language for Local Reasoning and Simple Debugging

0 rewiews
Explore how programming language design can minimize bugs and simplify debugging. Learn about trade-offs in language design and their impact on software stability and correctness.
Add to list
11 Lesons
21 minutes
On-Demand
Free-Video
EuroPython Conference

Those Annotations Can Have Things Other Than Typing - Exploring Function Annotations Beyond Type Hints

0 rewiews
Explore innovative uses of Python function annotations beyond typing, uncovering potential applications and their implications for code design and functionality.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
GeeCON Conference

What Scala Taught Me About Software Engineering

0 rewiews
Explore how Scala's principles and features influence software engineering practices, enhancing your approach to coding across languages.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
The Julia Programming Language

The Public Keyword and Public APIs in Julia

0 rewiews
Explore Julia's `public` keyword, its role in API design, and tooling support. Learn about declaring public APIs, existing conventions, and future developments in Julia's ecosystem.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
Devoxx

The Many Shapes of Polymorphism

0 rewiews
Explore polymorphism's impact on programming language design through Java and Scala examples, comparing code evolution and examining how different language features coexist.
Add to list
23 Lesons
47 minutes
On-Demand
Free-Video
Java

Java Language Futures - Fall 2024 Edition

0 rewiews
Discover the latest Java language developments and upcoming features, exploring recent changes and future directions in Java's evolution through insights from Oracle's technical staff.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
EuroPython Conference

SPy - Static Python Language: Fast as C, Pythonic as Python

0 rewiews
Explore SPy, a statically typed Python variant aiming for C-like performance while maintaining Pythonic style. Learn about its design, features, and current status.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
GOTO Conferences

Syntaxation

0 rewiews
Explore programming language design, parsing techniques, and the impact of fashion on syntax preferences with JSON creator Douglas Crockford in this thought-provoking talk.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
GeeCON Conference

Effects: To Be or Not to Be - Exploring Effect Systems in Scala and Beyond - Lecture 1

0 rewiews
Explore effect systems in Scala, JVM, and beyond. Analyze their necessity, differences, and tradeoffs in static typing and type system design.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
Dyalog User Meetings

Filling the Core Language Gaps - Proposed New Primitives in APL

0 rewiews
Explore three proposed APL primitives enhancing function composition, generalization, and indexing, completing the language's core functionality.
Add to list
6 Lesons
44 minutes
On-Demand
Free-Video
ACM SIGPLAN

The Principles of the Flix Programming Language

0 rewiews
Explore the design values and principles of Flix, a multi-paradigm programming language, and their impact on its syntax, semantics, type system, and standard library.
Add to list
13 Lesons
33 minutes
On-Demand
Free-Video
ACM SIGPLAN

Haskell for Choice-Based Learning in Machine Learning Programming

0 rewiews
Explore language design for machine learning, focusing on choice-based learning. Combine algebraic effects, handlers, and selection monad to create powerful frameworks for decision-making models and optimization techniques.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
ACM SIGPLAN

Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations

0 rewiews
Explore layout polymorphism in OCaml, enabling efficient unboxed types while preserving parametric polymorphism. Learn about type-system design and implementation challenges in managing specializations.
Add to list
7 Lesons
30 minutes
On-Demand
Free-Video