Programming with Standard ML
著者
書誌事項
Programming with Standard ML
Prentice Hall, 1993
- : pbk.
大学図書館所蔵 全9件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references (p. 288-293) and index
内容説明・目次
内容説明
This text teaches programming skills and style using standard ML. The authors aim to teach a functional programming subset of SML, provide a general introduction to the theory of programming and develop an awareness of software design. The emphasis is on informal derivation of examples that show both correct and incorrect approaches and includes carefully selected exercises with heavily annotated solutions. The authors believe that this will be the first book to show a functional language as a practical tool for software design.
目次
- Operators, values and types
- functions
- lists
- higher order functions
- managing environments
- user defined types
- modules. Appendices: File handling
- additional features of SML
- procedural language features of SML
- the initial SML environment
- UNIX - SML interfaces.
「Nielsen BookData」 より