Abdulsattar Mohammed
Sr. Consultant
ThoughtWorks
location_on India
Member since 5 years
Share
Abdulsattar Mohammed
Specialises In (based on submitted proposals)
I'm a programming languages and Functional Programming enthusiast. I've worked on F#, Haskell, Idris, Elixir, C#, Ruby and several other programming languages. I am also very excited about Frontend development in React and the ecosystem.
-
keyboard_arrow_down
Dependently Typed Programming with Idris
45 Mins
Talk
Intermediate
Types allow us to structure data to match the functional requirements of the problem we are trying to solve. But, in most languages, we end up choosing/building types that are the closest to our requirement. They don't exactly fit our bill, as a result of which, we write runtime code to enforce those conditions. Then we write tests because the compiler can't help us. Dependently Typed Languages like Idris allow us to encode a wide range of invariants into the type itself allowing us to possibly have zero runtime errors.
-
-
No more submissions exist.