Gibt es Sprachen, die Einheiten erlauben?

Question

Wenn die folgenden heute in C# zu schreiben

DateTime.Now.AddYears(-60) 

Ich fragte mich, ob es irgendwelche Sprachen sind, die eine natürlichere Syntax mit Einheiten erlauben:

DateTime.Now - 60years 

Kennt jemand überhaupt? Insbesondere interessiert mich das Vorhandensein von Einheitsoperatoren (?), Die "60 Jahre" in z. "TimeSpan.FromYears (60)". Es wäre auch nett, in der Lage zu sein, Ihre eigenen Unit-Operatoren zu definieren, ähnlich wie Sie Conversion-Operatoren in C#

definieren können (Ja, ich weiß, dass TimeSpan nicht für Jahre sorgt - es ist ein Beispiel.)

Answer 1

F # Maßeinheiten interessiert sein. Einige Beispiele aus

http://blogs.msdn.com/andrewkennedy/archive/2008/08/20/units-of-measure-in-f-part-one-introducing-units.aspx

alt text http://blogs.msdn.com/blogfiles/andrewkennedy/WindowsLiveWriter/UnitsofMeasureinFPartOneIntroducingUnits_A131/image_12.png

alt text http://blogs.msdn.com/blogfiles/andrewkennedy/WindowsLiveWriter/UnitsofMeasureinFPartOneIntroducingUnits_A131/image_20.png

Answer 2

I gues C++ können Sie Einheitenklasse mit überladenen Operatoren und einige #define Makros

Answer 3

In Perl, die Sie verwenden können DateTime machen, die solche Dinge wie erlaubt:

my $dt = DateTime->now 
$dt->subtract(hours => 1); 

Answer 4

so habe ich nicht gesehen ein Sprache, die es von Natur aus unterstützt. Allerdings könnten Sie sicherlich Ihre eigenen datumsbasierten Objekte in einer Vielzahl von Sprachen schreiben, wenn Sie so geneigt sind.

Answer 5

Javas JODA Bibliothek funktioniert so.

Und es gibt JSR-275, die ein Einheiten-Framework vorschlagen.

Ich habe das erste Mal 1997 von Martin Fowler über dieses Problem gehört. Er schrieb darüber in seinem "Analysis Patterns".

Answer 6

Nun, die Active Bibliothek für Ruby erweitert die Integer-Klasse mit Methoden wie Stunden und Tagen, die Sie Dinge wie schreiben kann:

Time.now + 5.days 

Aber das ist nicht wirklich eine Syntax-Funktion - es ist nur ein Methodenaufruf und ist in jeder Sprache möglich, in der Sie einer vorhandenen Klasse Methoden hinzufügen können. Sie könnten es in C# mit Erweiterungsmethoden tun - obwohl es dort 5.days() sein müsste.

Answer 7

Ich weiß nicht, ob es noch existiert, aber ich würde erwarten, dass solche Dinge in den nächsten paar Jahren als DSL s erscheinen. Ich denke so etwas wie eine nächste Generation MATLAB oder so. Ich bin mir sicher, dass es für solche Dinge viele mathematische, wissenschaftliche und technische Anwendungen gibt.

Answer 8

Ich bin mir sicher, dass es nicht das ist, wonach Sie suchen, aber im Bereich der Prüf- und Messgeräte wäre es nicht ungewöhnlich, dass ein "Testprogramm" Anweisungen enthält, die mit Spannung und Strom arbeiten oder Zeiteinheiten.

Sehr spezialisierte Sachen, und kaum von den meisten als Programmiersprachen erkennbar.

Answer 9

Es gibt eine Boost C++ - Bibliothek für Units, die die Template-Metaprogrammierung weitgehend verwendet, um etwas zu liefern, das der von Ihnen gewünschten Syntax ähnelt.

quantity<force>  F(2.0*newton); 
quantity<length> dx(2.0*meter); 
quantity<energy> E(work(F,dx)); 

http://www.boost.org/doc/libs/1_37_0/doc/html/boost_units.html

Answer 10

PHP strtotime() Funktion macht es sehr schön.Es nimmt eine Zeichenfolge und eine optionale Zeit als Parameter und analysiert die Zeichenfolge, um eine neue Zeit herauszufinden.

Beispiele:

$newTime = strtotime('last monday'); 
$newTime = strtotime('- 2 days', $originalTime); 
$newTime = strtotime('- 60 years', $originalTime); 
$newTime = strtotime('+ 1 week 1 day', $originalTime); 

