u/jbetzendin r/haskell • Recommends
New lecture series on intermediate Haskell from Bielefeld University (German)
0:00 / 0:00
#haskell#typetheory#typeclasses
Vorlesung 1: Typen und Typtheorie - FFPiHaskell (16.04.2016)
FFPiHaskell
359 subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
Intermediate. Assumes working knowledge.
4.4K views10 years ago1 recommendation
Programming languagesComputer scienceHaskellComputation and complexity
An academic lecture in German introducing type theory, type classes, and advanced functional programming concepts in Haskell.
- Organisatorisches (Prüfungsleistung, Räume, ...) - Wer sind wir - Materialien - Anfang Vorlesung Vorlesung Nr. 1 des Kurses "Fortgeschrittene funktionale Programmierung in Haskell" an der Uni Bielefeld im Sommersemester 2016 Themen: Organisatorisches, Typtheorie, TypklassenWhy it's here
1 person recommends thisWhat people say. Recommended as a promising university lecture series on intermediate Haskell.
Moments people linked to
u/fpnoobin r/haskell • Mentions
On “New lecture series on intermediate Haskell from Bielefeld University (German)”
Can anybody translate what he's saying at around link to this video ? It sounds like he's making fun of Hugs as he used the word "crap" shortly afterwards...
u/johnorfordin r/haskell • Mentions
unidentity
I am following a promising course on Youtube1 and one of the questions is to write the function which fulfills this type annotation.
unIdentity :: Identity a -> a
I have never come across Identity types before - anyone will to clarify how this function should look like?
1 link to this video