search

bfpg / talks

Brisbane Function Programming Group talk ideas, scheduling & archival
https://talks.bfpg.org
Creative Commons Zero v1.0 Universal
4 stars 5 forks source link

The importance of Types #43

Closed hmijail closed 1 year ago

hmijail commented 4 years ago

The BFPG has an F in its name, not a T. So why is everything SO Type-focused? Why Types seem to have taken over the Functional Programming paradigm? (have they?) What is the difference between these Types and the types in C, Java, and such? Are there non-Functional Typed languages? OCaml can be used imperatively - does that matter for its Type system? Does Scala use the type system of the JVM? Is it more powerful than the type system in Java?

frasertweedale commented 4 years ago

@hmijail do you want to present this topic, or are you requesting this topic? :)

hmijail commented 4 years ago

Requesting ;)

frasertweedale commented 4 years ago

Added "speaker wanted" tag :)

donovancrichton commented 1 year ago

Can we close this issue, now three years later, that I'm giving a talk on this topic in October? :)

frasertweedale commented 1 year ago

Yep. Thanks!