Inigo Mediavilla Saiz txominpelu

## gen.py
lines = 30000
types = {
  "date" : "01-04-2015",
  "string" : "hello",
  "number" : "10000"
}

class Column(object):

  def __init__(self, name, t):

## log
#<Gem::Version "2.2.0">
D, [2015-04-14T17:08:28.311546 #11332] DEBUG -- : HTTPI GET request to webservice.exacttarget.com (net_http)
I, [2015-04-14T17:08:29.677913 #11332]  INFO -- : SOAP request: https://webservice.exacttarget.com/Service.asmx
I, [2015-04-14T17:08:29.677983 #11332]  INFO -- : SOAPAction: "Create", Content-Type: text/xml;charset=UTF-8, Content-Length: 895
D, [2015-04-14T17:08:29.678013 #11332] DEBUG -- : <?xml version="1.0" encoding="UTF-8"?><env:Envelope xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:tns="http://exacttarget.com/wsdl/partnerAPI" xmlns:env="http://schemas.xmlsoap.org/soap/envelope/"><env:Header><wsse:Security xmlns:wsse="http://docs.oasis-open.org/wss/2004/01/oasis-200401-wss-wssecurity-secext-1.0.xsd"><wsse:UsernameToken wsu:Id="UsernameToken-1" xmlns:wsu="http://docs.oasis-open.org/wss/2004/01/oasis-200401-wss-wssecurity-utility-1.0.xsd"><wsse:Username></wsse:Username><wsse:Password Type="http://docs.oasis-open.org/ws

## retry.bash
#!/usr/bin/env bash

set -o nounset
set -o errexit
set -o pipefail

declare -r max=2
declare i=0

function wrap() {

## basic.sch
#lang scheme

(define (convert char)
  (cond
      [(char=? char #\<)
        "&lt;"]
      [(char=? char #\>)
        "&gt;"]
      [else (string char)]))

## ReadKeys.scala

import play.api.libs.json._
import play.api.libs.ws.WS
import scala.concurrent.ExecutionContext.Implicits._
import scala.concurrent.Await
import scala.concurrent.duration._

// Just for the example in the console - Await is WRONG
val result = WS.url("http://openexchangerates.org/api/latest.json?app_id=47b18507ef684bfd859ad93e21f3a226").get()
val json = Await.result(result, DurationInt(5).seconds).json

## Glossary-FunctPAndTypeS.md

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                txominpelu
                / Glossary-FunctPAndTypeS.md
            
            
              Last active
              December 29, 2015 14:19
            
              
                Glossary - Functional programming and type systems
              
          
    Principal typings

The process of type inference is the fact of guessing, given an user-written program, what the type of this program is. In general, there may be several correct types for a given program. For example, the program fun x -> x can be given the types int -> int and bool -> bool.
Given a program, a type for this program is principal if it is the most general type that can be given to this program, in the sense that all other psosible types are specialization (instances) of this type. With my fun x -> x example, the polymorphic 'a -> 'a is a principal type.
A type system has the property of principal typing if for every term in the system, there's a principal type that subsumes (is a more general version, or a "supertype") all the other possible typings of the term.
Type systems with principal typing: ML, System F

  
## traverse-validation
import scalaz._
import scalaz.syntax.validation._
import scalaz.syntax.traverse._
import scalaz.std.list._


scala> List("1".successNel[String], "2".failNel[String], "3".failNel[String]).sequenceU
res5: scalaz.Validation[scalaz.NonEmptyList[String],List[String]] = Failure(NonEmptyList(2, 3))


## index.html
<head>
  <meta http-equiv="content-type" content="text/html; charset=utf-8">

  <title>Playing with ember states</title>
  <script src="http://code.jquery.com/jquery-1.8.0.min.js" type="text/javascript" charset="utf-8"></script>
  <script src="handlebars.js" type="text/javascript" charset="utf-8"></script>
  <script src="ember-1.0.pre.debug.js" type="text/javascript" charset="utf-8"></script>
</head>
<body>
  <script type="text/x-handlebars" data-template-name="master">

## Catalog.java
package dynamicrefactoring.domain.metadata.interfaces;

import java.util.List;

import com.google.common.base.Predicate;

public interface ClassifiedFilterableCatalog<K> {

	/**
	 * Agrega un condicion al filtro actual que se esta aplicando al catalogo.

## Rename Class - Original
//Clase original:

package com.proyecto.prueba;

import java.util.*;

public class HolaMundo {

    /**
* @param args
	lines = 30000
	types = {
	"date" : "01-04-2015",
	"string" : "hello",
	"number" : "10000"
	}

	class Column(object):

	def __init__(self, name, t):
	#<Gem::Version "2.2.0">
	D, [2015-04-14T17:08:28.311546 #11332] DEBUG -- : HTTPI GET request to webservice.exacttarget.com (net_http)
	I, [2015-04-14T17:08:29.677913 #11332] INFO -- : SOAP request: https://webservice.exacttarget.com/Service.asmx
	I, [2015-04-14T17:08:29.677983 #11332] INFO -- : SOAPAction: "Create", Content-Type: text/xml;charset=UTF-8, Content-Length: 895
	D, [2015-04-14T17:08:29.678013 #11332] DEBUG -- : <?xml version="1.0" encoding="UTF-8"?><env:Envelope xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:tns="http://exacttarget.com/wsdl/partnerAPI" xmlns:env="http://schemas.xmlsoap.org/soap/envelope/"><env:Header><wsse:Security xmlns:wsse="http://docs.oasis-open.org/wss/2004/01/oasis-200401-wss-wssecurity-secext-1.0.xsd"><wsse:UsernameToken wsu:Id="UsernameToken-1" xmlns:wsu="http://docs.oasis-open.org/wss/2004/01/oasis-200401-wss-wssecurity-utility-1.0.xsd"><wsse:Username></wsse:Username><wsse:Password Type="http://docs.oasis-open.org/ws
	#!/usr/bin/env bash

	set -o nounset
	set -o errexit
	set -o pipefail

	declare -r max=2
	declare i=0

	function wrap() {
	#lang scheme

	(define (convert char)
	(cond
	[(char=? char #\<)
	"<"]
	[(char=? char #\>)
	">"]
	[else (string char)]))

	import play.api.libs.json._
	import play.api.libs.ws.WS
	import scala.concurrent.ExecutionContext.Implicits._
	import scala.concurrent.Await
	import scala.concurrent.duration._

	// Just for the example in the console - Await is WRONG
	val result = WS.url("http://openexchangerates.org/api/latest.json?app_id=47b18507ef684bfd859ad93e21f3a226").get()
	val json = Await.result(result, DurationInt(5).seconds).json
	import scalaz._
	import scalaz.syntax.validation._
	import scalaz.syntax.traverse._
	import scalaz.std.list._


	scala> List("1".successNel[String], "2".failNel[String], "3".failNel[String]).sequenceU
	res5: scalaz.Validation[scalaz.NonEmptyList[String],List[String]] = Failure(NonEmptyList(2, 3))
	<head>
	<meta http-equiv="content-type" content="text/html; charset=utf-8">

	<title>Playing with ember states</title>
	<script src="http://code.jquery.com/jquery-1.8.0.min.js" type="text/javascript" charset="utf-8"></script>
	<script src="handlebars.js" type="text/javascript" charset="utf-8"></script>
	<script src="ember-1.0.pre.debug.js" type="text/javascript" charset="utf-8"></script>
	</head>
	<body>
	<script type="text/x-handlebars" data-template-name="master">
	package dynamicrefactoring.domain.metadata.interfaces;

	import java.util.List;

	import com.google.common.base.Predicate;

	public interface ClassifiedFilterableCatalog<K> {

	/**
	* Agrega un condicion al filtro actual que se esta aplicando al catalogo.
	//Clase original:

	package com.proyecto.prueba;

	import java.util.*;

	public class HolaMundo {

	/**
	* @param args