The trans function translates the given translation key using your localization files:
<?php echo trans('messages.welcome');