smullyan 0.1.1 → 0.1.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5c03c1b73d0e4b82d767b8edcff5cdd4b3746b8f25f0584095826c12aede049e
-  data.tar.gz: 1e760c61bd407b69b4f283ecee9aa468c107964fef7d97d72734a8ec298e9ba3
+  metadata.gz: 9728ee75a0e8f7fd5ace7d83955a13ec06cea10ed8c03f76987642553c6cc2a2
+  data.tar.gz: f7c282378c225eb4e0095ab0d8e4966d8febd79ce8cd21768db71d7f0817eaa1
 SHA512:
-  metadata.gz: f90e78e8f5bb3cdf6293fc09ec9062ae52a36992e656de9b66606e92a260bc7a8462e6d55fefb85e3e77192b73d6d8fa846645ce11fab1b849f8cb6e4234f2aa
-  data.tar.gz: d59cc2c3de4d99b1216005319855bc926580bc3d50045a6a4e9983d543d8529b050515bdd83ee230ca2c7927440fb9182d4365dd3c4e5c3d5497a70665733e04
+  metadata.gz: c12f8528406b987b1fe958c20b69bc6cde1df16595c6fe970a5ffeb9e3efffa446091067259d7f43d41c591d8500a1111cfe29d4e7cd5bbc242343c0ec918915
+  data.tar.gz: 7ae541538c2145012b8e7dc1177e518fe7db0da38ab7411a928b4031a747bc1f2dce4d99431a1e3ff7c45b2d2033986bf95e7756959c53a8ebac94385329a77d

data/CLAUDE.md

@@ -64,4 +64,4 @@ The gem implements combinators from combinatory logic, each with both a letter n
 - **M combinator (Mockingbird)**: `M x = x x` - self-application
 - **Y combinator (Why/Sage)**: Fixed-point combinator for recursion
 
-These are implemented as Ruby lambda functions in the `Smullyan::Birds` module, with both single-letter names (S, K, I, etc.) and bird names (Starling, Kestrel, Identity, etc.) available.
+These are implemented as Ruby lambda functions in the `Smullyan::Birds` module, with both single-letter names (S, K, I, etc.) and bird names (Starling, Kestrel, Identity, etc.) available.

data/README.md

@@ -34,30 +34,23 @@ starling = Smullyan::Birds::Starling    # S combinator
 mockingbird = Smullyan::Birds::Mockingbird # M combinator
 
 # Example: Identity function derived from S and K
-identity = s.call(k).call(k)
-identity.call(42) # => 42
+identity = s.(k).(k)
+identity.(42) # => 42
 
 # Example: Function composition with the Bluebird
 bluebird = Smullyan::Birds::Bluebird
 double = ->(x) { x * 2 }
 increment = ->(x) { x + 1 }
-double_after_increment = bluebird.call(double).call(increment)
-double_after_increment.call(5) # => 12
+double_after_increment = bluebird.(double).(increment)
+double_after_increment.(5) # => 12
 
 # Example: Y combinator for recursion
 why = Smullyan::Birds::Why
