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

#Type Inference

Showing: 73 courses
University of Melbourne

The New DBification of ML-AI

0 rewiews
Explore the intersection of ML/AI and databases, addressing scalability and usability challenges in ML systems through database principles and techniques.
Add to list
26 Lesons
57 minutes
On-Demand
Free-Video
Devoxx

Modern Java in Action: Building a GitHub Crawler with Java 23 Features

0 rewiews
Dive into a comprehensive exploration of modern Java features through the creation of a GitHub Crawler. Learn how to leverage virtual threads, structured concurrency, pattern matching, and data-oriented programming techniques. Discover the power of type…
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video

Haskell for Imperative Programmers

0 rewiews
Learn functional programming with Haskell, covering basics to advanced topics like monads, concurrency, and formal verification. Ideal for developers transitioning from imperative languages.
Add to list
43 Lesons
12 hours
On-Demand
Free-Video

TypeScript Tutorial

0 rewiews
Learn TypeScript from scratch: basics, setup, types, functions, classes, and best practices for beginners and experienced developers.
Add to list
26 Lesons
2 hours 30 minutes
On-Demand
Free-Video
The Julia Programming Language

Package Development: Improving Engineering Quality and Latency - JuliaCon 2021 Workshop

0 rewiews
Aprenda a melhorar a qualidade e reduzir a latência no desenvolvimento de pacotes Julia, usando ferramentas avançadas para detectar e corrigir problemas de desempenho e robustez.
Add to list
7 Lesons
3 hours 4 minutes
On-Demand
Free-Video
Hitesh Choudhary

Complete Typescript in Under 5 Hours

0 rewiews
Comprehensive TypeScript tutorial covering key concepts, from basic types to advanced features like generics and type narrowing, with practical examples and real-world project setup.
Add to list
33 Lesons
4 hours 46 minutes
On-Demand
Free-Video
try! Swift Conference

Understanding Swift's Type Inference - try! Swift Tokyo 2024

0 rewiews
Swiftの型推論の仕組みを解説。双方向型情報伝搬アルゴリズム、オーバーロード対応、関連トピックを紹介。コンパイラオプションで動作観察方法も説明し、理解を深める。
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
Code Sync

Especificaciones de Tipos Automágicamente - Code BEAM Lite Mexico 2023

0 rewiews
Aprende a mejorar código heredado con TypEr, agregando especificaciones de tipos automáticamente. Descubre herramientas y mejoras para facilitar el mantenimiento de software.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video

F# Fundamentals - Learn Functional Programming - Step-by-Step Guide

0 rewiews
Comprehensive guide to F# programming, covering syntax, functions, types, pattern matching, collections, and error handling. Ideal for beginners seeking a solid foundation in functional programming.
Add to list
59 Lesons
2 hours 50 minutes
On-Demand
Free-Video
ChariotSolutions

Uncovering the Unknown - Principles of Type Inference in Programming Languages

0 rewiews
Explore type inference in programming languages, uncovering quirks and power in C#, Scala, and Haskell. Delve into local and global inference, constraint typing, and structural typing.
Add to list
13 Lesons
1 hour 3 minutes
On-Demand
Free-Video
Academind

TypeScript for Beginners - Learn TypeScript from Scratch

0 rewiews
Learn TypeScript fundamentals, features, and workflows. Master types, functions, compilation, and debugging. Ideal for beginners seeking practical skills in this powerful JavaScript superset.
Add to list
41 Lesons
3 hours 17 minutes
On-Demand
Free-Video
Dave Gray

Typescript Objects, Arrays, Tuples and Enums - Basics Tutorial

0 rewiews
Learn TypeScript fundamentals including objects, arrays, tuples, and enums. Covers type inference, explicit typing, optional properties, and more for effective TypeScript development.
Add to list
16 Lesons
29 minutes
On-Demand
Free-Video
Rust

Rust for Non-Systems Programmers

0 rewiews
Discover Rust's advantages beyond systems programming: memory safety, concurrency, mutability tracking, robust tooling, documentation, and error handling for all developers.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
Rust

Rust Closures and Disjoint Capturing - October 2021

0 rewiews
Explore Rust closures, from basics to advanced concepts like disjoint capturing in Rust 2021. Learn syntax, types, and practical applications through code examples and explanations.
Add to list
14 Lesons
35 minutes
On-Demand
Free-Video
Rust

Traits and Types in Rust - PDXRust May 2016

0 rewiews
Explore Rust's type system, traits, and custom implementations. Learn about basic and built-in types, methods, constructors, and useful traits from the standard library.
Add to list
24 Lesons
44 minutes
On-Demand
Free-Video
Scala Days Conferences

The State of the IntelliJ Scala Plugin 2023

