Sentence examples of "algebraic data type" in English
An affine algebraic group over a field k is a representable covariant functor from the category of commutative algebras over k to the category of groups such that the representing algebra is finitely generated.
Eine affine algebraische Gruppe über einem Körper k ist ein darstellbarer kovarianter Funktor von der Kategorie der kommutativen Algebren über k in die Kategorie der Gruppen derart, dass die darstellende Algebra endlich erzeugt ist.
We have new data about production and sale of electric fly swatters worldwide.
Wir haben neue Daten über Produktion und Verkauf von elektrischen Fliegenklatschen weltweit.
"If you stop loving the robot, it will take its revenge upon you" "That robot will--" "Yes" " What type of revenge?" "It will kill you"
Wenn du aufhörst, den Roboter zu lieben, wird er sich rächen. - Der Roboter wird... - Ja. - Wie wird er das tun? - Er wird dich töten.
The saved game appears to be damaged and cannot be used. Please quit the game and then restart after removing the save data.
Der Spielstand scheint beschädigt zu sein und kann nicht benutzt werden. Verlasse das Spiel, lösche den Spielstand und starte das Spiel erneut.
The data suggest that the optimum length of a lecture may be 30 instead of 60 minutes.
Die Sachverhalte deuten an, dass die optimale Dauer einer Vorlesung 30 statt 60 Minuten wäre.
Imogen of the Internet can type over 110 words per minute, but runs a 20-minute mile. The rest of her family has the opposite problem.
Imogen aus dem Internet kann über 110 Wörter pro Minute tippen, aber sie läuft eine Meile in 20 Minuten. Der Rest ihrer Familie hat das umgekehrte Problem.
A cost-effective way to explore the Solar System was to send thousands of robotic probes to scour celestial bodies for data.
Eine kostengünstige Art der Erforschung des Sonnensystems bestand darin, Tausende Robotersonden loszuschicken, damit diese von den Himmelskörpern Daten sammelten.
There is always the risk of losing all the data on your hard disk.
Es besteht immer das Risiko, dass sämtliche Daten auf der Festplatte verloren gehen.
I can type at a very fast rate.
Ich kann mit einer sehr schnellen Geschwindigkeit maschinenschreiben.
You are not the owner of this save data. You will not be able to save your progression. Trophies will be disabled.
Du bist nicht der Besitzer dieser Speicherdaten. Du kannst deine Fortschritte nicht speichern. Die Trophäen werden deaktiviert.
Real happiness comes cheap; if it's expensive, it's not of a good type.
Wahres Glück ist billig; wenn es teuer ist, ist es nicht von einer guten Sorte.
Examples of word usage in different contexts are provided solely for linguistic purposes, i.e. to study word usage in a sentence in one language and how they can be translated into another. All samples are automatically collected from a variety of publicly available open sources using bilingual search technologies.
If you find a spelling, punctuation or any other error in the original or translation, use the "Report a problem" option or write to us.
If you find a spelling, punctuation or any other error in the original or translation, use the "Report a problem" option or write to us.
In this section, you can see how words and expressions are used in different contexts using examples of translations made by professionals. The Contexts section will help you learn English, German, Spanish and other languages. Here you can find examples with phrasal verbs and idioms in texts that vary in style and theme. Examples can be sorted by translations and topics.
Learn foreign languages, see the translation of millions of words and expressions, and use them in your e-mail communication.
Advert