We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use of objectoriented features of OCAML, utilising late binding to override the default behaviour of generated transformations. The support for polymorphic variant types complements the ability to describe composable data types with the ability to implement composable transformations.
翻译：我们为非洲海洋大气和海洋金属委员会提供了一个通用的方案编制框架,使实施大规模类型定义的可扩展变换成为可能,我们的框架利用了非洲海洋和海洋金属委员会面向目标的特征,利用延迟约束来取代所产生变换的默认行为,对多形态变异类型的支持补充了描述可折式数据类型的能力,并有能力实施可折式变换。
相关内容
iOS 8 提供的应用间和应用跟系统的功能交互特性。
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
- Today (iOS and OS X): widgets for the Today view of Notification Center
- Share (iOS and OS X): post content to web services or share content with others
- Actions (iOS and OS X): app extensions to view or manipulate inside another app
- Photo Editing (iOS): edit a photo or video in Apple's Photos app with extensions from a third-party apps
- Finder Sync (OS X): remote file storage in the Finder with support for Finder content annotation
- Storage Provider (iOS): an interface between files inside an app and other apps on a user's device
- Custom Keyboard (iOS): system-wide alternative keyboards
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
Arxiv
0+阅读 · 2021年7月26日
Arxiv
6+阅读 · 2018年7月16日
相关主题
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2021年7月26日
Arxiv
6+阅读 · 2018年7月16日
微信扫码咨询专知VIP会员