Abdulsattar Mohammed

Sr. Consultant

ThoughtWorks

India

Member since 2 years

Abdulsattar Mohammed

Specialises In

everyday-fp dependent-types idris

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.

Presented 1 Session

Dependently Typed Programming with Idris

13 functional-conf-2016 everyday-fp Accepted Talk 45 Mins Intermediate idris dependent-types
Abdulsattar Mohammed

Sr. Consultant

ThoughtWorks

2 years ago

Sold Out!
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.

13 0 comments
View Details

No more submissions exist.

Abdulsattar Mohammed

Sr. Consultant

ThoughtWorks

location_on India

Share

Abdulsattar Mohammed

Specialises In

Dependently Typed Programming with Idris

schedule 2 years ago

45 Mins

Talk

Intermediate

card_membershipPoints System

Pro-Tip

India

2 years ago

Points System