Type safe Redis queries -- a case study of type-level programming in Haskell

preview_player
Показать описание
Speaker: Shin-Cheng Mu
  1. ICFP Video
  2. ICFP
  3. TYDE 2017
  4. Redis
Рекомендации по теме
Type safe Redis 0:30:27

Type safe Redis queries -- a case study of type-level programming in Haskell

I've been using 0:20:53

I've been using Redis wrong this whole time...

Generate Typesafe Go 0:10:35

Generate Typesafe Go from SQL queries using SQLC

ZIO Redis by 0:21:54

ZIO Redis by Dejan Mijic

A Polylog about 0:49:21

A Polylog about Redis [English]

Modern Redis Crash 2:17:15

Modern Redis Crash Course: Backend with Express, TypeScript and Zod

Resolving Response type 0:01:39

Resolving Response type not string compatible Error in Rust with Redis Queries

Writing Redis Modules 0:42:08

Writing Redis Modules In Rust

Type-safe GraphQL with 1:00:09

Type-safe GraphQL with TypeScript - Aaron Powell - NDC Sydney 2021

Session vs Token 0:02:18

Session vs Token Authentication in 100 Seconds

Refinement Kinds: Type-Safe 0:23:00

Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation

I tried advanced 1:38:06

I tried advanced search features of Redis with Java and here is what happened

Claranet Coding Week 0:27:44

Claranet Coding Week - Introduction to Redis

MySQL Smart Plugin 0:23:15

MySQL Smart Plugin for caching with Redis by Abhishek Ranjan

Bootiful multi-model applications 0:55:31

Bootiful multi-model applications with Redis Stack by Brian Sam-Bodden @ Spring I/O 2022

Supabase in 100 0:02:37

Supabase in 100 Seconds

The Top Redis 1:03:49

The Top Redis Metrics that Matter

VCU INFO 610 1:06:14

VCU INFO 610 - Week 10 - Redis Fun Day

Redis persistent collections 0:24:48

Redis persistent collections as a service

Redis: Let's read 1:35:29

Redis: Let's read the code!

Type-safe, Full-stack React: 0:26:03

Type-safe, Full-stack React: Live-Coding a React + TS + GraphQL App with Swyx

Can Redis be 0:12:18

Can Redis be used as a Primary database?

Redis Sessions - 0:21:13

Redis Sessions - Keeping Data Safe and Ensuring Performance

AWS re:Invent 2021 0:47:59

AWS re:Invent 2021 - Deep dive on Amazon ElastiCache for Redis

join shbcf.ru