SOMETHINGit:用于现场和声音即兴创作的原型库

T. Oda, K. Nakakoji, Yasuhiro Yamamoto
{"title":"SOMETHINGit:用于现场和声音即兴创作的原型库","authors":"T. Oda, K. Nakakoji, Yasuhiro Yamamoto","doi":"10.1109/LIVE.2013.6617341","DOIUrl":null,"url":null,"abstract":"Live programming can be considered an interaction with incomplete code. Dynamic languages embrace the similar style of programming, such as pair programming and prototyping in a review session. Static languages require a certain degree of completeness of code, such as type safety and namespace resolution. SOMETHINGit is a Smalltalk library that combines dynamic Smalltalk and static Haskell and VDM-SL. SOMETHINGit enables programmers to write incomplete but yet partially mathematically sound programs by five levels of bridging mechanisms.","PeriodicalId":137461,"journal":{"name":"2013 1st International Workshop on Live Programming (LIVE)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"SOMETHINGit: A prototyping library for live and sound improvisation\",\"authors\":\"T. Oda, K. Nakakoji, Yasuhiro Yamamoto\",\"doi\":\"10.1109/LIVE.2013.6617341\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Live programming can be considered an interaction with incomplete code. Dynamic languages embrace the similar style of programming, such as pair programming and prototyping in a review session. Static languages require a certain degree of completeness of code, such as type safety and namespace resolution. SOMETHINGit is a Smalltalk library that combines dynamic Smalltalk and static Haskell and VDM-SL. SOMETHINGit enables programmers to write incomplete but yet partially mathematically sound programs by five levels of bridging mechanisms.\",\"PeriodicalId\":137461,\"journal\":{\"name\":\"2013 1st International Workshop on Live Programming (LIVE)\",\"volume\":\"60 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-05-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 1st International Workshop on Live Programming (LIVE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/LIVE.2013.6617341\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 1st International Workshop on Live Programming (LIVE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/LIVE.2013.6617341","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

摘要

实时编程可以看作是与不完整代码的交互。动态语言包含了类似的编程风格,例如结对编程和在评审会议中创建原型。静态语言需要一定程度的代码完整性,例如类型安全和名称空间解析。它是一个Smalltalk库,结合了动态Smalltalk和静态Haskell以及VDM-SL。它使程序员能够通过五层桥接机制编写不完整但部分数学合理的程序。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
SOMETHINGit: A prototyping library for live and sound improvisation
Live programming can be considered an interaction with incomplete code. Dynamic languages embrace the similar style of programming, such as pair programming and prototyping in a review session. Static languages require a certain degree of completeness of code, such as type safety and namespace resolution. SOMETHINGit is a Smalltalk library that combines dynamic Smalltalk and static Haskell and VDM-SL. SOMETHINGit enables programmers to write incomplete but yet partially mathematically sound programs by five levels of bridging mechanisms.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信