0 rewiews
Explore new features and improvements in IntelliJ Scala Plugin, including inspections, quick-fixes, and type inference hints, to enhance productivity and efficiency for Scala developers.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
Smartherd

TypeScript: A Broader Look - High-Level Overview and Introduction

0 rewiews
Gain a comprehensive overview of TypeScript, exploring its benefits, setup, key features, and practical implementation through hands-on coding examples and project configuration.
Add to list
15 Lesons
42 minutes
On-Demand
Free-Video
Android Developers

Introduction to Kotlin - Google I/O 2017

0 rewiews
Learn Kotlin basics, syntax, and key features for Android development in this concise introduction, covering data classes, functions, operators, and more.
Add to list
18 Lesons
39 minutes
On-Demand
Free-Video
Rawkode Academy

Introduction to C++ - Basics and Exercises

0 rewiews
Learn C++ basics through hands-on exercises, covering essential concepts like functions, namespaces, CMake, strings, loops, and type inference. Gain practical coding experience with expert guidance.
Add to list
9 Lesons
1 hour 13 minutes
On-Demand
Free-Video
Java

Dynamic Languages Toolchain - Optimizing Performance and Reusability

0 rewiews
Explore dynamic language toolchains, focusing on code reuse, type optimization, and performance enhancements for JVM-based languages.
Add to list
26 Lesons
48 minutes
On-Demand
Free-Video
Java

Dynamic Dispatch and Type Inference in Fortress - Lecture

0 rewiews
Explore dynamic dispatch and type inference in Fortress, covering generic overloading, trait-based systems, and runtime type operations, with insights on JVM implementation challenges.
Add to list
11 Lesons
27 minutes
On-Demand
Free-Video
Java

Java 8 to 18: Most Important Changes in the Java Platform

0 rewiews
Explore key Java platform changes from versions 8 to 18, including new features, performance improvements, and tools for better development and deployment of Java applications.
Add to list
21 Lesons
31 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
Devoxx Poland

Fear Not the Unknown: Go Functional Programming

0 rewiews
Explore functional programming concepts and overcome fears of the unknown in this engaging talk on modern coding paradigms.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
Scala Days Conferences

Principles of Elegance

0 rewiews
Exploring Scala's unique "elegance zone" where expressive syntax meets type safety. Learn to design APIs and write code that's both intuitive and robust, with real-world examples from Rapture libraries.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
International PHP Conference

PHP to Hack - An Incrementally Typed Adventure at Slack

0 rewiews
Explore Slack's migration from PHP to Hack, discussing challenges, benefits, and lessons learned in transitioning a large codebase to an incrementally typed language.
Add to list
37 Lesons
31 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
International PHP Conference

HHVM - The Alternative PHP Runtime

0 rewiews
Explore HHVM, Facebook's alternative PHP runtime, its evolution, and impact on PHP's future. Learn about its architecture, performance benefits, and collaboration with the PHP project.
Add to list
16 Lesons
52 minutes
On-Demand
Free-Video
Devoxx

Frege - A Haskell for the JVM

0 rewiews
Explore pure functional programming on the JVM with Frege, a Haskell-like language offering strong type safety, lazy evaluation, and seamless Java interoperability.
Add to list
16 Lesons
1 hour
On-Demand
Free-Video
Devoxx

TypeScript - Complete

0 rewiews
Comprehensive deep dive into TypeScript, covering language features, tooling, and real-world examples. Learn to use TypeScript effectively in JavaScript projects and create advanced type checks.
Add to list
1 Lesons
2 hours 26 minutes
On-Demand
Free-Video
Devoxx

Kotlin for Java Programmers

0 rewiews
Learn Kotlin's key features and benefits for Java developers, exploring its strengths, capabilities, and practical applications in the Java ecosystem.
Add to list
29 Lesons
55 minutes
On-Demand
Free-Video
Devoxx

Java 8 - The Good, The Bad, and The Ugly

0 rewiews
Explore Java 8's features, including functional interfaces, lambdas, and streams. Learn best practices, pitfalls to avoid, and how to write clean, efficient code using new syntax.
Add to list
21 Lesons
51 minutes
On-Demand
Free-Video
Devoxx

Java Language Futures - All Aboard Project Amber

0 rewiews
Explore Project Amber's upcoming Java features with Brian Goetz, including expanded type inference, data classes, pattern matching, and improved serialization.
Add to list
13 Lesons
1 hour
On-Demand
Free-Video
React Conferences by GitNation

Statically Typing JavaScript

0 rewiews
Explore the evolution of static typing in JavaScript, from academic research to TypeScript and Flow, with insights on challenges, design goals, and future developments.
Add to list
12 Lesons
30 minutes
On-Demand
Free-Video
Devoxx

A Deep Dive into Advanced TypeScript - A Live Coding Expedition

