Abdulsattar Mohammed

Senior Consultant

Thoughtworks

India

Member since 1 year

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

functional-conf-2016 everyday-fp accepted talk 45_mins intermediate idris dependent-types
Abdulsattar Mohammed

Senior Consultant

Thoughtworks

1 year 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 proposals exist.

Abdulsattar Mohammed

Senior Consultant

Thoughtworks

location_on India

Share

Abdulsattar Mohammed

Specialises In

Dependently Typed Programming with Idris

schedule 1 year ago

45 mins

Talk

Intermediate

card_membershipPoints System

Pro-Tip

India

1 year ago

Points System