2 ms·

Hi! I'm the author of Gleam, thanks for your interest. For how young we are I think we're doing a good job of building a community, there are more familiar fac

by lpil 6y ago

Hi! I'm the author of Gleam, thanks for your interest. For how young we are I think we're doing a good job of building a community, there are more familiar faces in IRC and on GitHub every day. My goal is for Gleam to be easier to use than Elixir, and in many ways we are taking inspiration from Elm which excels here. Hopefully in the future Gleam will meet your needs! :)

hopia 6y ago
Gleam seems like effort in the right place, I'm looking forward to seeing it in the wild! Since we got you here, can you tell us what's your plan with static type checking for message passing semantics? From what I understand, that's the hard part about producing a static type checker for BEAM systems. As for things like gen_server, is the idea currently that you simply give type definitions to callbacks, allowing the gen_server to model its state with types? At first glance, I also don't understand yet how parametric polymorphism works. Is it implemented at language level?