0 rewiews
Explore advanced TypeScript concepts through live coding, enhancing your skills in type manipulation, generics, and complex type systems for more robust and maintainable code.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
code::dive conference

Gradual Typing of Production Applications

0 rewiews
Explore gradual typing in Python with Łukasz Langa. Learn about type annotations, error handling, and advanced typing concepts to improve code quality and maintainability.
Add to list
26 Lesons
1 hour
On-Demand
Free-Video
CppNow

Dynamic, Recursive, Heterogeneous Types in Statically-Typed Languages

0 rewiews
Explore implementing dynamic, recursive, heterogeneous dictionaries in C++ using static typing features, bridging the gap between dynamic and static languages for easier data manipulation.
Add to list
38 Lesons
1 hour 27 minutes
On-Demand
Free-Video
EuroPython Conference

Static Analysis of Python

0 rewiews
Explore Python static analysis techniques to catch errors early, improve code quality, and enhance development efficiency without sacrificing language dynamism.
Add to list
28 Lesons
51 minutes
On-Demand
Free-Video
EuroPython Conference

Wrestling Python into LLVM Intermediate Representation

0 rewiews
Explore the process of translating Python into LLVM Intermediate Representation, enabling platform-independent execution and potential performance improvements for analytical frameworks.
Add to list
24 Lesons
26 minutes
On-Demand
Free-Video
EuroPython Conference

Tooling for Static Analysis of Python Programs

0 rewiews
Explore static analysis tools for Python, including gast and beniget modules, to enhance linting, type inference, and IDE capabilities despite Python's dynamic nature.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
try! Swift Conference

Hipster Swift

0 rewiews
Explore lesser-known Swift features to save time and energy in iOS development. Learn to decipher and utilize unique language aspects for more efficient coding.
Add to list
8 Lesons
29 minutes
On-Demand
Free-Video
Scala Days Conferences

Scala and the JVM as a Big Data Platform - Lessons from Apache Spark

0 rewiews
Explore Scala's advantages for Big Data, focusing on Apache Spark. Learn about JVM optimizations and Spark's Tungsten project for improved performance in data processing.
Add to list
1 Lesons
45 minutes
On-Demand
Free-Video
Scala Days Conferences

Reconstructing Scala

0 rewiews
Explore Dotty, the new Scala compiler, and its improved developer experience with enhanced error messages, rewrite rules, and optimizations. Learn about contributing to this exciting project.
Add to list
10 Lesons
41 minutes
On-Demand
Free-Video
Scala Days Conferences

Type Parameter Power-Up! Variance, Bounds, and Inference

0 rewiews
Explore advanced Scala type system concepts including variance, bounds, and inference to enhance your programming skills and write more robust code.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
JSConf

Sweet Sixteen, but Where Are the Tools?

0 rewiews
Explore advanced JavaScript tools for expressions, error handling, and code optimization in this insightful talk on enhancing development workflows and productivity.
Add to list
19 Lesons
27 minutes
On-Demand
Free-Video
NDC Conferences

Flow - Am I Your Type?

0 rewiews
Explore static typing in JavaScript with Flow, covering installation, types, analysis, and integration with tools like Babel and ESLint. Learn to catch errors and improve code quality.
Add to list
41 Lesons
58 minutes
On-Demand
Free-Video
NDC Conferences

Swift for the Curious

0 rewiews
Explore Swift's rapid evolution, unique features, and impact on Apple development. Learn its place among modern languages and potential applications beyond the Apple ecosystem.
Add to list
13 Lesons
1 hour 15 minutes
On-Demand
Free-Video
NDC Conferences

Write Your Own Domain Specific Language with F#

0 rewiews
Explore creating a domain-specific language in F#, focusing on readability for non-technical users while leveraging functional programming concepts and type safety.
Add to list
30 Lesons
43 minutes
On-Demand
Free-Video
ACM SIGPLAN

Greedy Implicit Bounded Quantification in Object-Oriented Programming Languages

0 rewiews
Explore greedy implicit bounded quantification in object-oriented programming, focusing on type inference algorithms and a variant of kernel F≤ with implicit polymorphism.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

0 rewiews
Explore efficient Boolean unification for Hindley-Milner-style type and effect systems. Learn about a hybrid algorithm improving compilation speed and reducing inference overhead in polymorphic effect systems.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving

0 rewiews
Explore innovative concrete type inference for dynamically typed languages, combining machine learning and SMT solving to enable code optimization without manual type annotations, significantly boosting performance.
Add to list
1 Lesons
18 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

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

Relational Solver for Java Generics Type System

0 rewiews
Explore a relational solver for Java Generics Type System, enhancing understanding of advanced programming concepts and type theory.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
ACM SIGPLAN

Polymorphic Type Inference for Dynamic Languages

