ファシストは政権獲得により、国際的な注目を浴びた。イタリアのファシストの初期の賞賛者の一人はアドルフ・ヒトラーで、彼はローマ進軍後の1か月以内に、彼自身と国家社会主義ドイツ労働者党（ナチ党）のモデルを、ムッソリーニとファシストに置き始めた。ヒトラーと第一次世界大戦の英雄エーリヒ・ルーデンドルフに率いられた闘争同盟は、1923年11月、ローマ進軍をモデルにした「ベルリン進軍」を試みたが失敗した（ミュンヘン一揆）。ミュンヘン一揆では、州総督グスタフ・フォン・カールを脅迫して仲間に引き入れ、ヒトラーとルーデンドルフ、カールによる三頭政治に指導される新しいドイツの政府の創設が発表された。しかしカールらの反撃とバイエルン警察によって粉砕され、ヒトラーや他の指導者は捕らえられ投獄された。イタリアのファシストの初期の他の賞賛者には、ハンガリー全国防衛連盟(ハンガリー語: Magyar Országos Véderő Egylet、MOVE)の指導者のゲンベシュ・ジュラがおり、彼は（ナチスよりも早く）1919年には自分自身を「国家社会主義者」(national socialist)と定義して資産の大幅な変革の必要性を語り、1923年には「ブダペスト進軍」の必要性を主張した。スペインでは増加するストライキやアナキズムへの支持の高まりなどの政治的危機の中で、1923年に軍人であり侯爵であるミゲル・プリモ・デ・リベラがスペイン政府に対するクーデターに成功し、自分自身を保守的な軍事政権の指導者に据えて、既存の政党政治制度を無効とした。リベラは権力獲得後、彼自身が労働者と上司（経営者）の間の和解の仲裁者となることによって経済的な危機を解決し、彼の統治はイタリアのファシストのモデルをベースとしたコーポラティストの経済体制を創立する、と考えた。
1920年にファシズムは政治的に右への傾向が始まった。この傾向は、イタリアで工業労働者の過激なストライキ活動が頂点に達して「赤い年」と呼ばれるようになった1919年と1920年に、同時期に起こった。ムッソリーニとファシストは、工業経営者と手を結ぶ事で優位な状況を得て、秩序の維持とイタリア国内の平和という名目で、労働者や小作人を攻撃した。ファシストは、第一次世界大戦への参戦に反対した左派の社会主義者の多数派を、彼らの第一の敵と位置づけた。ファシストとイタリアの右派は、マルクス主義を蔑視し、階級意識を割り引き、エリートの規則を信じるなどの、共通の基盤を持った。ファシストは、国家的なアイデンティティーよりも階級のアイデンティティーを確約するイタリア社会党や労働者組織を破壊するための相互努力の中で、右派との同盟によって右派の反社会主義キャンペーンを支援した。ファシズムは、その従来のポピュリズムや共和主義や反教権主義を捨てていき、イタリアの既存の資本主義の支持やカトリック教会の受容や王制などを受け入れるという、その政策の大きな変更によって、イタリアの保守主義に順応していったとみなされた。ファシズムはイタリアの保守主義者にアピールするために、女性の母としての役割の推進を含む、家族の価値の推進などの政策を採用した。しかし、ファシズムは反動主義者にアピールすることを意図した多くの姿勢の採用にもかかわらず、ファシズムの革命的な性格を維持したとみなされており、Angelo Oliviero Olivettiは「ファシズムは保守主義でもありたいが、しかし革命的であり続けることによってそうなる」と述べた。ファシスト達は、保守主義者達とサンディカリスト達の両方にアピールするために、革命的な行動と、法や秩序の維持の確約の両方を支持した。右傾化の以前には、ファシズムは約1000名のメンバーを持つ、小規模で、都会の、北部イタリアの運動だった。その以後には、ファシスト運動のメンバーは1921年までには 25万名に上昇した。1921年11月には「イタリア戦闘者ファッシ」は政党「ファシスト党」（国家ファシスト党、ファシスタ党）に改組された。
これまでの節で実装というよりは主に理論の観点から述べてきた、評価戦略が名前渡しの場合と値渡しの場合の違いは、実装においては、非正格(non-strict)なプログラミング言語（ないし処理系）と正格(strict)な言語の場合にほぼそのまま対応する。非正格な（遅延評価の、と言い換えてもだいたい同じ。具体的にはHaskellなどがそう）言語ないし処理系においては、ほぼ不動点コンビネータの意味そのままに循環的に実装できる。正格な場合は修正が必要であり、後述する。理論的には循環が無いことに意味があったが、実装においては循環的で普通は問題が無く、そのほうが効率的でもある。以下にHaskellによる不動点コンビネータの実装を示す。この不動点コンビネータはHaskellにおいては伝統的にfixと呼ばれる。fixは多相不動点コンビネータであることに注意せよ（前述のシステムFに関する議論も参照）。なお、Haskellには型推論があるが、以下では曖昧さをなくすために型は明記する（一般に、こういった特殊な型を使う場合は型を明記したほうが良いし、推論の実装の限界のために明記が必要なこともある）。定義の後に使用例が続く。なお、型無しラムダ計算におけるカリーのYコンビネータは、そのまま実装しようとすると、Haskellの型チェッカによって拒否される。fix :: (a -> a) -> afix f = f (fix f)fix (const 9) -- constは第1引数を返し、第2引数を捨てる関数。9と評価されるfactabs fact 0 = 1 -- factabsはラムダ計算の例のFから拝借factabs fact x = x * fact (x-1)(fix factabs) 5 -- 120と評価されるfixの適用は遅延評価されるので無限ループにはならない。たとえばfix (const 9)が(const 9)(fix f)として展開されるとき、部分式fix fは評価されない。ところが、Haskellによるfixの定義を正格(strict)プログラミング言語に持ち込むと無限ループになる。なぜなら、fへ渡した引数は事前に展開され、無限の呼び出しの連続f (f ... (fix f) ... ))を生み出すからである。MLのような正格言語においては、クロージャの使用を強制することによって無限再帰問題を回避することができる。fixの正格なバージョンは型∀a.∀b.((a→b)→(a→b))→(a→b)を持つべきである。要するに、これは関数を取って返す関数でのみ動く。例として、以下はfixの正格なバージョンのOCamlコード実装である。let rec fix f x = f (fix f) x (* 余分なxに注目 *)let factabs fact = function (* factabsはエクストラレベルのラムダ抽象 *) 0 -> 1 | x -> x * fact (x-1)let _ = (fix factabs) 5 (* "120" と評価される *)これと同じアイデアは（この場合は「貧乏人のクロージャ (poor man's closures) 」として使われる）メソッド内部のインナークラス（Javaではローカルインナークラスと呼ばれる）をサポートしている正格言語で（単相）不動点コンビネータを実装するのに用いることができる。Javaの場合、そのようなクラスが無名だとしても構文はなお扱いにくい（Javaコード）。たとえば、C++の関数オブジェクトでは呼び出し構文は単純化されるが、それらはまだ生成されている段階である。できればboost::bindのような補助関数を用いることが望ましい（C++コード）。