Haskell Tutorial - 15 - Intro to type level programming

  Рет қаралды 1,955

James Hobson

James Hobson

Күн бұрын

Today we look at a few more language extensions and start to write a servant inspired library.

Пікірлер: 18
@peterstorm_io
@peterstorm_io 2 жыл бұрын
Great video, hope you're still planning on doing the next video :)
@vm683
@vm683 Жыл бұрын
Please finish the tutorial they are actually very helpful. A short and Crisp video on concurrency in Haskell would be great too
@jameshobson6965
@jameshobson6965 Жыл бұрын
You might be in luck! I’m heading back to university so I’ll have more free time
@neolight1010
@neolight1010 Жыл бұрын
I've learned a lot from these tutorials. Thank you so much!
@TheGuitarboy69
@TheGuitarboy69 Жыл бұрын
I just wanna say that these tutorials are amazing! Hope that I can see new episodes in the future :)
@jameshobson6965
@jameshobson6965 Жыл бұрын
Been thinking about picking it up again. Maybe re-doing this one and continuing on with servant and some more type stuff. It lost momentum!
@arthurborisow1475
@arthurborisow1475 2 жыл бұрын
Nice video! Are you planning on continuing with the videos?
@jameshobson6965
@jameshobson6965 2 жыл бұрын
I don't know! It became a bit stressful and I was running out of ideas so I seemed to just stop. What more do you wish to learn?
@Endomorphism
@Endomorphism 2 жыл бұрын
@@jameshobson6965 you are a good teacher, you can start from type families, template Haskell more in-depth type features, then you can move to a bit of theoretical things like free monads, comonads, and more advanced features. but please continue your channel, it's a gem for us.
@Endomorphism
@Endomorphism 2 жыл бұрын
just go with particular topics, and build other tutorials on them. I have to skip this one bcs I don't know the type families.
@afonsorafael2728
@afonsorafael2728 2 жыл бұрын
Keep going please
@felicienfotiomanfo4160
@felicienfotiomanfo4160 3 жыл бұрын
Hello James. I am planning on starting and Haskell meet up / accelerated course / training for my organization and I would really appreciate it if you could help me put together a road map. I just love the content on your channel.
@jameshobson6965
@jameshobson6965 3 жыл бұрын
You can definitely contact me in person for that! How do you want to chat?
@felicienfotiomanfo4160
@felicienfotiomanfo4160 3 жыл бұрын
@@jameshobson6965 Sure. Here my email felicien.fotiomanfo@gmail.com. I am open for a zoom call. Please feel free to schedule a call (Friday or Week-end work for me. California time). I will be happy to send a zoom invite if you don't mind sending me your contact. Thank you so much, I really needed help :) and I am looking forward to connecting
@Endomorphism
@Endomorphism 2 жыл бұрын
It would be great if you upload training on KZfaq
@maheerali531
@maheerali531 3 жыл бұрын
I really love haskell but I can't find someone building anything practical with it. Can you please a website with haskell or elm. Or please make some graphical game like chess or todo app. or something real world. I would really appreciate if you would make that.
@jameshobson6965
@jameshobson6965 3 жыл бұрын
I can't make a game because I have very little talent in that department. But we will make a REST api when I move house and unpack my microphone from storage. Also, check out the gloss library. I have shown you more than enough to get working with that. I use it at work to make 2D simulations but its designed for games. Here is a link to a tutorial: mmhaskell.com/blog/2019/3/25/making-a-glossy-game-part-1 I promise it's easy to use! You can get some 2d goodness going in mins
Haskell - Tutorial 6 - Functors, Applicative, Monads and Monoids
39:29
Higher-order Type-level Programming in Haskell
21:28
ACM SIGPLAN
Рет қаралды 3,6 М.
Who has won ?? 😀 #shortvideo #lizzyisaeva
00:24
Lizzy Isaeva
Рет қаралды 62 МЛН
Clowns abuse children#Short #Officer Rabbit #angel
00:51
兔子警官
Рет қаралды 49 МЛН
Хотите поиграть в такую?😄
00:16
МЯТНАЯ ФАНТА
Рет қаралды 2,3 МЛН
Survival skills: A great idea with duct tape #survival #lifehacks #camping
00:27
Jinsi Ya Kutengeneza Free Website | 2024
4:49:22
Charles Masterplan
Рет қаралды 1
Making Music with Haskell From Scratch
49:02
Tsoding
Рет қаралды 97 М.
The Dialectics of Type-Level Programming by Aaron Levin
41:05
Lambda World
Рет қаралды 6 М.
A Totally Non-Terrifying, Practical Introduction to Type-Level Programming
1:46:10
Berlin Functional Programming Group
Рет қаралды 6 М.
Why I Chose Rust Over Zig
33:18
ThePrimeTime
Рет қаралды 9 М.
Haskell - Tutorial 1 - GHC and Cabal
16:24
James Hobson
Рет қаралды 9 М.
Haskell - Tutorial 10 - Monadic Interpreters
41:58
James Hobson
Рет қаралды 2,3 М.
Rust Data Modelling Without Classes
11:25
No Boilerplate
Рет қаралды 165 М.
Brutally honest advice for new .NET Web Developers
7:19
Ed Andersen
Рет қаралды 87 М.
Who has won ?? 😀 #shortvideo #lizzyisaeva
00:24
Lizzy Isaeva
Рет қаралды 62 МЛН