coffeescriptの（別の）パターンマッチング

はじめに

fn = Match -> [ When {command: “draw”, figure: @figure = {type: “circle”, radius: @radius}}, -> console.log(@figure, @radius) When {command: “draw”, figure: @figure = {type: “polygon”, points: [@first, @second | @rest]}}, -> console.log(@figure, @first, @second, @rest); ] fn {command: “draw”, figure: {type: “circle”, radius: 5, color: “red”}} #output: {type: “circle”, radius: 5, color: “red”} 5 

簡単な説明

1. Matchは、パターンの配列とそれに対応するアクションを返す関数を取ります。
2. 呼び出されると、コンテキストが変更され、これらすべての＆コンマ;（== this.a）が特別に準備されたプロパティ（プロパティ）を指し、パーサーがバインドする値を理解できるようになります。
3. 次に、特定の値で呼び出すと、テンプレートとの比較が行われます（今のところ、テンプレートと値と特定の値の比較の再帰的な走査があると仮定できます。これについてはもう少し詳しく説明します）。
4. 値がパターンと一致する場合、アクション関数が呼び出されます。 彼女では、コンテキストも変更し、適切な値に置き換えます。

配列を操作する

 case List of [Head | Tail] -> Head; [] -> {empty}; end. 

 When [@head, @tail…], -> console.log(@head, @tail) 

 var object1 = {x:1}, object2 = {y: 2}; console.log(object1 | object2); 

 var object1 = {x:1}, object2 = {y: 2}, object3 = {z: 3}; object1.valueOf = function() { return 2; } object2.valueOf = function() { return 4; } object3.valueOf = function() { return 8; } console.log(object1 | object2); //6 == 2 | 4 == object1 and object2 

 When [@head | @tail], -> console.log(@head, @tail) 

クラスマッピング

 #person{name = Name} 

 When ObjectOf(Point1, {x: 1, y: 2}), -> … When Point2(x:1, y:2), -> … When Point3$(x:1, y:2), -> ... 

 class Point2 constructor: (@x, @y) -> return m if m = ObjectOf(@, Point2, arguments) 

 Point3$ = ObjectOf(Point3) 

性能

 coffeeDestruct = (demo) -> {user} = demo return if not user.enabled {firstname, group, mailbox, settings} = user return if group.id != "admin" notifications = settings?.mail?.notify ? [] return if mailbox?.kind != 'personal' mailboxId = mailbox?.id ? null {unreadmails, readmails} = mailbox; return if unreadmails.length < 1 firstUnread = unreadmails?[0] ? [] restUnread = unreadmails?.slice(1) ? [] return if readmails?.length < 1 return if readmails?[0]?.subject != "Hello" rest = readmails?.slice(1) return {firstname, notifications, firstUnread, restUnread, rest, mailboxId} 

 singlePattern = Match -> [ When {user: { firstname: @firstname, enabled: true, group: {id: "admin"}, settings: {mail: {notify: @notifications}}, mailbox: { id: @mailboxId, kind: "personal", unreadmails: [ @firstUnread | @restUnread ], readmails: [ {subject: "Hello"}, Tail(@rest) ] } }}, -> "ok" ] 

レギュラー：5ms
単一パターン：140ms
複数のパターン：429ms

レギュラー：5ms
単一パターン：8ms
複数のパターン：164ms

 fn = Match -> [ When ["wait", "infinity"], -> console.log("wait forever") When ["wait", @time = Number], -> console.log("wait for " + this.time + "s") ] 

1. パーサーは代わりに「コマンド」のチェーンを発行します。
2. その後、すべてのチームが編成され、ブランチを持つ1つのチェーンにまとめられます。
3. 現在、チームはコードに変わっています。

 if (Array.isArray(val)) { if (val.length === 2) { if (val[0] === 'wait') { if (val[1] === 'infinity') { return {when: 0}; } if (val[1].constructor.name === 'Number') { return {when: 1}; } } } } 

 if (!Array.isArray(val)) return false; if (val.length !== 2) return false; if (val[0] !== 'wait') return false; if (res = function fork1() { if (val[1] !== 'infinity') return false; return {when: 0} }()) return res; if (res = function fork2() { if (val[1].constructor.name !== 'Number') return false; return {when: 1}; }()) return res; 

 if (!Array.isArray(val)) return false; if (val.length !== 2) return false; if (val[0] !== 'wait') return false; fork1: { if (val[1] !== 'infinity') break fork1; return {when: 0} } fork2: { if (val[1].constructor.name !== 'Number') break fork2; return {when: 1}; } 

レギュラー：5ms
単一パターン：8ms
複数のパターン：12ms

アーキテクチャとプラグイン

• テンプレートの一部を処理し、一連のコマンドに変換します。
• 次に解析するものを言う。
• チームをコードに変換します。

 function pluginConstructor() { return { //        //    ,       parse_object //  parse,       parse_function: function(part, f) { //    "constructor" //        - .   f.addCheck("constructor", part.name); }, //    ""    "constructor" //  ,     if. render_constructor: function(command, varname) { return varname + ".constructor.name === " + JSON.stringify(command.value); } }; } 

 fn = Match -> [ When @res = /(\d+):(\d+)/, -> hours: @res[1], mins: @res[2] # or When RE(/(\d+):(\d+)/, @hours, @min), -> hours: @hours, mins: @mins ] 

他のソリューションとの比較

• matches.js-同様の機能、近いパフォーマンス、ただしテンプレートは文字列によって設定されます-したがって、強調表示も共通部分も変数に入れません
• 線香花火のイデオロギーの後継者-同様の機能を持っているようですが、構文にsweet.jsマクロを使用しています。 コードをさらにコンパイルする必要があります。 一般に、テンプレートはきれいに見えますが、問題は同じです
• pun.js-構文は似ています（@aの代わりにテンプレートでのみ$（ 'a'）を記述することをお勧めします）が、オプションは少なく（たとえば、可変長配列はサポートされていません）、パフォーマンスは低くなります-明らかにコンパイルされません

おわりに

1. 配列を「ヘッド」と「テール」に分割することは再帰アルゴリズムに役立ちますが、テール再帰の最適化を行わないと、大容量のパフォーマンスとスタックオーバーフローの問題が発生する可能性があります。
   解決策：まだ発明されていません
   
   
2. テンプレートで関数を使用することはできません-または、使用することはできますが、テンプレートをコンパイルするときに一度だけ呼び出されます。
   解決策：ガードを使用する
   
   
3. このコンテキスト置換のため、アクション関数をコンテキストに添付できません。 一方、機能的なスタイルで記述している場合、メソッド呼び出しは必要ないようです。
   解決策：昔ながらの方法、self = this
   
   
4. 同じ理由で、おそらくecmascript 6の矢印関数を使用することはできません-呼び出し/適用を介した呼び出しでも影響しないように、コンテキストを緊密にバインドします。
   解決策：まだ発明されていません