Free PascalにはHaskellのような型変数がありますか？

Question

Haskellでは、タイプがaの3つの関数を定義し、任意のデータ型aに対して3回繰り返された要素のリストを返します。

thrice :: a -> [a] 
thrice x = [x, x, x] 

フリーパスカルは型変数を許可しますか？そうでない場合は、Free Pascalでこれを行う別の方法がありますか？

Answer 1

パスカルを知らないハスケル人として、これは同じように見えます。拡大できなくて申し訳ありません。

http://wiki.freepascal.org/Generics

Answer 2

残念ながらFreePascalとは、現在唯一のジェネリッククラスではなく、汎用的な機能を持っています。あなたの目標はまだ少しでも厄介なものですが、達成することができます。あなたの操作をカプセル化する新しいクラスを定義する必要があります：あなたはに必要な、今

unit Thrice; 

interface 

type 

generic ThriceCalculator<A> = class 
public 
    class function Calculate(x: A): array of A; 
    // We define it as a class function to avoid having to create an object when 
    // using Calculate. Similar to C++'s static member functions. 
end; 

implementation 

function ThriceCalculator.Calculate(x: A): array of A; 
begin 
    SetLength(Result, 3); 
    Result[0]:= x; 
    Result[1]:= x; 
    Result[2]:= x; 
end; 

end. 

、残念ながらあなたが任意の特定のタイプで、このクラスを使用する場合に特化：

のみ

type 

    IntegerThrice = specialize ThriceCalculator<Integer>; 

を

このように、Pascalはまだジェネリックプログラミングの道ではありません。