ParentFull threadbayesian_horse·The major difference could be that type checking in coconut is optional.Not sure what that means for productivity and type safety.View on HN