mgampkay MgaMPKAy

不存在的程序员

MgaMPKAy / PipeEchoClient.hs

Created March 27, 2012 15:20

Implement simple echo server and client with pipes-network

	{-# LANGUAGE PackageImports #-}
	module Main where

	import "pipes-core" Control.Pipe
	import Control.Pipe.Network
	import Control.Monad
	import Control.Monad.Trans
	import Control.Concurrent (forkIO)
	import qualified Data.ByteString.Char8 as B

MgaMPKAy / TodoList.hs

Created March 28, 2012 06:10

	{-# LANGUAGE TypeFamilies, QuasiQuotes, TemplateHaskell #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE FlexibleContexts, EmptyDataDecls, GADTs #-}
	{-# LANGUAGE OverloadedStrings #-}
	module Main where

	import Yesod
	import Database.Persist.Sqlite
	import Data.Text
	data TodoList = TodoList ConnectionPool

MgaMPKAy / gpa.js

Created April 8, 2012 08:35

Try to calculate gpa in gdut website (algorithm is wrong)

	var listhead = $$(".datelisthead");
	var sumScoreRank = 0;
	var sumPoint = 0;

	for (var i = listhead.nextSibling; i.nodeName == "TR"; i = i.nextSibling) {
	var score = parseFloat(i.childNodes[4].innerHTML);
	var point = parseFloat(i.childNodes[8].innerHTML);
	if (isNaN(score)) continue;
	sumScoreRank += score * scoreToRank(score);
	sumPoint += point;

MgaMPKAy / Path.hs

Created April 11, 2012 03:10

	module Path where

	data Tree a = Empty
	\| Node a (Tree a) (Tree a)
	deriving (Eq, Show)

	paths Empty = []
	paths (Node x Empty Empty) = [[x]]
	paths (Node x l r) = concat [ map (x:) (paths l), map (x:) (paths r)]

MgaMPKAy / Application.hs

Created April 12, 2012 17:23

	{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}
	{-# LANGUAGE TemplateHaskell, QuasiQuotes, OverloadedStrings #-}
	{-# LANGUAGE FlexibleContexts, GADTs #-}

	import Yesod
	import Yesod.Form
	import Database.Persist
	import Database.Persist.Sqlite
	import Database.Persist.TH
	import Data.Time

MgaMPKAy / LoginValidate.java

Created May 6, 2012 16:32

simple LoginValidate, of no use

	import java.awt.*;
	import java.awt.event.*;
	import javax.swing.*;
	import javax.swing.event.*;
	import java.util.HashMap;

	public class LoginValidate extends JFrame {

	//db存放用户名和喜闻乐见的明文密码
	private HashMap<String, String> db;

MgaMPKAy / Calc.html

Created May 10, 2012 04:59

	<!DOCTYPE html>
	<html>
	<head>
	<title>Calc</title>
	</head>

	<body>
	<APPLET code="Calc.class" WIDTH="400" HEIGHT="300">
	This is where HelloWorld.class runs.</APPLET></P>
	</body>

MgaMPKAy / Basics.v

Created May 10, 2012 16:00

Sofeware Fundation & Coq

	Inductive day : Type :=
	\| monday : day
	\| tuesday : day
	\| wendnesday : day
	\| thursday : day
	\| friday : day
	\| saturday : day
	\| sunday : day.

	Definition next_weekday (d:day) : day :=

MgaMPKAy / Shanbay.hs

Created May 12, 2012 13:31

download shanbay wordlist in json format

	{-# LANGUAGE OverloadedStrings #-}
	import Network.HTTP.Conduit

	import Data.Conduit
	import Data.Conduit.Binary (sinkFile)
	import Data.Conduit.Attoparsec (sinkParser)
	import Data.Aeson.Parser (json)
	import Control.Monad (when)
	import qualified Data.ByteString.Lazy as L
	import Control.Monad.IO.Class (liftIO)

MgaMPKAy / String50.hs

Created May 15, 2012 09:23

algs4 web exercises http://algs4.cs.princeton.edu/50strings/

	module String50 where

	import Data.List (inits, tails)

	removeDuplicate [] = []
	removeDuplicate [x, y] = if x == y then [x] else [x, y]
	removeDuplicate (x:y:ys)
	\| x == y = removeDuplicate (y:ys)
	\| otherwise = x : removeDuplicate (y:ys)