程序设计语言中的内置库提供了各种功能，如dart math库。使用这些库中的功能时，需要在文件顶部通过input语句导入。例如，可以导入库并使用它提供的Point类，创建一个point实例并打印其x和y属性。可以为导入的库添加特定前缀以避免名称冲突。使用show和hide关键词可以控制导入库的具体内容，限制使用库中的某些功能，如只使用Point而不使用Random等其他功能。