Първо изберете вашите езици От и До. След това въведете своя текст (до 360 знака при всеки път, до 6000 на ден) и щракнете върху Превод.
A particularly important example is that of data constructors, especially if they have higher-ranked types.
It is, perhaps, helpful to view the constructors of a datatype as building larger "new" elements from smaller "old" ones.
Inlining is also possible (with some risk of code blow-up) for sets with just a few constructors, although we have not implemented this.
A data type declaration defines the structure of a recursive datum and the data constructor names.
Also, we need a constructor for creating new processes.
In particular, strictness annotations that may accompany the declaration of a data constructor are not apparent in the concrete syntax of a constructor application.
Derived comparisons always traverse constructors from left to right.
The system then loads the type files and builds the structure of type constructors.
中文繁体
裝配者, 裝配人員, 建造者…
More中文简体
装配者, 装配人员…
MoreEspañol
constructor, -ora…
MorePortuguês
construtor, -ora…
MoreFrançais
constructeur/-trice…
MoreČeština
stavitel…
MoreDansk
fabrikant, konstruktør…
MoreIndonesia
pembangun…
MoreManaging Your Emotions
What makes me angry?
Какво ме ядосва?
Mostly,l hate when someone tries to make someone else feel bad.
Най-вече мразя, когато някой се опитва да накара някой друг да се чувства зле.
I have to admit that once, when l was actually called names.
Трябва да призная, че веднъж, когато наистина ме нарекоха.
l regretted doing this afterwards, but not full heartedly because l think l was provoked in that situation.
След това съжалявах, че го направих, но не искрено, защото смятам, че бях провокиран тази ситуация.
The most postive way of dealing with anger is talking about the problem.
Най-положителният начин за справяне с гнева е да говорите за проблема.
l talk to someone who listens, or l'll write my thoughts down on paper.
Говоря с някой, който ме слуша, или ще напиша мислите си на хартия.
Learning how to deal with anger as you're growing up is so important.
Да се научите как да се справяте с гнева, докато растете, е толкова важно.
When you're younger, you might yell,or cry when you're angry, but as you get older, you're expected to handle your emotions much better.
Когато си по-млад, може да крещиш или да плачеш, когато си ядосан, но когато остарееш, ти си се очаква да се справят с емоциите ви много по-добре.
Learning to control your emotion now will prevent you from doing something that you'll regret later on in life!
Ако се научите да контролирате емоциите си сега, ще ви попречи да направите нещо, което ще направите съжалявам по-късно в живота!