Context_1 : In computer science, type safety is the extent to which a programming language discourages or prevents type errors. A type error is erroneous or undesirable program behaviour caused by a discrepancy between differing data types for the program's constants, variables, and methods (functions), e.g., treating an integer (int) as a floating-point number (float). Type safety is sometimes alternatively considered to be a property of a computer program rather than the language in which that program is written; that is, some languages have type-safe facilities that can be circumvented by programmers who adopt practices that exhibit poor type safety. The formal type-theoretic definition of type safety is considerably stronger than what is understood by most programmers. Context_2 : Uterine cancer or womb cancer is any type of cancer that emerges from the tissue of the uterus. It can refer to several types of cancer, with cervical cancer (arising from the lower portion of the uterus) being the most common type worldwide and the second most common cancer in women in developing countries. Endometrial cancer (or cancer of the inner lining of the uterus) is the second most common type, and fourth most common cancer in women from developed countries. Risk factors depend on specific type, but obesity, older age, and human papillomavirus infection add the greatest risk of developing uterine cancer. Early on, there may be no symptoms, but irregular vaginal bleeding, pelvic pain or fullness may develop. If caught early, most types of uterine cancer can be cured using surgical or medical methods. When the cancer has extended beyond the uterine tissue, more advanced treatments including combinations of chemotherapy, radiation therapy, or surgery may be required. Context_3 : Cayenne is a dependently typed functional programming language created by Lennart Augustsson in 1998, making it one of the earliest dependently type programming language (as opposed to proof assistant or logical framework). A notable design decision is that the language allows unbounded recursive functions to be used on the type level, making type checking undecidable. Most dependently typed proof assistants and later dependently typed languages such as Agda included a termination checker to prevent the type checker from looping, while the contemporary Dependent ML restricted the expressivity of the type-level language to maintain decidability. Context_4 : A pidgin , or pidgin language, is a grammatically simplified means of communication that develops between two or more groups that do not have a language in common: typically, a mixture of simplified languages or a simplified primary language with other languages' elements included. It is most commonly employed in situations such as trade, or where both groups speak languages different from the language of the country in which they reside (but where there is no common language between the groups). Fundamentally, a pidgin is a simplified means of linguistic communication, as it is constructed impromptu, or by convention, between individuals or groups of people. A pidgin is not the native language of any speech community, but is instead learned as a second language. A pidgin may be built from words, sounds, or body language from multiple other languages and cultures. They allow people who have no common language to communicate with each other. Pidgins usually have low prestige with respect to other languages. Context_5 : Ramkali is a sweet early morning raga in Hindustani classical music which belongs to Bhairav thaat. In this raga, as in Bhairav, second degree (rishabh) and sixth degree (dhaivat) are flat. The vadi-samvadi are P/S, the aroha is S r G M P, G M d N S' and the avroha is S' N d P m P, d (N)d P, G M r S. Flat nishad (seventh degree) and sharp madhyama (fourth degree) are used often. Context_6 : In computer programming, an enumerated type (also called enumeration, enum, or factor in the R programming language, and a categorical variable in statistics) is a data type consisting of a set of named values called "elements", "members", "enumeral", or "enumerators" of the type. The enumerator names are usually identifiers that behave as constants in the language. An enumerated type can be seen as a degenerate tagged union of unit type. A variable that has been declared as having an enumerated type can be assigned any of the enumerators as a value. In other words, an enumerated type has values that are different from each other, and that can be compared and assigned, but are not specified by the programmer as having any particular concrete representation in the computer's memory; compilers and interpreters can represent them arbitrarily. Context_7 : The Vijñāna Bhairava Tantra (sometimes spelled in a Hindicised way as "Vigyan Bhairav Tantra") is a key text of the Trika school of Kashmir Shaivism in Sanskrit language. Cast as a discourse between the god Shiva and his consort Devi or Shakti, it briefly presents 112 meditation methods or centering techniques ("dharana"). These include several variants of breath awareness, concentration on various centers in the body, non-dual awareness, chanting, imagination and visualization and contemplation through each of the senses. A prerequisite to success in any of the 112 practices is a clear understanding of which method is most suitable to the practitioner. Context_8 : Vairavapatti is a village in the Tirupattur taluk Sivaganga district of Tamil Nadu,India. This village derives its name from the temple dedicated to Lord Kala Bhairav who is known in Tamil language as Vairavan. It is 2 km from the Pillayarpatti village which is another famous pilgrimage center. It is one of the 9 temples held in high esteem by the Nagarathar Chettiar community of Tamil Nadu. Context_9 : Ahir Bhairav (, English: Songs of the Dawn ) is an Assamese language drama film directed by Siva Prasad Thakur and produced by Dr Ronen Sarma, under the banner of Rondeep Productions (UK) Ltd. This is the first ever Assamese movie crossing the budget of Rs 1 crore and entirely shot in the UK. It has been chosen by the British Film Institute, London, to be preserved in its archive. Context_10 : Raag Bhairav (Hindi: भैरव/भैरों) (Urdu: ‎ ) (Sindhiبھےرو ) is a Hindustani Classical heptatonic (Sampurna) Raag of Bhairav Thaat. Traditionally it is a morning raga. In modern times, typically in Khyal Gayaki, it is usually performed as the beginning piece in concerts. It is the defining raga of its own Thaat. fact_1 : Ramkali is a sweet early morning raga in Hindustani classical music which belongs to Bhairav thaat. fact_2 : Raag Bhairav (Hindi: भैरव/भैरों) (Urdu: ‎ ) (Sindhiبھےرو ) is a Hindustani Classical heptatonic (Sampurna) Raag of Bhairav Thaat. Question: What type of language does Ramkali and Bhairav have in common?
Output: Hindustani