Raghu Ugare
Architect, Designer, Developer
LambdaMatters
location_on India
Member since 4 years
Share
Raghu Ugare
Specialises In
Passionate about getting people to love math, science and programming. Very fond of books, movies, music, fonts, exploring different programming paradigms and languages, and can be frequently found experimenting on numbers, algorithms and patterns using Mathematica.
Currently in love with FP in general & Haskell in particular, & Machine Learning...
-
keyboard_arrow_down
Have you GADT ?
Raghu UgareArchitect, Designer, DeveloperLambdaMatters
Vijay AnantArchitect, Designer, DeveloperLambdaMattersschedule 1 year ago
45 Mins
Talk
Intermediate
The type-system of Haskell is well-known as well as notorious for its rigour & strong mathematical foundations.
In this talk, we would like to explain about the recent idea of GADT's and how they help eliminate runtime checks & issues.
Our hope is that newbies to Functional Programming, and esp., Haskell are no longer intimidated by the term GADT's but instead see them as their ally in conquering some types of problems.
-
-
keyboard_arrow_down
(Why) Should You know Category Theory ?
Raghu UgareArchitect, Designer, DeveloperLambdaMatters
Vijay AnantArchitect, Designer, DeveloperLambdaMattersschedule 2 years ago
45 Mins
Talk
Intermediate
Category Theory has been found to have a vast field of applications not limited to programming alone.
In this fun-filled talk (Yes! We promise!) , we want to make the audience fall in love with Math & Category Theory in general, and Haskell in particular.
We will address questions such as below:- What is the mysterious link between the abstract mathematical field of Category Theory and the concrete world of real-world Programming ? And why is it relevant especially in Functional Programming?
- Most of all, how can You benefit knowing Category Theory ? (Examples in Haskell)
-
No more submissions exist.