|
Ä°dris Nebi HatipoÄŸlu
Idris may refer to: People * Idris (name), a list of people and fictional characters with the given name or surname * Idris (prophet), Islamic prophet in the Qur'an, traditionally identified with Enoch, an ancestor of Noah in the Bible * Idris Gawr or Idris the Giant (c. 560–632), Welsh king * Idris I of Kanem, 14th century King of Chad * Idris of Libya (1889–1983), King of Libya * Idris I of Morocco (745–791), Emir of Morocco * Idris II of Morocco (791–828), Emir of Morocco and founder of the Idrisid dynasty in Morocco, son of the above * Edrissa Sanneh, Italian television personality known as Idris Technology *Idris (programming language) Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be used as a proof assistant, but is designed to be a general-purpose programming language s ..., a functional programming language with dependent types *Idris (operating system), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Idris (name)
Idris is a Welsh and Arabic given name (usually masculine), also given as surname. The name has two different etymologies. Welsh: 'Ardent lord', from (lord, prince) + (ardent, enthusiastic, impulsive). It lends its name to the mountain ('Idris's Chair') by way of ('Idris the Giant'). The story of is believed to have come from the monkish king Idris of , who was slain in a battle with Oswald of Northumbria on the River Severn. This indicates that the name may well have been used in Wales before his final stand in 632. Arabic (, also transliterated ''Idrees''): Idris, the Islamic prophet mentioned in the Qur'an, usually identified with Enoch in the Bible. The original meaning may be "interpreter."''Encyclopedia of Islam'', Juan Eduardo Campo, Infobase Publishing, 2009, pg. 344: "It probably originated as a term in ancient Hebrew for "interpreter"..." The name ''Idris'' means studious, smart, or to learn in Arabic. The prophet Idris in the Islamic religion was a tailor and is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |