Vijay Anant
Architect, Designer, Developer
LambdaMatters
location_on India
Member since 6 years
Share
Vijay Anant
Specialises In
I am passionate about technology and teaching. I volunteer to teach when I get free time, and have a penchant for history, anime, and poetry. Generally interested in technology as a whole, fiddle with many programming languages and tech. Currently I'm all about Functional Programming and Haskell. I love to talk in conferences and MeetUps.
-
keyboard_arrow_downHave you GADT ?
Raghu UgareArchitect, Designer, DeveloperLambdaMatters
Vijay AnantArchitect, Designer, DeveloperLambdaMattersschedule 2 years 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 4 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.