0 rewiews
Explore a novel type system combining polymorphism, intersection types, and subtyping for dynamic languages. Learn about type reconstruction algorithms and their applications in advanced programming.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism

0 rewiews
Explore a novel type inference approach for first-class polymorphism using multi-bounded polymorphism, advancing the state of the art in type inference for programming languages.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
Code Sync

Typing with Pixie Dust - Enhancing Legacy Code with Automated Type Specs

0 rewiews
Discover tools for enhancing legacy code with automatic type specifications, improving code reliability and maintainability through a Rebar3 plugin and TypEr enhancements.
Add to list
1 Lesons
11 minutes
On-Demand
Free-Video
EuroPython Conference

How to Build a Python-to-C++ Compiler out of Spare Parts - and Why

0 rewiews
Explore Python-to-C++ compilation for enhanced performance and parallelism. Discover Typon's approach to compiling untyped Python, achieving concurrency, and seamless interoperability with existing Python code.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
The Julia Programming Language

SymbolicIndexingInterface.jl: Symbolic Indexing for Everyone

0 rewiews
Explore symbolic indexing in Julia with SymbolicIndexingInterface.jl, enabling intuitive access to symbolic variables across modeling DSLs and frameworks for efficient data manipulation.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
GOTO Conferences

Demystifying Scala

0 rewiews
Explore Scala's unique blend of functional and object-oriented programming, its key features, and practical applications in this comprehensive introduction for curious developers.
Add to list
30 Lesons
48 minutes
On-Demand
Free-Video
NDC Conferences

Kotlin - The Chronicles of Lost Semicolons

0 rewiews
Explore Kotlin's exciting features through live coding, covering types, strings, expressions, pattern matching, functions, null safety, functional programming, and Java interoperability.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
ACM SIGPLAN

Shape-Constrained Array Programming with Size-Dependent Types

0 rewiews
Explore a dependent type system for array-size consistency in functional programming, enabling compile-time shape enforcement and nontrivial transformations without added complexity.
Add to list
1 Lesons
43 minutes
On-Demand
Free-Video
ACM SIGPLAN

A History of Subtyping

0 rewiews
Explore the evolution and significance of subtyping in programming languages with Benjamin C. Pierce's comprehensive historical overview.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Monadic Framework for Name Resolution in Multi-Phased Type Checkers

0 rewiews
Explore a monadic framework for name resolution in multi-phased type checkers, bridging the gap between abstract typing rules and practical implementations using compositional mappings and monadic combinators.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type Inference for Application Spines in Higher-Order Languages - WITS'24

0 rewiews
Explore type inference for application spines in Haskell, covering error messages, impredicative polymorphism, visible type application, and required type arguments.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
ACM SIGPLAN

Solving Constraints During Type Inference - WITS'24

0 rewiews
Explore GHC's type inference engine, covering bidirectional inference, implication constraints, level numbers, evidence generation, and quantified constraints in Haskell.
Add to list
1 Lesons
33 minutes
On-Demand
Free-Video
NashKnolX

Kotlin Fundamentals: Introduction to Basic Programming Concepts

0 rewiews
Master Kotlin basics: syntax, null safety, type inference, control flow, and essential concepts for confident programming.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
NashKnolX

Best Practices in Scala Programming

0 rewiews
Master Scala programming with functional concepts, immutable structures, and efficient coding techniques for robust, maintainable software development.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
The Julia Programming Language

Julia Compiler Secrets - Static Analysis - JuliaCon 2024

0 rewiews
Explore advanced static analysis capabilities in Julia's compiler, including type inference, effect system, and escape analysis, to optimize code performance and enhance correctness.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
CppCon

Embracing CTAD - Class Template Argument Deduction in C++17

0 rewiews
Explore Class Template Argument Deduction (CTAD) in C++17, its benefits, controversies, and practical applications. Form your own opinion on this divisive language feature.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
GOTO Conferences

Modern Java in Action - Developing a GitHub Crawler

0 rewiews
Explore modern Java features through a GitHub Crawler project, showcasing virtual threads, pattern matching, type inference, and more for efficient, concise coding.
Add to list
6 Lesons
52 minutes
On-Demand
Free-Video
Devoxx

Java Language and Platform Futures - A Sneak Peek

0 rewiews
Explore Java's future with Brian Goetz: expanded type inference, data classes, improved switch, Project Valhalla, and more. Gain insights into upcoming language features and performance enhancements.
Add to list
15 Lesons
1 hour
On-Demand
Free-Video
ChariotSolutions

The Best TypeScript Features You're Not Using Yet

0 rewiews
Discover cutting-edge TypeScript features and tools like 'satisfies', 'NoInfer', Knip, and typescript-eslint@7 to write more robust, bug-free code and enhance your development workflow.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video