ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
*2015年1月15日，市長柯文哲接受建中校刊專訪時，提出1、購買第二棟房，不能貸款，2、每人居住20坪為限，超過就要課重稅。。2月23稱：「想法不成熟，還是得回到公辦都更與只租不賣社會住宅。」。
*2015年2月，將美河市以廉價出租低價，號稱最便宜租金6,800元（需累積居住年限後才可經評估審核減少租金），為美河市行情3成，遭受該地居民擔心降低房價，揚言採取法律行動。3月6日，柯文哲宣布四處作為公共住宅的聯開宅，三重臺北橋站聯開宅住戶強烈反彈。。3月14日，柯文哲計畫興建中繼住宅。但被選中要改成中繼宅的中正區忠義國小，當地里長方荷生反彈。7月30日因聯開宅承租中籤者僅3成完成承租，被質疑租金太高嚇跑承租戶後；柯文哲提出修改原先規劃預計改為：
*2015年4月9日，臺北市教育局舉行中小學整併會議，被列為廢校選項之一的忠義國小家長不滿無法進入會議。柯文哲認為，公開透明不要無限上綱，他公開的也只有會議紀錄。他並表示，
*2015年4月20日，柯市府推動「田園城市」，遭國有財產署和軍方反對。國產署長莊翠雲表示閒置國有地只能進行環境美化，若種菜會讓種菜人獲益，不符無償撥用原則。
*2015年4月25日，發生監視器抓交通違規之爭議，緣於郝龍斌市府時代，市府曾表示將要求警察局研議以臺北市兩萬五千支監視器進行科技執法、取締重大交通違規，時任臺北市市議員的簡余晏痛批郝市府違反承諾，想讓臺灣淪為警察國家，並指出依法監視錄影畫面只能用來取締違法，不能用來取締行政違規，這是憲法層次的人權問題，市府不能濫權違法；但於柯文哲就任臺北市長後，針對上述郝市府任內用監視器抓違停的想法及引發之批評，卻表示現行法律並無禁用監視器抓違停，因此將研議在違規熱點設監視器，避免浪費警力站崗。並強調法律是服務人，而不是人去服務法律，如果因為條文而限制後續動作、不做改善，就是腦袋裝大便；5月1日柯文哲推翻先前發言聲稱：「(違停太多)長官不高興了，他們就警察警員就被迫，24小時進來站崗，我就更生氣了，我說要把基層的警察當作人力看待，不要隨便濫用，我說這樣乾脆就拿個，攝影機去拍就好了，故事就這麼簡單，我覺得這個社會有時候就是太過份了，第一點我已經講很清楚了，又不是拿那14,000支，監視器來開罰單。」。
*2015年9月，因波卡事件及編列第二預備金的爭議，國民黨團杯葛柯文哲施政報告
*2016年8月，上海市委常委、市委統戰部部長沙海林來臺出席在臺北舉辦的雙城論壇，引發爭議。
*楊忠和 - 前臺北市體育局局長，已請辭獲準。
*董建一 - 前無給職顧問（曾任中華民國機車黨 黨主席），已請辭獲準。
*陳銘薰 - 前研究發展考核委員會主委（現任國立臺北大學商學院企業管理學系專任教授），已請辭獲準。
*周麗芳 - 前副市長（現任國立政治大學財政學系特聘專任教授)，於2016年1月13日請辭獲準。
*倪重華 - 前文化局局長（現任資深音樂人、華山1914文化創意產業園區 總顧問），於2016年1月14日請辭獲準。
*洪智坤 - 前有給職顧問，已請辭獲準。
*黃大維 - 前北市府副發言人，赴新進修，申請留職停薪引發爭議，遭北市議員質疑，已請辭獲準。
*林裕益 - 前產發局副局長，轉調退輔會。
*高文婷 - 前建管處處長，轉調營建署。
*黃以育 - 前產發局商業處長，申請退休。
*陳永輝 - 前工務局衛工處長，申請退休。
*周禮良 - 前捷運局局長（曾任交通部政務次長），已在2016年4月6日請辭獲準。
*賀陳旦 - 前臺北捷運公司董事長，轉任交通部長。
*蘇建榮 - 前財政局局長，轉任財政部政務次長。
*邱大展 - 前臺北市府參事，2016年4月7日請辭，2016年5月初離職。
*黃治峯 - 前工務局副局長兼新工處處長，轉任桃園市工務局長。
*鍾慧諭 - 前交通局長，曾任鼎漢國際工程顧問股份有限公司總經理，於2016年6月15日請辭獲準。
*楊芳玲 - 前法務局長，公開信中指出堅持依法行政被理解成有礙市政效率、對抗市長，於2016年9月19日請辭獲準。
*湯志民 - 前教育局長，於2016年9月25提出請辭，預計在10月1日正式去職。
*謝佩霓 - 前文化局長，於2016年10月21日提出請辭並獲準，在10月25日正式去職。
*陳秀惠 - 前原民會主委，於2017年1月23日請辭獲準。
*林鶴明 - 前臺北市府秘書處媒體事務組發言人，於2017年1月7日請辭，轉任中華民國總統府發言人。
*葉芝邑 - 前臺北市府秘書處媒體事務組專員，轉任中華文化總會媒體部專員。
*林聿禪 - 前臺北市府秘書處媒體事務組專員。
*鄒建威 - 前臺北市府秘書處媒體事務組專員，於2018年4月20日請辭，轉任新北市議員參選人張志豪的幕僚。
*王寶萱 - 前市長室專員，於2017年8月請辭獲準，轉任北藝大主秘。
*蘇麗瓊 - 前臺北市府秘書處秘書長，於2017年10月15日離職。
*簡余晏 - 前觀光傳播局長，於2018年1月16日請辭獲準。
*嚴一峯 - 前臺北市府動保處長，於2018年1月16日申請退休。
*李文英 - 前臺北市府秘書處副祕書長，於2018年5月16日請辭。
*林筱淇 - 前臺北市府秘書處媒體事務組副發言人，於2018年7月14日請辭，2018年8月1日轉任柯文哲競選辦公室團隊發言人，轉任盧秀燕市府臺中市政府觀光旅遊局局長兼市府發言人。
*許立民 - 前臺北市府社會局局長，於2018年7月20日請辭，借調到期回去臺大醫院就任創傷醫療部主治醫師。
*林欽榮 - 前臺北市府副市長，於2018年11月30日請辭，借調到期回去交通大學就任教授。
*陳思宇－前臺北市政府第六屆觀光傳播局長。
*林洲民－前臺北市政府第六屆都市發展局局長。
*陳景峻－前臺北市政府第六屆副市長。
*張哲揚－前臺北市政府第七屆秘書長，申請退休。
*鄧家基－前臺北市政府第七屆副市長。
柯文哲拆公車專用道你支不支持？
臺北市長就職滿月前夕
75.26%
臺北市長柯文哲上任將滿百日，請問您對他的施政滿意嗎？
對於柯文哲推出的公共住宅政策，請問您是否滿意？
柯文哲與遠雄大巨蛋重新議約，甚至可能拆除，請問您是否滿意？
柯文哲下令226違建戶限3月底拆除，請問您對此政策滿不滿意？
2016-04-07
民調首度呈現死亡交叉
北市府研考會
2017年7月31日至8月3日晚間進行，訪問20歲以上臺市民1236人，850人拒訪。在95%信心水準下，抽樣誤差在正負2.79個百分點以。世大運舉辨前所做的民調
2017年12月12日至15日晚間進行，以電話抽查方式，成功訪問18歲以上臺北市民952人，844人拒訪，在95％信心水準下，抽樣誤差在正負3.18個百分點以內
2018年2月23日至3月29日晚間進行，以電話和手機抽查方式，臺北市民700人，在95％信心水準下，抽樣誤差在正負3.7個百分點以內。
藤井蘇堂，日本廣島縣福山人，是日本江戶后期著名南畫家。字子裕、士裕，別號千種園，又號藤井綠筠，60歲隱居后屋號帶屋。
藤井蘇堂于日本文化11年（1814年）出生于日本廣島縣福山。23歲時拜起名士南畫家藤井松林為師，明治維新時期54歲時當選下議員，明治7年(1874年)60歲時開始隱居。他工于詩書，并擅長畫山水與四君子（梅竹蘭菊）
cat:廣島縣出身人物
戴夫·考茲（，）是一位美國輕柔爵士薩克斯吹奏者。
1963年3月27日戴夫·考茲出生于加利福尼亞州恩西諾市，父母是猶太人，父親諾曼是皮膚科醫生，母親奧黛麗哈是藥劑師。大衛有一個弟弟杰夫和一個妹妹羅伯塔，杰夫也是一個音樂家。盡管他是猶太人，考茲偶會在他的音樂會上演奏圣誕節和光明節歌曲。他入讀加利福尼亞洛杉磯林地山（Woodland Hills）的威廉霍華德塔夫脫特許高中，是校內爵士樂隊演奏薩克斯的成員。1986年他以大眾傳媒學位畢業于加州大學洛杉磯分校，畢業后只有幾周就決定成為一名專業的音樂家。
畢業沒幾周，他被招募成為鮑比·考德威爾巡回演出的成員。1980年代末，考茲在幾個樂隊中擔任錄音樂師和杰夫·羅伯（Jeff Lorber）一起巡回演出。在1980年代末和1990年代初，考茲是理查·馬克斯樂隊的成員並一起巡回演出。他還在哥倫比亞廣播公司（CBS）的The Pat Sajak Show中演奏，湯姆·斯科特擔任領隊。
1990年，考茲決定單飛，并開始為國會唱片（Capitol Records）錄制。他的專輯包括《幸運的男人》、《舞蹈》、《Saxophonic》。Saxophonic被提名格萊美獎和有色人種促進協會形象獎。1994年，考茲開始主持一個廣播聯賣電臺節目，「戴夫·考茲的廣播節目」（Dave Koz Radio Show，以前稱「個人筆記」），是關於最近的音樂和訪談。戴夫在洛杉磯一間輕柔爵士電臺「94.7電臺」共同主持「戴夫·考茲早間節目」（The Dave Koz Morning Show）長達六年。2007年1月他決定離開這個節目，由布萊恩·麥肯奈特接替。2002年考茲與弗蘭克·科迪和海曼·卡茨開設了一家唱片公司「相約娛樂」（Rendezvous Entertainment）。
2006年戴夫和威曼·迪斯戴爾（Wayman Tisdale）在戴夫·考茲與朋友的柔和爵士樂巡航（Dave Koz & Friends Smooth Jazz Cruise）上的表演
2006年，考茲被選中為Broadcast Architecture公司舉辦的新爵士樂網絡午后節目擔任主持。這個演出以洛杉磯為基地，在全國其它爵士樂電臺播出。在一周中，考茲和拉姆齊·劉易斯是僅有的兩個柔和爵士樂人物擔任主持，分別主持兩個不同的節目。國會唱片/百代唱片的“Forever Cool”（2007年）突出了考茲在編曲中加入了后迪恩馬丁的新風格。
自2005年以來，考茲加入了一年一度的戴夫·考茲與朋友的柔和爵士樂巡演。
考茲主持了名為Frequency的每周半小時的電視訪談節目。考茲采訪的音樂家有地，風與火、喬納森·巴特勒和凱利·斯威。在每次采訪結束之前，他都會和受采訪的音樂家一起表演，在他們的熱門歌曲中添加一些薩克斯管即興演出。
考茲也是The Emeril Lagasse Show的樂隊領班。這個樂隊Dave Koz & The Kozmos的成員有吉他手Jeff Golub、鍵盤手Philippe Saisse、低音吉他手Conrad Korsch和鼓手Skoota Warner。
考茲演奏往往使用一個雅馬哈中音薩克斯搭配比才爾七號金屬喉舌，或者一個雅馬哈降B高音薩克斯搭配8號Couf喉舌，又或者埃馬克6次中音薩克斯管搭配一個Berg-Larsen 90/2硬橡膠喉舌。
2009年9月22日，考茲在好萊塢星光大道（Hollywood Walk of Fame）收到一顆星。
2010年10月，考茲在《絕望的主婦》第七季插曲“Let Me Entertain You”中與歌手Dana Glover一同演奏“Start All Over Again”。2012年7月，他在The Eric André Show第1季第7集登場，坐在樂隊中。
2014年12月，他開了Spaghettini & the Dave Koz Lounge，是一個內有現場音樂演出的餐廳，位于加州比佛利山莊的184 North Canon Drive，合作伙伴還有Cary Hardwick和Laurie Sisneros，他們在西爾灘開了Spaghettini。
2004年4月在The Advocate雜志一次采訪中，考茲公開自己是同性戀。
Umekita廣場佔地近十萬呎，用作舉行各種活動之用
Grand Front Osaka位於日本大阪市北區大深町4番20號，毗鄰大阪站，是綜合商住發展計劃，設四棟建築，包括商場、辦公室、大阪洲際酒店及住宅，總投資額約億日元，於2013年4月26日開幕。前身為梅田站貨運場。
商場分為南館及北館兩座大樓，面積達48萬呎，樓高各12層，於2013年4月26日開幕。場內設266間商舖，有3間為日本初登場，72間為關西初登場的新店舖，如 ZARA HOME、Ron Herman等。
戶外設佔地近十萬呎Umekita廣場，用作舉行各種活動之用。
樓高38層，地庫三層，商場上蓋為寫字樓A座。由三菱地產、NTT Urban Development Corporation、大阪站北地區開發TMK、積水房屋、北美資產的特定目的公司、阪急電鉄及MEC發展開發項目。
商場樓高9層，設眾多類型租戶，包括多個流行的時裝品牌、雜貨店、大型書店，餐廳和咖啡店。而7至8樓UMEKITA FLOOR，設16家餐廳，包括酒吧以至日式、西式及中菜食店。9樓設平臺花園和寫字樓A座大堂。
場內亦設特色租戶，包括地庫設品嘗各地美酒的啤酒及美酒博物館；地庫至1樓為高科技體驗的Knowledge Capital及Panasonic Center。
由寫字樓B座，五星級酒店「大阪洲際酒店」和商場組成。
北館為KNOWLEDGE CAPITAL，不少店舖講求互動體驗。B1層設世界啤酒博物館，地下設Benz咖啡廳，3樓設玩具店遊戲區Bornelund、全關西最大的無印良品；5樓的「好日山莊」在商場設立攀石牆，讓客人體驗與大自然玩遊戲的樂趣。而6樓設營業至凌晨4點的「深夜食堂」8 Floor，有各式各樣的餐廳和酒吧。
北館亦有體驗試玩的陳列室，包括位於2樓及3樓，展示日本最新科技的產品及技術The Lab、地庫的主題展覽場EVENT Lab、2樓的Suntory Whisky House、3樓可口可樂體驗店、
グランフロント大阪オーナーズタワー
為獨立的單棟住宅，樓高48層。
大阪洲際酒店於2013年7月開幕，為五星級酒店，設272間客房。
* 大阪站 （西日本旅客鐵道（JR西日本））
* 梅田站 （大阪市營地下鐵御堂筋線、阪急電鉄、阪神本線）
** 東梅田站 （大阪市營地下鐵谷町線）
** 西梅田站 （大阪市營地下鐵四つ橋線）
* OSAKA STATION CITY
* 鐵道建設、運輸施設整備支援機構
* Grand Front Osaka 網頁
*  Grand Front Osaka 租戶名單
*  UMEKITA FLOOR
*  KNOWLEDGE CAPITAL
《夏日傾情》是香港歌手黎明的錄音室專輯，全碟由陳永明監製，以夏天為概念主題，收錄了10首歌曲，於1993年6月23日由唱片公司寶麗金首次發行，銷量約十六萬張（三白金），主打歌曲〈夏日燒著了〉及〈夏日傾情〉在香港三大電子媒體的音樂排行榜獲得冠軍，有研究指黎明憑此專輯將自己的事業推向新高度。
這張專輯定名為《夏日傾情》，同時以西班牙文命名為「Apasionese en el Verano」，配合《黎明夏日傾情演唱會》而推出，唱片封套以夏日色彩為設計概念，黎明在封面照展現出閑適、悠然自得的情感。兩首主打歌〈夏日燒著了〉及〈夏日傾情〉曾用作電訊廣告歌曲，〈夏日燒著了〉改編自日本樂團南方之星的作品，曲風以老式的爵士樂為主，黎明在音樂短片中演繹的舞蹈由林青峰編排；〈夏日傾情〉改編自日本歌手谷村新司的作品，由向雪懷填詞，內容講述一個少女與情人之間的感情承諾，體現出二人久久不見，盼望在夏日相聚的那份春去秋來感覺，歌詞中呈現浪漫的意象和寫法，使聽眾切入和投入歌曲中，黎明以當時常見的震音唱法演繹歌曲，歌曲的音樂短片由電視廣播有限公司綜藝科導演唐婉儀執導，黎明和江希文合作演出，拍攝地點位於山旁的石屋。
以下是《夏日傾情》的幕後團隊：
*鍵琴：唐奕聰（曲目1,4,5,8－10）、Tony A.（曲目2）、盧東尼（曲目6）、Richard Yuen（曲目7）
*結他：鄧建明（曲目1,4,8,9）、蘇德華（曲目2,3,5,6）、Jim（曲目7）
*電子樂器：唐奕聰（曲目1,4,5,8－10）、陳澤忠（曲目3）、Richard Yuen（曲目7）
*和音：雷有曜（曲目1－3,7）、鍾慶鴻（曲目1,2,7）、曹潔敏（曲目1－5,7－9）、李小梅（曲目1－9）、蘇德華（曲目2）、張偉文（曲目3－6,8,9）、陳美鳳（曲目3－6,8,9）、雷有輝（曲目3）、譚錫禧（曲目3－6,8,9）
*混音：Ronnie Ng、Leo Chan
綜合各界評論，這張專輯的主打歌曲之一〈夏日燒著了〉的節奏帶點懷舊爵士風，曲風頗獨特，在當時的粵語流行曲甚為少見，〈孤單的人孤單的我〉的歌詞表達出樂得安靜的清心感覺，以木結他為主要伴奏樂器，評論認為反樸歸真的編曲也是一種美，而〈夏日傾情〉的歌詞內容間接與廣告連繫，對歌手而言，可增加歌曲的播放率，並透過廣告畫面加深聽眾對歌曲的印象；對廣告商而言，可借助歌手的名氣作宣傳，電臺、電視臺在播放有關歌曲時，亦可變相達到宣傳效果。唱片收藏家黃國恩認為歌曲〈夏日傾情〉的其中一個成功元素並非作品本物，而是廣告配合下所構成的回憶，將歌手對女主角的深情投射在聽眾自身感受中。香港填詞人方俊傑認為〈夏日傾情〉除了是一首流行曲，也是黎明與歌迷互相交流的一個通話工具，把觀眾的情感滿足填到最充實。2021年，黎明認為歌曲〈夏日傾情〉的震音過多且演唱技巧已經過時，決定重新灌錄歌曲〈夏日傾情〉，定名為〈夏日傾情（重新唱）〉，於2022年推出，引起了公眾迴響並重聽原版〈夏日傾情〉，歌曲更一度登上iTunes排行榜第一位，有評論認為震音是1990年代常見的歌唱技巧之一，並表示歌曲勾起了一代人的集體回憶。
以下是《夏日傾情》的派臺歌曲名單，以及其歌曲在香港三大電子媒體音樂流行榜的最高位置。
〈夏日燒著了〉
〈夏日傾情〉
〈YA YA YA〉
〈孤單的人孤單的我〉
以下是收錄於《夏日傾情》專輯的歌曲獲頒發的獎項：
*電視廣播有限公司1993年度勁歌金曲季選——第二季得獎歌曲〈夏日燒著了〉
*電視廣播有限公司1993年度勁歌金曲季選——第三季得獎歌曲〈夏日傾情〉
*電視廣播有限公司1993年度十大勁歌金曲頒獎典禮——十大勁歌金曲獎〈夏日傾情〉
*香港電臺1993年度十大中文金曲頒獎音樂會——十大中文金曲獎〈夏日傾情〉
*新城電臺金曲臺1993年度金心情歌頒獎禮——本地金心情歌金獎〈夏日傾情〉
*香港商業電臺1993年度叱吒我最喜愛歌曲——第二回合得獎歌曲〈夏日燒著了〉
*香港商業電臺1993年度叱吒我最喜愛歌曲——第三回合得獎歌曲〈夏日傾情〉
EA-18G「咆哮者」（英語：EA-18G Growler）是波音公司開發的艦載型電子作戰機，自2007年開始生產，於2009年開始服役。本機以雙座型的F/A-18F超級大黃蜂為基礎研製，用以取代美國海軍EA-6徘徊者式電子作戰機。而機上的電戰系統主要由諾斯洛普·格拉曼公司提供。
VX-9「吸血鬼」中隊（第九空中測試與評估中隊）中接受測試與評估，攝於2008年8月。
*2001年11月15日，波音公司成功完成在F/A-18F上搭載ALQ-99電子作戰系統的測試及概念驗證。
*2008年12月，美國海軍批出開發合約給波音公司為主要承辦商。作為主要承辦商的波音公司，負責機身前端、機翼生產及最後組裝；而次承辦商的諾斯洛普·格魯曼則負責機身中後、機身後段及主要電子作戰設備的生產。
*2004年10月22日，首架EA-18G試驗機(EA-1)進入生產階段。
*2006年8月3日，EA-1出廠。
*2006年8月15日，在聖路易斯進行首飛。
*2006年9月22日，運到位於馬里蘭州的 Naval Air Station Patuxent River美國海軍基地進行實驗室測試。
*2006年11月10日，第二架試驗機EA-2首飛。
*2006年11月29日，運往帕圖森河海軍航空站（Naval Air Station Patuxent River）美國海軍基地。
* EA-18G Growler（美國波音防務官網）
* EA-18G Growler（官網）
*  美國海軍EA-18G電戰機（青年日報）
*   美國海軍防空制壓主力──EA-18G電戰機（青年日報）
李獎，字道休，隴西郡狄道縣（今甘肅省定西市臨洮縣）人，安北將軍、營州刺史、樂平宣惠伯李思穆的長子，北魏、東魏、北齊官員。
李獎受到姻親魏孝莊帝元子攸所親近，魏孝莊帝因此重新越級贈予李思穆衛將軍、中書監、左光祿大夫、謚號宣惠。李獎因為親戚的恩澤，被賜予廣平侯的爵位，歷任中書侍郎、兼散騎常侍。武定三年春正月丙申（545年2月13日），兼任散騎常侍李獎作為使者出使南梁。回朝后，李獎歷任黃門郎、司徒左長史，代理瀛州刺史。北齊天保元年五月辛未（550年6月22日），李獎兼任侍中、冀瀛滄三州大使，與封述等共八名大使，巡視各地風俗，訪問百姓困苦。回朝后，李獎出任魏尹。死后，朝廷贈予濟州刺史、中書令。
*李翻，西涼驍騎將軍、祈連酒泉晉昌三郡太守
*李思穆，北魏安北將軍、營州刺史、樂平宣惠伯
*天水趙氏，北魏使持節、征虜將軍、岐華二州刺史、尋陽成伯趙超宗第二女
Modula-3是一種系統編程語言，它是叫做的升級版本的Modula-2的后繼者。雖然它已經在研究界有了影響力（受其影響的語言有Java、C#和Python），但未能在工業上被廣泛采用。它是在上世紀80年代末由在數字設備公司（DEC）（SRC）和Olivetti研究中心（ORC）的、James Donahue、Lucille Glassman、Mick Jordan（之前在Olivetti軟件技術實驗室工作）、Bill Kalsow和設計。
Modula-3的主要特點，是保持系統編程語言的強力，同時具有簡單性和安全性。Modula-3意圖延續Pascal的類型安全傳統，同時為實際編程引入新構造。特別是Modula-3添加了如下支持：泛型編程（類似于模板）、多線程、異常處理、垃圾回收、面向對象編程、部份披露和不安全代碼顯式標記。Modula-3的設計目標，是以非常基本的形式，實現指令式編程語言的大部份重要的現代特征。因此省略了涉嫌危險和復雜的特征，如多重繼承和運算符重載。
Modula-3項目始于1986年11月，當時莫里斯·威爾克斯向尼克勞斯·維爾特寫信，提出了一些關于Modula新版本的想法。威爾克斯在此之前一直在DEC工作，他回到英格蘭并加入了Olivetti的研究策略委員會。Wirth已經轉移到了Oberon，但Wilkes的團隊在Modula名下繼續開發沒有任何問題。語言定義于1988年8月完成，并于1989年11月更新了版本。DEC和Olivetti的編譯器很快就出現了，隨后又有了第三方實現。
它的設計受到和Acorn計算機研究中心（ARC，在Olivetti收購Acorn之后叫做ORC）在語言上的工作的很大影響，是編寫多處理器VAX工作站的操作系統的語言，還是在基于ARM的系列計算機的項目中，ARC編寫用于Acorn C和模塊執行庫（CAMEL）的Acorn編譯器的語言。正如修訂的Modula-3報告所述，該語言演化自Mesa、Modula-2、Cedar和，還受到其他語言的影響如：Object Pascal，Oberon和。
在20世紀90年代，Modula-3作為一種教學語言獲得了可觀的傳播，華盛頓大學在1994年發行的微內核操作系統是用Modula-3開發的，但它從未廣泛用于工業用途。造成這種情況的原因，可能是Modula-3的關鍵支持者DEC的消亡（特別是在1998年DEC被出售給康柏之前就不再有效地維護它了）。無論如何，盡管Modula-3有著簡單性和強大功能，似乎當時對有限實現了面向對象編程的過程式編譯語言的需求很少。
Critical Mass公司曾在一段時間內提供了一個名為CM3的商業編譯器，它由以前DEC SRC的在DEC被出售給Compaq之前雇用的一個主要實現者維護，和叫做Reactor的一個集成開發環境以及可擴展的Java虛擬機（以二進制和源格式許可發行并可用Reactor來構建）。但該公司在2000年停止了活動，并將其產品的一些源代碼提供給了elego軟件解決方案有限公司。
基本上，Modula-3的唯一企業支持者是elego軟件解決方案有限公司，它繼承了Critical Mass的資源，并且已經以源代碼和二進制形式發布了幾個版本的CM3系統。Reactor IDE在幾年后才開源發布，新的名稱是CM3-IDE。2002年3月，elego還接管了此前由蒙特利爾工程學院維護的另一個活躍的Modula-3發行版PM3的存儲庫，在此后幾年間以HM3名義進行了持續改進，直至最終被淘汰。
Modula-3是文檔記錄了語言特征演化的少見語言之一，在《用Modula-3系統編程》中，收錄了設計者對四個設計要點的討論：結構等價與名稱等價、子類型規則、泛型模塊和參數模態。Modula-3現在主要是在大學中的比較編程語言課程中教授，其教科書已絕版。
Modula-3中所有的程序至少具有一個模塊文件，而大多數程序還包括一個接口文件，客戶端使用它來訪問來自模塊的數據。語言語法的一個常見示例是Hello world程序：
MODULE Main;
IMPORT IO;
IO.Put("Hello World\n")
END Main.
與其他語言一樣，Modula-3程序必須有導出Main接口的實現模塊，如上述示例中實現模塊缺省導出了同名的接口，它可以處在名為Main.m3的文件中；或者是通過EXPORTS導出Main接口的實現模塊，比如：
MODULE HelloWorld EXPORTS Main;
END HelloWorld.
建議這個模塊所在的文件的名字與實際模塊名字相同，當它們不同時編譯器只是發出一個警告。
Modula-3的設計者認為：始自BCPL的C語言家族，其優美在于以適度的代價得到了相對匯編語言的巨大飛躍，但它們接近于目標機器的低層是天然有危險性的；其中的衍生語言C++，通過增加對象豐富了C，但它放棄了C的最佳優點簡單性，卻沒有消除它最差缺點即低層編程模型。另一個極端是LISP語言家族，它們有著混合了lambda演算和配對函數理論的，但它們趨于難以高效實現，因為在編程模型中值的統一對待，招致了所有的值都由指針統一表示的運行時間系統；這個家族的語言的良好實現避免了多數代價而能用于系統編程，但它們普遍秉性仍舊向往堆分配而非棧分配，這種運行時間系統經常將它們孤立于封閉環境中，而不能容納用其他語言寫的程序。
Modula-3的設計者認為：ALGOL語言家族處在這兩個極端之間，它的現代代表包括Pascal、Ada、Modula-2和Modula-3，這些語言擁有的編程模型反映了隨機存取機在工程上的約束，隱藏了任何特定于機器的細節。它們放棄了LISP家族的優美和數學對稱性，使得無須特殊技巧就可能高效的實現，并且避免了C家族的多數危險和依賴機器的特征。它們都有強類型系統，其基本想法是把值空間劃分成類型，限制變量持有單一類型的值，并且限制運算應用于固定類型的運算數。
Modula-3承襲了ALGOL家族傳統的強類型，并且為了使類型系統盡可能的統一，采用了如下原則：首先，類型或目標類型確定是沒有歧義的，所有的表達式的類型由它的子表達式來確定，而非由它的使用來確定。其次，沒有自動轉換。第三，可賦值性和類型兼容性，是依據單一的在語法上用指定的子類型關系來定義的，它具有如下性質：如果T是U的子類型，則所有的T的成員都是U的成員，子類型關系是自反和傳遞的；子類型關系是處理具有繼承的對象所需要的，但也能用于確定常規類型的兼容性規則。
Modula-3委員會堅持一個自稱為“復雜度預算”的設計原則：在五十頁內將語言準確而易讀的描述出來，為此只容納最有用的特征。精選出來的特征直接針對兩個主要目標：接口、對象、泛型和線程，提供有助于建造大型程序的基礎抽象模式，不安全代碼的顯式標記、自動垃圾收集和異常，有助于讓程序更加安全和健壯。這些特征中任何一個都沒有特殊的新穎性，但是組合起來是簡單而強力的。
一個典型的不安全運行時間錯誤，是釋放仍可由活躍引用（懸空指針）觸及的數據結構。避免這個問題的唯一可靠方式，是不再觸及存儲的自動釋放，或稱為垃圾收集。Modula-3因而提供了有跟蹤的引用，它類似于Modula-2的指針，除了它們所指向的存儲被保存在有跟蹤的堆之中之外，在這里它們將在到它們的引用都消失時自動釋放。垃圾收集的另一個巨大利益是簡化了接口，沒有垃圾收集，接口就必須規定客戶或實現是否有責任釋放每個分配的引用，和在什么條件下可以安全的去這么做。
異常是一次退出多層作用域的控制結構。一個異常被重復的發起退出當前活躍的作用域，直到找到給這個異常的處理器，并將控制權移交給這個處理器，如果沒有處理器，則計算以某種依賴于系統的方式終止，比如進入調試器。在Modula-3中，EXIT和RETURN語句的語義，分別使用叫做exit-exception和return-exception的異常來定義。Modula-3的設計者認為：語言實現應當以除了返回異常和退出異常之外的異常為代價，加速正常的結果產出。為每個引發的異常花費一千條指令，來為每個過程節約一條指令都是合理的。
一個Modula-3程序規定了一個計算，它作用在一序列的叫做地點（location）的數字元件之上。變量是地點的一個集合，它依據這個變量的類型所確定的約定，表示一個數學上的值。如果一個值可以由類型T的某個變量來表示，則稱謂這個值是T的一個成員，并且T包含這個值。
為一個變量、類型、過程、或異常指定一個被稱為的作為名字。一個聲明應用于其上的程序區域，叫做這個聲明的作用域。作用域是可以嵌套的。一個標識符的含義，由這個標識符在其中聲明的最小的包圍作用域來確定。
類型聲明有如下形式：，這里的T是一個標識符，而U是一個類型或類型表達式。在需要類型的各種地方，通常允許類型表達式。
變量聲明有如下形式：，這里的id是一個標識符，T是除了開放數組之外的一個非空類型，而E是一個表達式。它聲明了id是類型T的一個變量，其初始值是E的值。:= E和: T任何一個都可省略，但二者不能都省略。如果省略了T，它采用E的類型。如果省略了E，初始值是類型T的任意值。如果二者都存在，E必須可賦值給T。初始值是一種簡寫，等價于在隨后的塊的可執行部份開始處插入賦值id := E，如果多個變量有初始值，按它們聲明的次序插入它們的賦值。形式，是的簡寫。
聲明有如下形式：，這里的id是一個標識符，T是一個類型，而C是一個常量表達式。它聲明id為具有類型T和值C的一個常量。: T可以省略，在這種情況下id的類型是C的類型。如果T存在，則它必須包含C。
Modula-3的類型系統使用，而非Modula-2的即類型構造子的每次出現產生一個新類型。在結構等價中，在如果兩個類型的定義在展開的時候，也就是在所有常量表達式都被替換為它們的值，并且所有類型名字都被替代為它們的定義的時候，變成相同的，則這兩個類型是相同的。在遞歸數據類型的情況下，這個展開是部份展開的無窮極限。
有三種序數類型：枚舉、子范圍和整數類型，預定義了如下序數類型：INTEGER、LONGINT、CARDINAL（如同子范圍0..LAST(INTEGER)）、BOOLEAN（枚舉{FALSE, TRUE}）和CHAR（包含至少256個元素表示ISO-Latin-1代碼的枚舉）。整數和枚舉元素合起來叫做序數值。序數值v如果是整數或擴展精度整數，則v的基礎類型分別是INTEGER或LONGINT，否則v的基礎類型是包含它的那個唯一性的枚舉類型。兩個序數如果有相同的值則二者相等。
有三種浮點類型：REAL、LONGREAL和EXTENDED，這些類型的屬性規定在對應的必要接口中。兩個浮點數如果定義它們的底層實現相同則二者相等。
一個引用值要么是NIL，要么是一個叫做所引用者（referent）的變量的地址。預定義了如下引用類型：REFANY，它包含所有的有跟蹤的引用，ADDRESS，它包含所有的無跟蹤的引用，和NULL，它只包含NIL。Modula-3支持在運行時間的數據分配。分配操作有如下形式：，這里的T是除了預定義的REFANY、ADDRESS或NULL之外的引用類型。兩個引用如果尋址相同的地點則二者相等。
記錄是叫做這個記錄的字段的命名變量的一個序列，記錄類型的聲明有如下形式：，在這里的類型表達式中，RECORD是類型構造子，而它的實際參數是字段聲明的一個列表FieldList，其中每個字段都有如下形式：，這里的字段名字fieldName是一個標識符，而字段類型Type是除了開放數組之外的非空類型，而字段缺省值default是一個常量表達式。形式，是的簡寫。兩個記錄如果有相同的字段，并且對應的字段都相等則二者相等。
在Modula-3中的對象非常類似于Simula 67中的對象：它們總是引用，它們擁有數據字段和方法二者，并且它們有著單一繼承而非多重繼承。預定義了如下對象類型：ROOT，它是沒有字段或方法的有跟蹤的對象類型，和UNTRACED ROOT，它是沒有字段或方法的無跟蹤的對象類型。
是一個名字，它指示某個給定引用類型的未知子類型。預定義了兩個：TEXT  和MUTEX ，它們分別表示文本串和互斥信號量，它們的屬性分別規定于必要接口Text和Thread之中。
數組是叫做這個數組的元素的組成變量的有索引的搜集。有兩種數組類型，固定的和開放的。固定數組的長度是在編譯時間確定的，開放數組的長度是在運行時間分配確定的，這個長度此后不能改變。兩個數組如果有相同的長度，并且對應的元素都相等則二者相等。
包裝類型的變量出現在記錄、對象或數組中，占據指定數量的位元，并毗鄰于前導的字段或元素緊壓打包。包裝類型的聲明有如下形式：，這里的Base是一個基礎類型，而n是整數取值的常量表達式。
集合是取自某個序數類型的值的搜集。集合類型聲明有如下形式：，這里的基礎類型Base是一個序數類型。兩個集合如果有相同的元素則二者相等。
不包含值的一個類型是空的，例如1..0是一個空類型。空類型可以用來建造非空類型，比如SET OF 1..0。聲明一個空類型的一個變量是靜態錯誤。
所有的都有一個唯一的類型，但是一個值可以是很多類型的一個成員，例如值6是0..9和INTEGER二者的成員，因此論述“一個值的類型”將會是有歧義的。短語“x的類型”，意味著“表達式x的類型”；然而短語“x是T的成員”，意味著“x的值是T的成員”。但在有一種情況下，一個值可以稱為有著一個類型：所有的對象或有跟蹤的引用值，包括了一個類型代碼，它叫做這個引用值的分配類型。分配類型通過TYPECASE語句來測試。
語言規定提供了類型運算BITSIZE、BYTESIZE和ADRSIZE，分別返回變量x或者類型T的那些變量的位元數目、8位字節的數目和可尋址地點的數目。在所有情況下，x必須是指示符，而T必須不是開放數組類型，指示符x只在它的類型是開放數組的時候求值。
枚舉類型聲明有如下形式：，這里的id是各不相同的標識符，類型T是n個值的有序集合，表達式T.id_i指示這個類型在遞增次序下的第i個值，空枚舉{ }是允許的。
子范圍類型聲明有如下形式：，這里的Lo和Hi是有相同的基礎類型的兩個序數值，T的值是從Lo到Hi含二者所有的值，它們必須是常量表達式，如果Lo超過Hi，則子范圍是空的。
每個不同的枚舉類型介入新的一組值，而子范圍類型重復使用底層類型的值。例如：
T1 = {A, B, C};
T2 = {A, B, C};
U1 = T1.A..T1.C;
U2 = T1.A..T2.C;  (* sic *)
V = {A, B}
這里的T1和T2是相同類型，因為它們有相同的展開定義。U1和U2也是相同的類型，因為T1.C = T2.C。類型T1和U1卻是不同的，盡管它們包含相同的值，但是T1的展開定義是枚舉，而U1的展開定義是子范圍。類型V是第三個類型，它的值V.A和V.B無關于值T1.A和T1.B。
語言規定提供了支持序數類型的一些類型運算：對于序數類型T，NUMBER(T)返回在T中元素的數目，FIRST(T)返回T的最小值，LAST(T)返回T的最大值。ORD(T.id)將一個枚舉的元素T.id，轉換成表示它在枚舉次序中所處位置的整數，如果元素的類型是枚舉T的子范圍，結果是元素在T內的位置，而非在子范圍內。VAL(i, T)將表示在枚舉類型T中位置的整數i，轉換成在這個枚舉中此位置上的那個元素，如果T是枚舉類型的子范圍，結果是在源出枚舉類型的位置i上的元素，而非在子范圍內。如果n是類型T的一個整數，則有平凡的：ORD(n) = VAL(n, T) = n。
固定數組類型聲明有如下形式：，這里的索引類型Index是序數類型，而元素類型Element是除了開放數組之外的任何類型。開放數組類型聲明有如下形式：，這里的元素類型Element是任何類型。
數組類型T的值，是元素類型為Element的數組；對于固定數組類型，這個數組的長度是索引類型Index的元素數目；對于開放數組類型，這個數組的長度是任意的；開放數組的索引類型是INTEGER子范圍0..n-1，這里的n是這個數組的長度。開放數組類型只能用作形式參數的類型，引用類型的所引用者，另一個開放數組的元素類型，或作為數組構造子中的類型。
多維數組的形狀是它每一維的長度的序列。更精確的說，一個數組的形狀是它的長度跟隨著任何它的元素的形狀，非數組的形狀是空序列。數組如果有相同的類型和形狀，則它們是可賦值的。如果賦值的要么來源要么目標是開放數組，則需要運行時間檢查。形如的表達式，是的簡寫。
如果a有數組類型T，則ai指示a的一個指定元素，它在數組中的位置對應于i在索引類型中位置。形如ai_1, ..., i_n的表達式，是ai_1...i_n的簡寫。索引的解釋由一個數組的類型確定，而非它的值；數組賦值改變數組變量的值，而非它的類型。例如：
a := ARRAY 1..3 OF REAL {1.0, 2.0, 3.0};
b: ARRAY -1..1 OF REAL := a;
這里在a或b做元素值變更之前，a = b為TRUE，盡管a1 = 1.0而b1 = 3.0。
可以使用NUMBER(A)，得到一個固定數組類型的索引類型中的元素數目，使用FIRST(A)和LAST(A)，分別得到一個固定數組類型的索引類型的最小元素和最大元素。可以使用NUMBER(a)，得到一個數組的索引類型中的元素數目，使用FIRST(a)和LAST(a)，分別得到一個數組的索引類型的最小元素和最大元素，在這種情況下，表達式a只在它指示一個開放數組的時候求值。
一個引用類型要么是有跟蹤的要么是無跟蹤的。當到已分配的一段存儲的所有的有跟蹤的引用都消失時，系統對這段存儲進行垃圾回收。有跟蹤的引用類型以如下形式來聲明：，這里的Type是任何類型。T的值是到類型Type的變量的有跟蹤的引用，Type叫做T的所引用類型。無跟蹤的引用類型以如下形式來聲明：，這里的Type是任何無跟蹤的類型（這個限制在不安全模塊中解除）。
兩個引用類型如果都是有跟蹤的或都是無跟蹤的，那么它們有相同的引用類。一個一般性的類型是有跟蹤類型的條件為，它是有跟蹤的引用類型，其任何字段類型是有跟蹤類型的記錄類型，其元素類型是有跟蹤類型的數組類型，或其底層未包裝類型是有跟蹤類型的包裝類型。
在有跟蹤的和無跟蹤的二者情況下，關鍵字REF可選的可以前導上BRANDED b，這里的b是叫做銘牌（brand）的文本常量。銘牌用來區分原本上相同的類型，它們沒有其他語義效果。在一個程序中所有銘牌都必須是唯一性的。如果BRANDED出現而b缺席，系統自動的為b提供一個唯一的值。
分配操作返回T的所引用類型的一個新分配的變量的地址，如果T是對象類型，則返回到有配對的方法套件的一個新分配的數據記錄的引用。NEW返回的引用不同于所有的現存引用。這個新引用的分配類型是T。如果T的所引用類型為空則是一個靜態錯誤。如果T是到有k個開放維度的數組的引用，NEW(T)操作有如下形式：，這里的這些n是指定新數組在它的前k個維度上的長度的整數取值表達式。
所有的對象類型和有跟蹤的引用類型（包括NULL）都有一個關聯的整數代碼。不同的類型有不同的代碼。給一個類型的代碼對程序的任何單一執行都是常量，但對不同的執行可以不同。類型運算TYPECODE(T)，返回類型T的這個代碼，而TYPECODE(r)，返回引用r的分配類型的這個代碼。如果T是REFANY，或者不是對象類型或有跟蹤的引用類型，則是一個靜態錯誤。類型運算ISTYPE(x, T)，測試x是否為T的成員，這里的T必須是對象類型或有跟蹤的引用類型，而x必須可賦值給T。
規定產生一個值或變量的一個計算。所有的表達式都有一個靜態確定的類型，它包含這個表達式可以產生的所有的值。在語法上，一個表達式要么是一個運算數，要么是應用于自身也是表達式的實際參數的一個運算。運算數是、或類型。通過遞歸的求值一個運算的實際參數并應用這個運算，來求值一個表達式。實際參數的求值次序，對除了短路求值的AND和OR之外的所有運算都是未定義的。
對一個過程的調用，在這個過程是返回一個結果的函數過程的時候，是稱為函數應用的一個表達式，這個表達式的類型是過程的結果類型。
Modula-3語言規定提供了前綴算術運算：+、-，中綴算術運算：+、-、*、/、DIV、MOD，數值函數運算：ABS(x)、FLOAT(x, T)、FLOOR(x)、CEILING(x)、ROUND(r)、TRUNC(r)、MAX(x, y)、MIN(x, y)，關系運算：=、#、 、>=、>、，邏輯運算：NOT p、p AND q、p OR q，文本串接運算：a & b，內存分配運算：NEW(T, ...)，集合運算：并集+、差集-、交集*、對稱差集/和隸屬關系測試e IN s，它在序數e是集合s的元素的時候返回TRUE。
表達式可建構自如下：、實數文字、和。集合、數組和記錄有構造子表達式：
*S{e_1, ..., e_n}，這里的S是一個集合類型，而這些e是表達式或lo..hi形式的范圍。這個構造子指示類型為S的一個值，它包含列出的那些值和在列出的范圍中的那些值，這些e、lo和hi必須可賦值給類型S的元素類型。
*A{e_1, ..., e_n}，這里的A是一個數組類型，而這些e是表達式。這個構造子指示類型為A的一個值，它包含遵循列出次序的這些列出元素，這些e必須可賦值給A的元素類型。如果A是多維數組，則這些e必須自身也是數組取值表達式。如果A是固定數組類型，并且n至少為1，則e_n可以跟隨著, ..，指出e_n的值按照需要重復任意多次來填滿這個數組。
*R{Bindings}，這里的R是一個記錄類型，而Bindings是完全同于過程調用的關鍵字或位置綁定的一個列表。這個綁定列表會被重寫來適合R的字段和缺省值的列表，完全同于過程調用中的那些做為，記錄字段名字扮演了過程形式參數的角色。這個構造子指示類型為R的一個值，它的字段值由重寫后的這些綁定來指定。
表達式是一般性的表達式類的子集，所要求的限制使得可以靜態的求值這個表達式。在常量表達式中，除了NEW、解引用（顯式的或隱式的）、SUBARRAY、TYPECODE、NARROW、ISTYPE、ADR和LOOPHOLE之外的所有運算都是合法的，唯獨可運用的過程，是在提供無符號字運算的Word接口中的函數。變量在常量表達式中，只能作為給FIRST、LAST、NUMBER、BITSIZE、BYTESIZE或ADRSIZE的實際參數出現，并且這個變量必須不是開放數組類型的。文字和頂層過程常量在常量表達式中是合法的。
產生變量的表達式叫做指示符（designator）。常量表達式永遠不是指示符。指示符的類型是它產生的變量的類型。一個指示符依賴于上下文，可以指示要么一個變量，要么這個變量的值。比如，它作為賦值的左值時是變量，作為右值時是這個變量的值。一些指示符是只讀的，它們不能用在可能改變這個變量的值的上下文中，并非只讀的指示符就是可寫的指示符。
一個標識符是可寫的指示符的條件為，它被聲明為變量，是VAR或VALUE形式參數，TYPECASE或TRY-EXCEPT語句的局部變量，或綁定到可寫指示符的WITH局部變量。一個標識符是只讀的指示符的條件為，它是READONLY形式參數，FOR語句的局部變量，或綁定到非指示符或只讀的指示符的WITH局部變量。只有如下運算可以產生指示符：
*r^，這個運算叫做（dereferencing），它表示r的所引用者。表達式r^總是可寫的指示符。如果r的類型是REFANY、ADDRESS、NULL、對象類型或不透明類型，則是一個靜態錯誤；如果r是NIL，則是一個必查的運行時間錯誤。
*ai，這個運算叫做下標，它表示數組a的值的第i + 1 - FIRST(a)個元素，比如說a的索引類型是-1..1，a1是這個數組的值的第1 + 1 - (-1)個即第3個元素。表達式ai是否為指示符進而是否可寫同于a。表達式i必須可賦值給a的索引類型。如果a是到數組的引用，則這里有隱含的解引用，即這里的ai是a^i的簡寫。
*r.f、o.f、I.x、o.m、T.m和E.id，這種點表示法運算叫選取。
**r.f表示記錄r的指名字段f，表達式r.f是否為指示符進而是否可寫同于r。如果r是到記錄的引用，則這里有隱含的解引用，即r.f是r^.f的簡寫。
**o.f表示對象o的指名字段f，表達式o.f是可寫的指示符。
**I.x表示導入的接口I的指名實體x，如果x被聲明為變量，則表達式I.x是指示符并且總是可寫的。
**o.m表示對象o的指名方法m，o.m不產生指示符。
**T.m表示對象類型T的指名方法m，T.m不產生指示符。
**E.id表示枚舉類型E的值id，E.id不產生指示符。
*SUBARRAY(a, from, for)，它產生數組a的越過前from個元素并包含下for個元素的子數組。SUBARRAY不復制數組，它是否為指示符進而是否可寫同于a。如果a是多維數組，SUBARRAY只應用于頂層數組。如果from + for超過了NUMBER(a)，則是一個必查的運行時間錯誤。
使用T 指示T是U的子類型，也就是U是T的超類型。子類型規則是：如果T ，則類型T的所有值，都是類型U的值，反過來則不成立。
對于序數類型T和U，T 的條件為，它們擁有相同的基礎類型，并且所有的T的成員都是U的成員。就是說序數類型上的子類型，反映了在值集合上的子集關系。
對于數組類型，一個數組類型A是一個數組類型B的子類型的條件為，它們有相同的最終元素類型，相同的維度數，并且對于每個維度，要么二者都是開放的，要么A是固定的而B是開放的，要么它們都是固定的并有著相同的大小。
對于過程類型，T 的條件為，它們除了形式參數名字、缺省值和RAISES集合之外是相同的，并且T的RAISES集合包含在U的RAISES集合中。NIL是所有的過程類型的一個成員。
對于包裝類型，BITS n FOR T和T有相同的值，也就是說：BITS n FOR T 并且T 。
對于集合類型，SET OF A 的條件是A ，就是說集合的子類型規則簡單的使用值集合規則。
對于引用類型有：
就是說，REFANY和ADDRESS分別包含所有的有跟蹤的和無跟蹤的引用，NIL是所有的引用類型的一個成員。這兩個規則也適用于加銘牌的類型。
對于對象類型有：
就是說，所有對象都是引用，NIL是所有的對象類型的一個成員，而所有的子類型都包括在它的超類型之中。第三個規則也適用于加銘牌的類型。
對于所有的T，都有T 。對于所有的T, U, V，T 并且U ，蘊涵T 。就是說是自反和傳遞的。但是T 并且U ，不蘊涵T與U是相同的，因為子類型關系不受形式參數名字、缺省值和包裝的影響。
一個類型T可賦值（assignable）給類型U的條件是：
*U 并且T是一個數組或除了ADDRESS之外的一個引用類型（這個限制在不安全模塊中解除），或者
*T和U是至少有一個共同成員的序數類型。
在第一種情況下，沒有運行時間錯誤是有可能的。在第二種情況下，允許賦值一個REFANY到一個REF T，還允許賦值一個ARRAY OF T到一個ARRAY I OF T，這里分別要求對引用的類型和數組長度的運行時間檢查；可以使用類型運算NARROW(x, T): T，將對象類型或有跟蹤的引用類型的超類型變量當作其子類型的成員，這時需要運行時間檢查，介入它就是為了以安全的方式，將REFANY變量賦值給確知的實際類型REF T。在第三種情況下，常規的范圍檢查就能確保特定的T的成員也是U的成員。
一個表達式e可賦值給一個變量v的條件是：
*e的類型可賦值給v的類型，并且
*e的值是v的類型的一個成員，它不是一個局部過程，并且如果它是一個數組，則有同v一樣的形狀。
一個表達式e可賦值給類型T，如果e可賦值給類型T的某個變量。如果T不是一個開放數組，這等同聲稱e可賦值給類型T的任何變量。
介入一個常量、類型、變量、異常或過程的一個名字。這個名字的作用域是包含這個聲明的塊。一個塊可以出現為一個塊語句，或一個模塊或過程的本體。一個塊有如下形式：
這里的Decls是一序列的聲明，而S是一個語句（經常是順序復合語句），它是這個塊的執行部份。一個塊的聲明可以介入一個名字最多一次，然而一個名字可以在嵌套的塊中重新聲明。在塊中這些聲明的次序，除了確定變量的初始化次序之外無關緊要。
順序復合語句有如下形式：S_1; S_2，一些編程者使用分號作為語句終結符（terminator），另一些編程者將它用作分隔符（separator）。Modula-3允許這兩種風格，語言報告將其用作分隔符。
Modula-3的WITH語句，無關于Modula-2的同名語句，它有如下形式：，這里的id是一個標識符，e是一個表達式，而S是一個語句（經常是順序復合語句）。WITH語句聲明了具有作用域S的id，作為變量e的別名，或作為值e的只讀名字。表達式e在進入WITH語句的時候被求值一次。一個單一的WITH語句可以包含多個綁定，它們順序的求值，就是說，等價于。
WITH語句可類比于某種過程調用P(e)，這里的P被聲明為：
PROCEDURE P(mode id: typeof e) =
這里的算符只是個示意，它不在語言規定之中；如果e是可寫的指示符，則mode是VAR，否則mode是READONLY。在WITH語句和調用P(e)之間唯一的區別為，出現在WITH語句內的自由變量、RETURN和EXIT，是在WITH語句所在的上下文中解釋的，而非在新增加的P的上下文中。
Modula-3語言報告使用WITH語句定義其他語句，比如，INC和DEC語句分別有如下形式：和，這里的v指示一個序數類型的變量，而n是可選的一個整數取值表達式，如果省略n則缺省為1，這兩個語句分別等價于和，這里的T是v的類型，而x代表不出現在n中的變量。
執行一個語句產生一個計算，它可以正常產出結果（在可計算理論中稱為停機），發起一個異常，導致一個必查的運行時間錯誤，或無限循環。如果結果是一個異常，它可以可選的配對上一個實際參數。如果一個表達式作為一個語句的執行部份而求值，這個求值引發一個異常，則這個異常成為這個語句的結果。空語句是無操作的（no-op），在語言報告中寫為。
過程調用在這個過程是真正過程的時候是一個語句。調用一個函數過程并丟棄它的結果使用EVAL語句，它有如下形式：EVAL e，這里的e是一個表達式。它的效果是求值e并忽略其結果。RETURN語句用于從過程中返回。
賦值語句有如下形式：，這里的v是可寫的指示符，而e是可賦值給v所指示變量的表達式。賦值語句將v設置為e的值，v和e的求值次序是未定義的，但e會在v更新之前求值。特別是，如果v和e是有交疊的子數組，以沒有元素在被用作來源之前被用作目標的方式進行賦值。
Modula-3提供了選擇控制結構IF和CASE語句。IF語句有如下形式：
IF B_1 THEN S_1
ELSIF B_2 THEN S_2
ELSIF B_n THEN S_n
ELSE S_0
這里的這些B是布爾表達式，而這些S是語句。ELSE S_0和每個ELSIF B_i THEN S_i都是可選的。IF語句依次求值B，直到某個B_i求值為TRUE，則接著執行S_i。如果沒有表達式求值為TRUE，并且ELSE S_0存在，則執行S_0。如果沒有表達式求值為TRUE，并且ELSE S_0缺席，則IF語句是無操作的（no-op）。Modula-3的CASE語句，不同于Modula-2的同名語句，它有如下形式：
CASE Expr OF
L_1 => S_1
L_n => S_n
這里的Expr是類型為序數類型的一個表達式，而每個L是一個列表，這個列表構成自常量表達式，或用e_1..e_2指示的常量表達式的范圍，它表示從e_1到e_2含二者的值。如果e_1超出了e_2，這個范圍為空。如果兩個L表示的集合有交疊，或者任何常量表達式不是類型Expr的一個成員，則是一個靜態錯誤。ELSE S_0是可選的。
CASE語句求值Expr。如果結果的值在任何L_i之中，則執行S_i。如果這個值不在任何L_i之中，并且ELSE S_0存在，則執行它。如果這個值不在任何L_i中，并且ELSE S_0缺席，則發生一個必查的運行時間錯誤。一些編程者使用豎杠作為初始符（initiator），另一些編程者將它用作分隔符。Modula-3允許這兩種風格，語言報告將其用作分隔符。
TYPECASE語句有如下形式：
TYPECASE Expr OF
T_1 (v_1) => S_1
T_n (v_n) => S_n
這里的Expr是類型為引用類型的一個表達式，這些S是語句，這些T是引用類型，而這些v是標識符。如果Expr有類型ADDRESS，或者任何T不是Expr的類型的子類型，則為一個靜態錯誤。ELSE S_0和每個(v)都是可選的。如果(v_i)缺席，形式T_1, ..., T_n => S，是T_1 => S | ... | T_n => S的簡寫。
TYPECASE語句求值Expr，如果結果的引用值，是任何列出的類型T_i的成員，則針對其中最小的i，執行S_i。NIL是所有引用類型的一個成員，因此NULL情況只有首先出現才能起作用。如果這個值不是列出的這些類型的一個成員，并且ELSE S_0存在，則執行它。如果這個值不是列出的這些類型的一個成員，并且ELSE S_0缺席，則發生一個必查的運行時間錯誤。每個(v_i)聲明類型為T_i的一個變量，并且它的作用域是S_i。如果v_i存在，它在執行S_i之前被初始化為Expr的值。
可以使用TYPECASE語句測試類型為REFANY或對象的一個表達式的值的引用類型，比如寫一個過程ToText(r: REFANY): TEXT，在其中測試r的值是NULL、REF BOOLEAN和REF INTEGER中的哪一個類型。
Modula-3提供了循環控制結構FOR、LOOP、WHILE和REPEAT語句，和必須在字面上包圍在這四個循環語句中，用于從循環中退出的EXIT語句。語句，循環直到S中有一個發生。語句，被定義為：
IF B THEN S
ELSE EXIT
語句，被定義為：
IF B THEN EXIT END
FOR語句有如下形式：，這里的id是一個標識符，而first和last是有相同基礎類型的序數表達式，step是整數取值的表達式。而S是一個語句。BY step是可選的，如果省略，step缺省為1。標識符id指示其作用域是S的一個只讀變量，其類型是first和last共同的基礎類型。FOR語句的語義，可如下這樣用WHILE和WITH語句精確的定義為一個塊：
i := ORD(first);
done := ORD(last);
delta := step;
IF delta >= 0 THEN
WHILE i = done DO
WITH id = VAL(i, T) DO S END;
INC(i, delta)
這里的T是id的類型，i、done和delta代表不出現在FOR語句中的變量。從FOR語句的這個定義可以看出，如果一個FOR循環的上界是LAST(INTEGER)或LAST(LONGINT)，就應當將它改寫為WHILE循環來避免溢出。
異常聲明有如下形式：EXCEPTION id(T)，這里的id是一個標識符，而T是除了開放數組之外的一個類型，它聲明了id是具有實際參數類型T的異常。如果省略了(T)，這個異常不接受實際參數。異常聲明只允許出現在接口和模塊的最外層作用域之中。所有的聲明的異常都是各不相同的。
RAISE語句有兩種形式，沒有實際參數的形式：，這里的e是不接受實際參數的一個異常，它的結果是發起異常e；具有實際參數的形式：，這里的e是接受實際參數的一個異常，而x是可賦值給e的實際參數類型的一個表達式，它的結果是引發具有配對實際參數x的異常e。
Modula-3的異常處理，基于了TRY-EXCEPT語句。采用類似的塊系統的有Delphi、Python、Scala和Visual Basic.NET。 TRY-EXCEPT語句有如下形式：
EXCEPT
id_1 (v_1) => Handler_1
id_n (v_n) => Handler_n
ELSE Handler_0
這里的Body和每個Handler都是語句，每個id指名一個異常，而每個v_i是一個標識符。ELSE Handler_0和每個(v_i)都是可選的。每個(v_i)聲明一個變量，其類型是異常id_i的實際參數類型，而它的作用域是Handler_i。如果(v_i)缺席，形式id_1, ..., id_n => Handler，是id_1 => Handler; ...; id_n => Handler的簡寫。
TRY子句執行Body。如果結果是正常的，則忽略EXCEPT等子句。如果Body引發任何列出的異常id_i，則執行Handler_i。在處理具有配對實際參數x的異常id_i的時候，v_i在執行Handler_i之前被初始化為x。如果Body引發任何其他異常，并且ELSE Handler_0存在，則執行它。在這兩種情況的任何之一下，TRY-EXCEPT語句的結果是選出的處理器的結果。如果Body引發未列出的異常，而ELSE Handler_0缺席，則TRY-EXCEPT語句的結果是Body引發的異常。
Modula-3還提供TRY-FINALLY語句，它有如下形式：，它執行語句S_1接著執行語句S_2。如果S_1的結果是正常的，則TRY語句的結果等價于S_1; S_2。如果S_1的結果是異常，并且S_2的結果是正常，則在S_2執行之后，重新發起來自S_1的異常。如果二者的結果都是異常，則TRY語句的結果是來自S_2的異常。