Канал: NYC Haskell User's Group

NYC Haskell User's Group Live Stream

NYC Haskell User's Group Live Stream

NYC Haskell User's Group Live Stream

NYC Haskell User's Group Live Stream

NYC Haskell User's Group Live Stream

NYC Haskell User's Group Live Stream

NYC Haskell User's Group Live Stream

NYC Haskell User's Group Live Stream

Canon : A Library for Handling Psychedelically Large Numbers in Haskell

Canon : A Library for Handling Psychedelically Large Numbers in Haskell

Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi

Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi

The Good, the Bad, and the Ugly: Haskell in Enterprise

The Good, the Bad, and the Ugly: Haskell in Enterprise

HAMTs From Scratch with Vaibhav Sagar

HAMTs From Scratch with Vaibhav Sagar

HAMTs From Scratch with Vaibhav Sagar

HAMTs From Scratch with Vaibhav Sagar

Implementing In-memory Caches in Haskell

Implementing In-memory Caches in Haskell

The State of Haskell in Ethereum

The State of Haskell in Ethereum

Parsing parsed parsables, from music to megaparsec

Parsing parsed parsables, from music to megaparsec

SumAll on Java to Haskell

SumAll on Java to Haskell

Richard Eisenberg on Dependent Types

Richard Eisenberg on Dependent Types

Squeal, a Deep Embedding of SQL in Haskell

Squeal, a Deep Embedding of SQL in Haskell

Introduction to Eta by Rahul Muttineni

Introduction to Eta by Rahul Muttineni

F-algebras or: How I Learned to Stop Worrying and Love the Type System

F-algebras or: How I Learned to Stop Worrying and Love the Type System

Backpack to Work: Towards Backpack in Practice

Backpack to Work: Towards Backpack in Practice

Git Internals With Haskell

Git Internals With Haskell

The Design and Implementation of a Concurrent Bloom Filter

The Design and Implementation of a Concurrent Bloom Filter

Elementary Category Theory and Some Insightful Examples

Elementary Category Theory and Some Insightful Examples

BuckleScript: compiling one OCaml module into one readable JavaScript module

BuckleScript: compiling one OCaml module into one readable JavaScript module

Typed Routing with Continuations

Typed Routing with Continuations

Web Dev with Fn

Web Dev with Fn

Partial Derivatives of Regular Expressions

Partial Derivatives of Regular Expressions

Translating Haskell to Hardware

Translating Haskell to Hardware

Interactive Theorem Proving with Lean

Interactive Theorem Proving with Lean

Structure Editing Combinators

Structure Editing Combinators

The Not-A-Wat in Haskell

The Not-A-Wat in Haskell

Parallel Computation of Cryptographic Hash Functions

Parallel Computation of Cryptographic Hash Functions

Wrangling Monad Transformer Stacks

Wrangling Monad Transformer Stacks

Set Theory and Haskell (part 2)

Set Theory and Haskell (part 2)

Set Theory and Haskell (part 1)

Set Theory and Haskell (part 1)

Diagrams: Composition, Envelopes and Alignment Part 2

Diagrams: Composition, Envelopes and Alignment Part 2

Diagrams: Composition, Envelopes and Alignment Part 1

Diagrams: Composition, Envelopes and Alignment Part 1

Introduction to Type Inference

Introduction to Type Inference

How to Define Data Types

How to Define Data Types

Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 2)

Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 2)

Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 1)

Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 1)

Compose Conference - elm-d3: Front-end Development Without Frameworks

Compose Conference - elm-d3: Front-end Development Without Frameworks

Compose Conference - Proving Things About Biology

Compose Conference - Proving Things About Biology

Compose Conference - Functional Programming at Bloomberg

Compose Conference - Functional Programming at Bloomberg

Compose Conference - Managing Bioinformatics Pipelines with OCaml

Compose Conference - Managing Bioinformatics Pipelines with OCaml

Vivid: Sound Synthesis in Haskell

Vivid: Sound Synthesis in Haskell

Generating a Javascript SDK

Generating a Javascript SDK

Compose Conference - The F# Path to Relaxation

Compose Conference - The F# Path to Relaxation

Compose Conference - Modularity and Abstraction in Functional Programming

Compose Conference - Modularity and Abstraction in Functional Programming

Compose Conference - Type Providers and Error Reflection in Idris

Compose Conference - Type Providers and Error Reflection in Idris

Compose Conference - Robots on Haskell

Compose Conference - Robots on Haskell

Compose Conference - Pi-Forall: How to use and implement a dependently-typed language

Compose Conference - Pi-Forall: How to use and implement a dependently-typed language

Dependent Types in Haskell: Present and Future

Dependent Types in Haskell: Present and Future

Implementing Doubly Linked Lists in Haskell

Implementing Doubly Linked Lists in Haskell

Types and Testing in Haskell

Types and Testing in Haskell