Oct. 14th, 2013

juan_gandhi: (VP)
	function changeLanguageOrder(){
		if(null!=document.documentElement.lang && null!=document.getElementById('selectedLanguage')){
			if(document.documentElement.lang=="es"){
				document.getElementById('selectedLanguage').options[1].selected=true;
			}
			else if(document.documentElement.lang=="ht"){
				document.getElementById('selectedLanguage').options[2].selected=true;
			}
			else if(document.documentElement.lang=="il"){
				document.getElementById('selectedLanguage').options[3].selected=true;
			}
			else if(document.documentElement.lang=="ko"){
				document.getElementById('selectedLanguage').options[4].selected=true;
			}
			else if(document.documentElement.lang=="tl"){
				document.getElementById('selectedLanguage').options[5].selected=true;
			}
			else if(document.documentElement.lang=="vi"){
				document.getElementById('selectedLanguage').options[6].selected=true;
			}
			else if(document.documentElement.lang=="zh" || document.documentElement.lang=="zt"){
				document.getElementById('selectedLanguage').options[7].selected=true;
			}
			else { 
				document.getElementById('selectedLanguage').options[0].selected=true;
			}
		}


A weird selection of languages, is not it?
juan_gandhi: (VP)
Дошло до меня о великий царь, что слово "умора" пришло из латыни, ну типа через польский, может быть.

Przepraszam państwa, czy wie, jak to je po Polsku?

UPD. А в латыни - от влажности. Humidity, тот же корень. Ну понятно откуда, да? Четыре юмора и т.д.
juan_gandhi: (VP)

val listMaybe: Result[List[X]] = ...
val extractionResults: Result[List[Result[Y]]] = listMaybe map process
extractionResults map traverse flatten


I have a result of type Result[List[Result[Y]]]; now I traverse the internal list (if it exists), obtaining Result[Result[List[Y]]], then I have to flatten it to get Result[List[Y]].

Either I'm doing something non-kosher, or I need a word for this "map traverse flatten" thingie.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

August 2025

S M T W T F S
      12
3456789
10 11 12 13141516
171819 20212223
2425 26272829 30
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 31st, 2025 12:19 pm
Powered by Dreamwidth Studios