hier Mehr: http://us2.php.net/strtotime

Answer 11

Wenn Sie Einheiten verwenden, die Sie zuweisen tatsächlich einen Typ. Die Konvertierungen könnten durch Casting oder durch Differenzieren von Funktionsaufrufen basierend auf Parametertypen (Funktionsüberladen) implementiert werden. Fast jede statisch typisierte Sprache (die es erlaubt, Typen genau zu definieren) würde Ihnen erlauben, etwas Ähnliches zu tun. Es würde Ihr Programm robuster machen, obwohl diejenigen, die dynamisch typisierte Sprachen bevorzugen, argumentieren könnten, dass die Gewinne im Vergleich zur Zeit, die für die meisten Anwendungen mit der Implementierung eines solchen gründlichen Typsystems verbracht wurde, gering sind. Andererseits würde ein Aufbau eines Mars Climate Orbiter solch ein Typsystem verdienen.
Die Syntax ist ein wenig anders, aber Ihr Beispiel scheint mir sehr ähnlich zu üblichen Beispielen, wie einige würden Haskell-Typ-System (oder das von jeder typisierten funktionalen Sprache) verwenden, obwohl, wie ich bereits erwähnt, dies auch machbar ist in C-ähnlichen Sprachen.

Answer 12

SQL, oder zumindest MySQL hat einige grundlegende zeitbasierte Unterstützung.

mysql> SELECT DATE_SUB(NOW(), INTERVAL 1 DAY) AS `yesterday`, NOW() + INTERVAL 1 DAY AS `tomorrow`; 
+---------------------+---------------------+ 
| yesterday   | tomorrow   | 
+---------------------+---------------------+ 
| 2009-08-20 06:55:05 | 2009-08-22 06:55:05 | 
+---------------------+---------------------+ 
1 row in set (0.00 sec) 

Answer 13

MySQL hat this feature

mysql> SELECT '2008-12-31 23:59:59' + INTERVAL 1 SECOND; 
     -> '2009-01-01 00:00:00' 
mysql> SELECT INTERVAL 1 DAY + '2008-12-31'; 
     -> '2009-01-01' 
mysql> SELECT '2005-01-01' - INTERVAL 1 SECOND; 
     -> '2004-12-31 23:59:59' 

Answer 14

die Antwort finden Sie auf C# Extensions wo der int-Klasse erweitert Methoden wie Stunden zu unterstützen(), Tage() usw.

Powershell hat die kB, MB, and GB operators für die Handhabung von Dateigrößen usw.

Die DATE_ADD() function in MSSQL akzeptiert Einheiten wie Tag, Stunde usw. für Datumsarithmetik.

Answer 15

nicht Teil der Sprache, aber ich habe das vor in C, so etwas wie getan gesehen: zu der Zeit, in der gleichen Klasse wie "#define begin {" und "#define end }"

#define NOW  time(0) 
#define PLUS + 
#define AND  + 
#define MINUS - 
#define SECOND * 1 
#define SECONDS * 1 
#define MINUTE * 60 
#define MINUTES * 60 
#define HOUR * 3600 
#define HOURS * 3600 
#define DAY  * 86400 
#define DAYS * 86400 

time_t waitUntil = NOW PLUS 1 HOUR AND 23 MINUTES; 

Es schien mir einen Greuel - Wenn Ihnen die Funktionsweise der Sprache nicht gefällt, verwenden Sie eine andere Sprache. Versuche nicht, es so scheußlich deinem Willen zu beugen.

Es scheint immer noch wie ein Greuel, aber ich bin in meinem Alter gemildert und kann zumindest verstehen, warum vielleicht jemand dachte, es wäre eine gute Idee.

Answer 16

Sie könnten in F # Units of Measure Unterstützung

Answer 17

Powershell hat einige grundlegende Unterstützung.Zum Beispiel 5GB/1MB ausgewertet 5120

Answer 18

Suns neue Sprache Fortress unterstützt Einheiten und, wenn der Speicher dient, ist intelligent genug, um Sie zu tun seltsame Dinge wie Subtrahieren Maßnahmen der Zeit von Längenmaß zu stoppen.

Und Mathematica hat Maßeinheiten und eine nicht zu sperrige Syntax für die Handhabung.

Answer 19

Unum tut so ziemlich genau das für Python, so dass Code wie:

>>> TON + 500*KG 