-factorial = why.call(->(f) {
-  ->(n) { n <= 1 ? 1 : n * f.call(n - 1) }
+factorial = why.(->(f) {
+  ->(n) { n <= 1 ? 1 : n * f.(n - 1) }
 })
-factorial.call(5) # => 120
+factorial.(5) # => 120
 ```
-
-## Development
-
-After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake test` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
-
-To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and the created tag, and push the `.gem` file to [rubygems.org](https://rubygems.org).
-
 ## Contributing
 
 Bug reports and pull requests are welcome on GitHub at https://github.com/philcrissman/smullyan.

data/lib/smullyan/birds/bluebird.rb

@@ -14,7 +14,7 @@ module Smullyan
     # Direct implementation for comparison/efficiency
     B_direct = ->(x) { ->(y) { ->(z) { x.call(y.call(z)) } } }
 
-    # Default to derived implementation for backward compatibility
+    # Default to derived implementation
     Bluebird = B_derived
     B = Bluebird
   end

data/lib/smullyan/birds/cardinal.rb

@@ -15,7 +15,7 @@ module Smullyan
     # Direct implementation for comparison/efficiency
     C_direct = ->(x) { ->(y) { ->(z) { x.call(z).call(y) } } }
 
-    # Default to derived implementation for backward compatibility
+    # Default to derived implementation
     Cardinal = C_derived
     C = Cardinal
   end

data/lib/smullyan/birds/lark.rb

@@ -15,7 +15,7 @@ module Smullyan
     # Direct implementation for comparison/efficiency
     L_direct = ->(x) { ->(y) { x.call(y.call(y)) } }
 
-    # Default to derived implementation for backward compatibility
+    # Default to derived implementation
     Lark = L_derived
     L = Lark
   end

data/lib/smullyan/birds/mockingbird.rb

@@ -14,7 +14,7 @@ module Smullyan
     # Direct implementation for comparison/efficiency
     M_direct = ->(x) { x.call(x) }
 
-    # Default to derived implementation for backward compatibility
+    # Default to derived implementation
     Mockingbird = M_derived
     M = Mockingbird
   end

data/lib/smullyan/birds/phoenix.rb

@@ -0,0 +1,16 @@
+# # frozen_string_literal: true
+
+module Smullyan
+  module Birds
+    # phoenix (or phi) applies takes 4 arguments in total
+    # it applies the fourth argument to the 2nd & 3rd, and then
+    # applies the results of those to the first
+    # phi xyzw = x(yw)(zw)
+    Phoenix = B.(B.(S)).(B)
+
+    Phoenix_direct = ->(x) { ->(y) { ->(z) { ->(w) { x.(y.(w)).(z.(w)) }}}}
+
+    Phi = Phoenix
+    Φ = Phoenix
+  end
+end

data/lib/smullyan/birds/robin.rb

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+module Smullyan
+  module Birds
+    # The Robin - rotates arguments
+    # Robin x y z = x z y
+
+    R = ->(x) { -> (y) { -> (z) { y.(z).(x) }}}
+
+    Robin = R
+  end
+end

data/lib/smullyan/birds/warbler.rb

@@ -15,7 +15,7 @@ module Smullyan
     # Direct implementation for comparison/efficiency
     W_direct = ->(x) { ->(y) { x.call(y).call(y) } }
 
-    # Default to derived implementation for backward compatibility
+    # Default to derived implementation
     Warbler = W_derived
     W = Warbler
   end

data/lib/smullyan/birds/why.rb

@@ -4,7 +4,6 @@ module Smullyan
   module Birds
     # The Why bird (Y combinator) - fixed-point combinator
     # Why f = f (Why f)
-    # Here's a practical implementation that works in applicative-order languages like Ruby
     Why = lambda { |f|
       ->(x) { f.call(->(v) { x.call(x).call(v) }) }.call(
         ->(x) { f.call(->(v) { x.call(x).call(v) }) }

data/lib/smullyan/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Smullyan
-  VERSION = '0.1.1'
+  VERSION = '0.1.3'
 end

data/lib/smullyan.rb

@@ -12,6 +12,8 @@ require_relative 'smullyan/birds/mockingbird'
 require_relative 'smullyan/birds/why'
 require_relative 'smullyan/birds/lark'
 require_relative 'smullyan/birds/finch'
+require_relative 'smullyan/birds/robin'
+require_relative 'smullyan/birds/phoenix'
 require_relative 'smullyan/configurable_birds'
 
 module Smullyan

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: smullyan
 version: !ruby/object:Gem::Version
-  version: 0.1.1
+  version: 0.1.3
 platform: ruby
 authors:
 - Phil Crissman
@@ -87,6 +87,8 @@ files:
 - lib/smullyan/birds/kestrel.rb
 - lib/smullyan/birds/lark.rb
 - lib/smullyan/birds/mockingbird.rb
+- lib/smullyan/birds/phoenix.rb
+- lib/smullyan/birds/robin.rb
 - lib/smullyan/birds/starling.rb
 - lib/smullyan/birds/warbler.rb
 - lib/smullyan/birds/why.rb