SASL (编程语言)

✍ dations ◷ 2025-07-21 11:47:40 #SASL (编程语言)

SASL(缩写的St Andrews Static Language,或者St Andrews Standard Language,义为圣安德鲁斯静态语言或标准语言),是纯函数式编程语言,在1972年由David Turner(英语:David Turner (computer scientist))于圣安德鲁斯大学,基于ISWIM的应用式子集而开发。在1976年,Turner重新设计并重新实现它为非严格(惰性)语言。它以这种形式成为了Turner以后的语言KRC和Miranda的基础,但是SASL表现为无类型的,而Miranda有多态类型。

Burroughs公司(英语:Burroughs Corporation)使用SASL来书写编译器和操作系统。

相关

  • 生活方式社会学中,生活型态(或生活风格、生活方式)是一个人(或团体)生活的方式。这包括了社会关系模式、消费模式、娱乐模式和穿着模式。生活型态通常也反映了一个人的态度、价值观或世界
  • 黎锦扬黎锦扬(1915年12月27日-2018年11月8日),字任予,美籍华裔作家,英文署名“C.Y.Lee”。1915年出生于湖南湘潭,排行第八,长兄为国学家黎锦熙,二兄为著名作曲家黎锦晖,兄弟八人有“黎氏八骏
  • 清齿龈边塞擦音清齿龈边塞擦音(voiceless alveolar lateral affricate)是一种 辅音, 用于一些语言的口语中。唇齿鼻音在国际音标的符号是⟨t͡ɬ⟩,亦常常被简化做⟨tɬ⟩。在在NAPA(英语:Ameri
  • 阿比林基督大学阿比林基督大学(英语:Abilene Christian University)为一所本部坐落于德克萨斯州阿比林的私立基督教大学。阿比林基督大学由AB Barret和Charles Roberson提出的构想成长为在德
  • 弹性饮食弹性饮食(英语:flexible dieting)为一种新兴饮食概念,强调个体可以食用任何想吃的食物,只要符合己身的宏量营养素目标即可。因此英语上又称为:macros diet、If It Fits Your Macro
  • 矢数道明矢数 道明(1905年12月7日-2002年10月21日),本名四郎,号道明,生于日本茨城县那珂郡大宫町(今常陆大宫市),医学博士与医师,为汉方医学家,在昭和年间推动汉方医学复兴。他也是一位医学史家
  • 赤子岩赤子岩(あかごいわ)是对那些流传有婴儿相关传说的岩石总称。日本各地都存在有赤子岩,多半有只要向其许愿就能治好婴儿或幼童夜哭症的共通点。
  • 永明体永明体,亦名新体诗,为中国南朝齐齐武帝永明年间竟陵八友推行的的一种诗体。诗体要求实行周颙所提出的以平、上、去、入制韵的四声说,以及去除沈约等所提出的八病﹝平头、上尾、蜂
  • 寅次郎的故事30 寅次郎落英缤纷《寅次郎的故事30 寅次郎落英缤纷》(日语:男はつらいよ 花も嵐も寅次郎、英语:Tora-san, the Expert)是一部1982年上映的日本喜剧电影,亦是《寅次郎的故事系列》的第三十部剧场版
  • 田慧振田慧振,先前多译为全慧珍(韩语:전혜진,1976年8月10日-),韩国女演员。在演话剧时期曾使用“全伊多”(전이다)作为艺名。1998年,以电影《Film-making》(죽이는 이야기)出道。2009年结婚后,由于两名儿子年幼,田慧振集中照顾家庭。往后数年工作减产,主要出演电影配角。2013年,出演电影《恐怖直播》,收到剧本时工作上并不活跃,因此不太有信心,甚至反问导演怎么认识她,让他真的找不到其他演员才回去找她,以此回绝了邀请。结果一个月后真的再接到联络,为此十分感谢导演。2015年,出演电影《思悼》