1.5 [t] 

>>> 5E-8*M - 28*ANGSTROM 

472.0 [angstrom] 

>>> 3*H + 20*MIN + 15*S 

3.3375 [h] 

>>> H == 60*MIN 

True 

>>> 10000*S > 3*H + 15*MIN 

False 

>>> 

Answer 20

syntaktisch, ich bin nicht wirklich sicher, was die benifit von

DateTime.Now + 60 years 

über

DateTime.Now.AddYears (60) 

wäre

Meine typische Methode für den Umgang mit "Einheiten" ist die Definition von Konstanten, die diese konvertieren Einheiten in die Basiseinheit des Datenobjekts, wenn sie multipliziert werden. Da jemand (breifly) diese mit Ada markiert, würde die Ada-Version sein:

Years : constant := 60.0 * 60.0 * 24.0 * 365.0; 
DateTime.Now := DateTime.Now + (60.0 * Years); 

ich glaube, Sie recht machen kann viel das gleiche in C denken ++, mit der Ausnahme, dass ihre Zeit Objekte haften großen ganzen Zahlen statt reellen Zahlen sein .

Answer 21

Keine Einheiten, per se ... aber eine Möglichkeit, Erweiterungsmethoden zu verwenden, um Einheitsfunktionen zu erhalten. Dieses Beispiel gilt speziell für TimeSpan.

static class TimeExtensions 
{ 
    public static TimeSpan ToDays(this int i) 
    { 
     return new TimeSpan(i, 0, 0, 0, 0); 
    } 

    public static TimeSpan ToHours(this int i) 
    { 
     return new TimeSpan(0, i, 0, 0, 0); 
    } 

    public static TimeSpan ToMinutes(this int i) 
    { 
     return new TimeSpan(0, 0, i, 0, 0); 
    } 

    public static TimeSpan ToSeconds(this int i) 
    { 
     return new TimeSpan(0, 0, 0, i, 0); 
    } 

    public static TimeSpan ToMilliseconds(this int i) 
    { 
     return new TimeSpan(0, 0, 0, 0, i); 
    } 
} 

Dann einfach 4.ToMinutes() gibt Ihnen eine TimeSpan von 4 Minuten. Wenn Sie ähnliche Basisklassen haben, mit denen Sie arbeiten können, um andere Einheitentypen darzustellen, können Sie die gleiche Art von Erweiterungsfunktionalität hinzufügen.

. (Anmerkung: dies ist lediglich eine C# Darstellung des Ruby-Beispiel)

Answer 22

weiß ich, was Sie meinen, und ich habe auch schon darüber neugierig. (Meine High-School-Chemielehrerin bestand darauf, dass Zahlen ohne Einheiten ziemlich bedeutungslos waren. Wie auch immer ...)

Mit jeder stark typisierten Sprache können Sie Klassen für diese Konzepte schreiben. Ich habe sie in C++, Java und Pascal geschrieben. Google "Units" und "Java" und Sie können eine Bibliothek finden, die alle Arten von physikalischen Messungen wie diese gekapselt hat.

C++, mit seinen schlanken Konvertierungen und Überlastung des Operators kann dies natürlicher aussehen. Du kannst die Dinge ziemlich glatt machen, indem du das bekommst, was ich denke, dass du willst. Java erfordert, obwohl es dies tut, explizitere Konvertierungen und unbeholfene Syntax.

Aber nein, ich habe es nicht gesehen.

Suchen Sie nach domänenspezifischen Sprachen, die für Wissenschaftler erstellt wurden, sogar "Bildungs" -Sprachen.

Answer 23

Frink ist eine Sprache, die speziell für "physikalische Berechnungen" entwickelt wurde. Aus der Dokumentation:

Frink ist eine praktische Rechenwerkzeug und Programmiersprache entwickelt, um physikalische Berechnungen einfach zu machen, zu Hilfe sicherzustellen, dass Antworten kommen aus rechts [..].Es verfolgt Maßeinheiten (Fuß, Meter, Kilogramm, Watt, etc.) durch alle Berechnungen, Sie ermöglicht Maßeinheiten zu mischen transparent [..]

Ihr Beispiel in Frink:

now[] - 60 years 

Answer 24

Ada und seine Cousine, VHDL, unterstützen direkt das Konzept der Einheiten. Da diese Sprachen extrem stark typisiert sind, sind Einheiten eine natürliche Fähigkeit der Strenge von Typen.