Unification in Elixir
Pattern matching is a pervasive and powerful tool in Elixir. This isn't too surprising if you know a little about the history of Elixir's parent language, Erlang. Erlang was originally inspired by and written in Prolog, a logic programming language where pattern matching has first-class support. In Elixir, you might see an expression like this: [x, [2, y]] = [1, [2, 3]]When this expression is eval
Exploring biphasic programming: a new approach in language design
I’ve noticed a small but interesting trend in the programming languages space. I’m not sure how novel it is, but this pattern, which I’ll refer to as “biphasic programming,” is characterized by languages and frameworks that enable identical syntax to express computations executed in two distinct phases or environments while maintaining consistent behavior (i.e., semantics) across phases. These pha
Version 0
- Version 0 - 最終更新日 2024/06/30 LC-3 クロスコンパイラ for PC-G8xx .(ピリオド・プログラム終端)を追加 エラー処理を修正 お知らせ: 多忙により開発が遅れています. やる気がなくなったのではないのでしばらくお待ちください. 履歴 Linux/Windows用ソフトウェア SHARP PC-G850/G815/E200エミュレータ g800 CASIO Z-1/FX-890P エミュレータ z1f9 日立ベーシックマスターJr.エミュレータ bm2 アドベンチャー 日本語版 ダンジョン 日本語版 タイタニックを越えて Beyond the Titanic 日本語版 AGiliTy 日本語版 Nazghul/Haxima 日本語版 Project: Starfighter 日本語版 VMS Empire 日本語版 Liberal Crime Sq
講義 「プログラミング言語論」
平成１９年度 講義 「プログラミング言語論」 （情報工学科２年生、前期、木１/２限） programming languages and the theory １８年度のページ 担当 犬塚信博 この講義についての情報を流すためのページです。 講義の日程、演習課題などを出しますので、常にチェックしてください。 講義の目的 この講義では、プログラミング言語に関する技術、理論を学びます。 様々なプログラミング言語の背景の計算モデルを中心にいろいろな概念を学んだ後、プログラムの正しさや意味を扱う理論に触れます。 講義の進め方 パワーポイントを用いて講義を行います。講義資料は講義の進捗に合わせて配付しますが、昨年度の資料でよければここにあります。 毎回小テスト等で出席を取ります。 ときどきまとまった課題を出し、それらの提出は評価に反映させます。 予定 ４月 ５日 導入：プログラミング言語 キーワード
g000001さんの記事一覧
レトロLispが好き
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
