笔记: 关于 SKI 组合子及其实现

按照 Wiki, 组合子(Combinator)狭义的定义是:
https://wiki.haskell.org/Comb...

A function or definition with no free variables.

比如 \f -> \a -> \b -> f b a 定义的函数, 没有自由变量, 就是组合子.
参考这样的例子, Haskell 当中按照类型签名定义的函数都是这样写的.
大概 Haskell 里边基本上都是用着组合子在编程的, 而不是主流语言习惯意义的"函数".

SKI 组合子是更基础的组合子, 往前追溯到 Haskell 以前几十年的逻辑学的研究.
1924 苏联人发现的 SKI, 后来 Haskell Curry 的版本是 BCKW:
https://esolangs.org/wiki/Com...

这些基本的算子, 注意跟 Haskell 语法一样, 都是柯理化的函数, 从左边开始计算.

S f g x = f x (g x);
K x y = x;
I x = x;

写成 lambda 表达式的话:

S = λx.λy.λz.(xz)(yz)
K = λx.λy.x
I = λx.x

其中 I 可以用另两个表示, 也就是说最简的版本是 SK 组合子逻辑.

S K K x = I x = x

相比 SKI, 另一个版本更直观一点, 大概都能对应到 Haskell 里的一些函数,

B x y z = x (y z);
C x y z = x z y;
K x y = x;
W x y = x y y;

网上的说法, 本来这些组合子就跟 Haskell 当中有对应关系
https://stackoverflow.com/que...
比如一些常见的 Combinators 对应 Haskell 或者 js 中的函数.
https://gist.github.com/Avaq/...

关于组合子的详细的介绍, 推导, 数字表示, 具体看这个文章了
Fun with Combinators: https://doisinkidney.com/post...

更详细的版本要看 Wiki 了..
https://en.wikipedia.org/wiki...
lambda 表达式都是可以转化为 SK 组合子的表达式的,
而 lambda 表达式当中使用了自由变量, SK 组合子当中全部都是组合子函数.
以前用于研究的语言, Unlambda, Miranda, 程序内不是转化到组合子再执行的.
不过由于组合子本身表示的程序会很冗长, 到 GHC 就改变很多进行性能优化了.

有个视频把 Combinator 用的树的结构具体展示了一下
"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
https://www.youtube.com/watch...

Wolfram 的演讲视频, 中间涉及到很多 Combinators, 包括 SKI 原作者的历史
"Combinators: A 100-Year Celebration"
https://www.youtube.com/watch...

代码实现

有翻到别人的实现, 具体代码我还没能看懂...
https://github.com/ngzhian/ski

有翻到一个比较直观的版本, 某大佬实现的 combinator 的示例程序,
https://crypto.stanford.edu/~...

true = \x y -> x
false = \x y -> y
0 = \f x -> x
1 = \f x -> f x
succ = \n f x -> f(n f x)
pred = \n f x -> n(\g h -> h (g f)) (\u -> x) (\u ->u)
mul = \m n f -> m(n f)
is0 = \n -> n (\x -> false) true
Y = \f -> (\x -> x x)(\x -> f(x x))
fact = Y(\f n -> (is0 n) 1 (mul n (f (pred n))))
main = fact (succ (succ (succ 1)))  -- Compute 4!

对应到 SK 组合子结构...

s(k(s(skk)(skk)))(s(k(ss(k(s(skk)(skk)))))k)(s(k(s(k(s(s(s(s(skk)(k(k(sk))))(kk))(sk))))(s(s(ks)k))))(s(k(ss(k(s(k(s(k(s(k(ss(k(sk))))))(s(k(s(k(ss(kk)))k)))))(s(k(ss(k(s(k(s(k(s(k(s(k(s(skk)))k))))(s(skk))))k))))k)))))k))(s(s(ks)k)(s(s(ks)k)(s(s(ks)k)(skk))))uz

具体实现还是没看懂..
大致意义, 以前也听到过说 church number 这种基于 lambda 的数字表示,
比较抽象, 这次看到真的基于这种方式表达的代码实现了, 开始相信了.
理论上 SK 组合子有着图灵等价的能力(?), 应该是能表示任何的算法的.

unlambda 是一门很早的基于 SK(I) 组合子实现的语言,
http://www.madore.org/~david/...
这个名字 unlambda 是因为里边用了 SK 代替了 lambda 表达式.
就像前面说的组合子的用法, "everything is a function".
代码就显得极其晦涩了, 我就有点奇怪为什么作者一点圆括号都不用...

对应上边的用函数表达条件表达式 true, false 的写法, 在 lambda calculus 也有,
https://medium.com/@marinalim...
但是这个在理解上也要注意, 涉及到 lazy evaluation 的概念了,
http://augustss.blogspot.com/...
if cond t-branch f-branch 普通函数的版本, 所有参数都被求值的,
但作为条件表达式, 比如在 JavaScript, 明显只有其中一个表达式被求值,
在 strict evaluation 的语言当中, 基本上就是这样了, 参数会先求值掉, 再调用函数,
而这种条件表达式, 就需要语言内部或者 macro 提供能力, 来对分支进行求值.
在 Haskell 这样的语言, 却结果 lazy evaluation 能统一地实现该功能.
其中 branch 的代码表示作为 chunk 存在, 真的命中分支了, 才进行展开求值.
lambda calculus 和组合子这种数学化的表示, 应该也是对应 lazy 的版本.

其他

还有个 paper 详细解释了一下用组合子模拟数值和计算的具体过程.
Combinatory Logic: From Philosophy and Mathematics to Computer Science
以及 lambda 写法 https://dotink.co/posts/lambda/

Combinator 在 JavaScript 提供抽象能力的一些展示.
https://codeburst.io/combinat...
这个例子透露出来, Combinator 提供了强大的抽象能力,
我们平时编写程序, 函数内部没有对 free variables 的约束, 可以随便引用,
随便引用也就意味着这个函数的依赖, 甚至隐形依赖, 就会很多,
而基于 Combinator 不能使用 free variables, 所有依赖就只能从函数参数进入,
这样, 基于函数参数就有很多控制的手段了, 就有强大的抽象能力.
这样做伴随的问题就是抽象能力很强, 代码容易晦涩.

你可能感兴趣的:(函数式编程)

  • Java中的Lambda表达式详解 java面试跟我走 javapythonwindows
    一、Lambda表达式概述Lambda表达式是Java8引入的一个新特性，它使得编写简洁、功能强大的代码变得更加容易。Lambda表达式允许以简洁的方式表示匿名函数，从而在Java中实现函数式编程。通过Lambda表达式，我们可以将函数作为参数传递给其他函数，或者作为结果返回。二、Lambda表达式的语法Lambda表达式的语法如下：(参数)->{函数体}其中，参数是可选的，可以有0个或多个参数。
  • Java中的lambda 极客李华 Java基础javajvm开发语言
    Java中的lambdaJava中的LambdaLambda表达式是Java8中引入的一个重要特性，它极大地简化了函数式编程。Lambda表达式可以看作是一种匿名方法，它不需要像普通方法一样拥有名称、返回值类型和return语句。基本语法Lambda表达式的基本语法如下：(parameter1,parameter2,...,parameterN)->{statement1;statement2;.
  • Java学习——lambda表达式 Roderick888888 java学习python
    一、Lambda表达式前瞻知识什么是Lambda表达式？可以将Lambda表达式理解为一个匿名函数；Lambda表达式允许将一个函数作为另外一个函数的参数；我们可以把Lambda表达式理解为是一段可以传递的代码（将代码作为实参）,也可以理解为函数式编程，将一个函数作为参数进行传递。为什么要引入Lambda表达式？Lambda表达式能够让程序员的编程更加高效lambda表达式和方法引用使用前提：函数
  • JavaScript面试：什么是纯函数？ 魂斗驴
    纯函数对于多种用途至关重要，包括函数式编程，可靠的并发和React+Redux应用程序。但是“纯函数”是什么意思？在我们研究纯函数是什么之前，仔细研究一下函数可能是一个好主意。观察它们的方式可能有所不同，这将使函数式编程更易于理解。什么是函数？函数是一种方法，它需要一些输入，称为自变量，并产生一些输出称为返回值。函数可以达到以下目的：映射：根据给定的输入产生一些输出。函数将输入值映射到输出值。过程
  • vue3 什么是Composition API 我为什么要使用它？ 软件技术NINI vue案例vue.js前端javascript
    CompositionAPI（组合式API）是Vue3中引入的一组全新的API，旨在提供一种更加灵活和可组合的方式来组织和复用组件逻辑。这一改变是Vue.js向函数式编程和更现代的开发方式迈出的重要一步。以下是CompositionAPI的详细解析：一、基本概念定义：CompositionAPI是一组允许开发者以函数式编程风格组织Vue组件逻辑的API。目的：提高代码的可读性、可维护性、复用性和类
  • 总结函数相关知识 你会发光哎u JavaScript高级学习javascript前端开发语言
    这里写目录标题1.函数的特性声明调用参数参数默认值返回值属性方法arguments剩余参数（`rest`）作用域原型`this`指向执行过程2.特殊的函数`with`函数`eval`函数apply/call/bind函数纯函数箭头函数立即执行函数`IIFE`高阶函数递归函数组合函数柯里化函数概念优势自动柯里化类和构造函数JavaScript是支持函数式编程的，在JavaScript中函数是一等公民
  • java什么是函数式编程_Java8 函数式编程 911ACE java什么是函数式编程
    Java8函数式编程本次主题主要介绍什么是函数式编程,其主要特点,以及它在Java8中是怎么体现的.函数式编程这个思维早在1958年就被提出来的了,在60年后的今天重新被提出来,且越来越流行,其主要原因是CPU的时钟频率发展停滞不前,目前徘徊在4GHZ左右。CPU的时钟频率越快,则运行速度越快,但目前的工艺技术限制了CPU频率的进一步提升,主流的芯片厂商目前都转向了多核处理器这个架构方向,所以我们
  • js知识总结 软件技术NINI jsjavascriptvue.js前端
    JavaScript（JS）是一种广泛使用的编程语言，主要用于网页开发，但也适用于非浏览器环境（如Node.js）。它支持面向对象、命令式、声明式（如通过函数式编程）和事件驱动式编程风格。以下是对JavaScript核心知识的一个总结：1.基础语法变量：使用var、let、const声明变量。let和const具有块级作用域，而var具有函数作用域或全局作用域。数据类型：包括原始类型（如Strin
  • Python暑假学习总结 小龙夏 python学习
    通过系统地学习Python基础知识、函数、高级特性、函数式编程、模块和面向对象编程等方面，我对Python有了更深入的理解和掌握。在这篇学习总结中，我将分享我在学习Python过程中的体会和经验。一、python基础1、输出print(),输入input()，#注释；2、了解了数据类型和变量（and,or,not)、字符串和编码、使用list和tuple、条件判断(if...elif...else
  • 2024年大数据高频面试题(下篇） 猿与禅 Java架构师面试大数据面试scala即席查询分桶调度系统数据倾斜
    文章目录Scala数据类型函数式编程闭包函数柯里化面向对象样例类对象与伴生对象特质(trait)模式匹配隐式转换即席查询KylinKylin特点Kylin工作原理核心算法Kylin总结Kylin的优点什么场景用KylinKylin的缺点Impala什么是ImpalaImpala为什么快FrontendBackendImpala总结：Presto什么是PrestoPresto的执行过程Presto总
  • Haskell爬虫：连接管理与HTTP请求性能 小白学大数据 python爬虫http网络协议开发语言python
    爬虫技术作为数据抓取的重要手段，其效率和性能直接影响到数据获取的质量与速度。Haskell，作为一种纯函数式编程语言，以其强大的类型系统和并发处理能力，在构建高效爬虫方面展现出独特的优势。本文将探讨在Haskell中如何通过连接管理和HTTP请求优化来提升爬虫的性能。连接管理的重要性在HTTP请求中，连接管理是一个关键因素。有效的连接管理可以减少建立和关闭连接的开销，提高请求的响应速度。在Hask
  • 函数式编程-Stream流 码农OvO 开发语言java
    函数式编程-Stream流1.概述1.1好处大数量下处理集合效率高代码可读性高消灭嵌套1.2函数式编程思想1.2.1概念面向对象思想需要关注用什么对象完成什么事情。而函数式编程思想就类似于我们数学中的函数。它主要关注的是对数据进行了什么操作。1.2.2优点代码简洁接近自然语言，易于理解易于"并发编程"2.Lambda表达式2.1概述Lambda是Jdk8中的一个语法糖。它可以对某些匿名内部类的写法
  • Lambda表达式与函数式接口 知昂可 Lambda表达式Lambdajava
    Lambda表达式与函数式接口1.函数式接口1.1什么是函数式接口函数式接口是指只有一个抽象方法的接口（Object的public方法除外。）。这种接口可以使用Lambda表达式实现，从而实现函数式编程的特性。另外函数式接口可以有默认方法和静态方法。建议：在定义函数式接口时，建议标记@FunctionalInterface注解，虽然不标记也不会影响接口的功能，但加上这个注解可以帮助编辑器检测是否错
  • 将泛型和函数式编程结合，竟然会让代码这么优雅！ 程序员蜗牛g springbootjavaspring
    但这种方式却太表象了，没有灵魂和深度，过去的那些日子，我感觉自己的编程水平也就限于把重复的代码抽一抽，（如下图所示一样），甚至觉得代码优化不就是这样吗，这样的状态一直维持很久。image.png然后后来让我感受到这种优雅艺术的点，正是泛型和函数式编程！2.1结构化的代码以分页为例子，来感受一下什么是结构化的代码。特别说明一下：分页还需当前页数、页大小，以及校验等，本案例忽略；代码主要逻辑：查询分页
  • python爬虫爬取京东商品评价_京东商品评论爬取实战 weixin_39835158
    先说说为什么写这个小demo吧，说起来还真的算不上“项目”，之前有一个朋友面试，别人出了这么一道机试题，需求大概是这样紫滴：1.给定任意京东商品链接，将该商品评论信息拿下，存入csv或者数据库2.要求使用多任务来提高爬虫获取数据的效率3.代码简洁，规范，添加必要注释4.可以使用函数式编程，或者面向对象编程看到上面四个简单的需求，层次高的童鞋可能就看不下去了，因为太简单了，这里本人的目的是给初学爬虫
  • Lambda表达式解析 一只BI鱼 笔记每日面经整理开发语言javalambda函数式编程
    1.为什么要有Lambda表达式在处理集合操作、事件监听、线程任务等场景时，程序员想要简化编程模型，同时提高代码的可读性，于是引入Lambda表达式。（1）简化匿名内部类的使用。java8之前需要编写匿名内部类，代码冗长。（2）支持函数式编程风格。函数式编程强调将计算视为一系列函数的应用，通过组合简单的函数来构建复杂的计算过程。Lambda表达式支持java更方便的采用函数式编程。（3）增强集合操
  • 2024最新最全的React面试题 二丫骑士qq react.js前端前端框架
    1.react和vue的区别？(1)设计理念:React:更倾向于函数式编程思想，推崇组件的不可变性和单向数据流。Vue:结合了响应式编程和模板系统，致力于简化开发过程。(2)核心库与生态系统:React:React本身只关注UI层，但它有一个庞大的生态系统，例如Redux、MobX等用于状态管理，以及ReactRouter用于路由处理。Vue:Vue是一个更完整的解决方案，它的核心库除了视图层，
  • python中func自定义函数_Python函数之自定义函数&作用域&闭包 瞄小七.sunshine
    一前言1.1为什么要用函数代码的组织结构更清晰，可读性好；遇到重复的功能不需要重新编写代码，调用函数即可，代码不会冗余；功能需要扩展时，只需要修改函数内容即可，实现统一管理，降低代码维护难度函数式编程最重要的是增强代码的重用性和可读性1.2函数是什么想象生活中的例子，修理工需要事先准备好工具箱里面放好锤子，扳手，钳子等工具，然后遇到锤钉子的场景，拿来锤子用就可以，而无需临时再制造一把锤子。修理工-
  • java 函数式编程 之 Stream API (二) e86dab508bc1
    在上一篇文章中，我们介绍了java8中streamAPI的简单使用，其中包括对于stream流操作的相关方法，我们可以借助它对于集合进行相关的处理，下面要介绍收集器，就是对于上一篇中的处理之后的数据如何安放做出动作，相比较于指令式的代码，函数式的代码目的就更加清晰，表现就更加形象，而且代码的复用能力更强，结合上一篇中的例子，我们先抛出一个简单的收集器的例子，然后我们再进一步分析。例子：（1）将数组
  • JavaScript 深度剖析 - 函数式编程范式 时光海丶 大前端javascript函数式编程
    函数式编程范式1.1函数式编程概念函数是一等公民高阶函数闭包1.2纯函数概念功能库lodash优劣纯函数的好处纯函数的副作用1.3柯里化(HaskellBrooksCurry)概念lodash中的柯里化函数总结1.4函数组合(compose)管道函数组合1.5Lodash中的fp模块1.6PointFree模式1.7函子Functor函子MayBe函子Either函子IO函子Task函子Point
  • java17 Java8新特性 Stringzhua Javajava开发语言java8
    Java8新特性Java8新特性Java8中的interface接口lambda表达式排序：迭代lambda函数式编程Supplier---供给型接口Consumer--消费者接口Function--转换型接口Predicatebooleantest(Tt);Comparator接口Stream流创建Stream常用方法示例1示例2示例3示例4示例5Filter过滤Sorted排序Map映射Cou
  • springboot整合aop实现日志记录 walkerShen
    知识概况定义：在软件业，AOP为AspectOrientedProgramming的缩写，意为：面向切面编程，通过预编译方式和运行期间动态代理实现程序功能的统一维护的一种技术。AOP是OOP的延续，是软件开发中的一个热点，也是Spring框架中的一个重要内容，是函数式编程的一种衍生范型。利用AOP可以对业务逻辑的各个部分进行隔离，从而使得业务逻辑各部分之间的耦合度降低，提高程序的可重用性，同时提高
  • 华为仓颉语言的技术梗概，底层原理是什么？什么架构，以后会替换JAVA语言了，信创背景下，要不要开始进入仓颉赛道，详细为您剖析仓颉语言 九张算数 数字化转型华为架构java数据仓库
    华为仓颉语言（CangjieLanguage）是华为开发的一种编程语言，旨在提高软件开发效率和代码质量。以下是关于华为仓颉语言的技术梗概、底层原理、架构和语法的一些基本信息：技术梗概仓颉语言是一种高级编程语言，设计目标是简化代码编写过程，增强代码的可读性和可维护性。它结合了多种编程范式，支持面向对象编程、函数式编程和声明式编程，旨在提升开发人员的生产力。底层原理仓颉语言的底层原理主要包括以下几个方
  • 探索函数式编程：纯函数 | 高阶函数 | 函数柯里化 | 组合函数 小孔_H 前端javascript
    函数式编程概述定义函数式编程（FP:Functionalprogramming）是一种范式，强调使用函数来构建程序，并且避免使用状态改变和可变数据（避免函数的执行存在副作用）→范式，用函数来"组合"以及"处理数据"(将运算过程抽象成函数)复用特点函数是第一等公民：在函数式编程语言中，函数可以被当作变量一样赋值给变量，作为参数传递给其他函数，或者作为其他函数的返回值纯函数：纯函数是函数式编程的核心。
  • python初识 时光不老_9fec
    姓名：常呈祥学号：20181213908学院：电子工程学院转自https://baike.baidu.com/item/Python/407313?fr=aladdinPython是完全面向对象的语言。函数、模块、数字、字符串都是对象。并且完全支持继承、重载、派生、多继承，有益于增强源代码的复用性。Python支持重载运算符和动态类型。相对于Lisp这种传统的函数式编程语言，Python对函数式设
  • 大数据面试-Scala 文文鑫 #大数据面试-Scala大数据scala开发语言
    谈谈scala的闭包、柯里化、高阶函数如果一个函数，访问到了它的外部（局部）变量的值，那么这个函数和他所处的环境，称为闭包。闭包在函数式编程中是一个重要的概念，广泛用于高阶函数、柯里化等技术中。函数柯里化：把一个参数列表的多个参数，变成多个参数列表；函数柯里化，其实就是将复杂的参数逻辑变得简单化,函数柯里化一定存在闭包。高阶函数：1）函数可以作为值进行传递2）函数可以作为参数进行传递3）函数可以作
  • 函数式编程和OO编程02——二者的等价性 MaraSun 软件开发函数式编程面向对象编程
    我：理论上这两种方式可以等价吗？（FP和OOP）-ChatGPT理论上，函数式编程（FP）和面向对象编程（OO）可以在功能上达到等价的效果，但它们的实现方式、代码结构以及思维模式有所不同。功能等价性从功能角度来看，两种编程范式都可以用来解决相同的问题，并实现相同的计算或逻辑。无论是用OO编程中的类和对象，还是用FP中的函数和不可变数据，都可以构建相同的应用程序或系统。例如，前面购物车的例子中，无论
  • 那些久远的开发语言（COBOL、Pascal、Perl等）还有市场吗 MavenTalk Python开发语言perlCOBOLpascalbasicPerl
    旧的开发语言在旧的开发语言中，除了Combo和BASIC之外，还有一些其他曾经流行或具有重要历史意义的编程语言，例如：FORTRAN：1957年诞生，是第一个编译型语言，主要用于科学和工程计算。LISP：1958年诞生，是最早的函数式编程语言之一，以列表处理能力著称。COBOL：1959年诞生，面向商业的应用，特点是使用英语-like的语法。Pascal：1970年诞生，以其结构化编程和教学用途而
  • Java Stream 实现原理浅析 码到三十五 源码解读java
    ❃博主首页：「码到三十五」，同名公众号:「码到三十五」，wx号:「liwu0213」☠博主专栏：♝博主的话：搬的每块砖，皆为峰峦之基；公众号搜索「码到三十五」关注这个爱发技术干货的coder，一起筑基JavaStreamAPI的实现原理是一个复杂但高度优化的过程，它基于函数式编程的概念，并结合了现代多核处理器的特性。文章目录1.核心概念2.内部结构3.实现机制4.操作分类5.总结1.核心概念流（S
  • JAVA学习.行为抽象和Lambda.流和行为抽象 守护者170 java学习java学习开发语言
    一、行为抽象和Lambda表达式是Java中函数式编程的重要特性，它们可以与流(Stream)API相结合，提供了更为便捷和灵活的编程方式。下面将分别对行为抽象、Lambda表达式和流API进行概述，并介绍它们的特点、使用方法以及与其他编程方式的比较。（一）、行为抽象：行为抽象（FunctionalInterface）是指只包含一个抽象方法的接口。它不同于传统的接口，不需要实现多个方法，而是将方法
  • ios内付费 374016526 ios内付费
    近年来写了很多IOS的程序，内付费也用到不少，使用IOS的内付费实现起来比较麻烦，这里我写了一个简单的内付费包，希望对大家有帮助。   具体使用如下: 这里的sender其实就是调用者，这里主要是为了回调使用。 [KuroStoreApi kuroStoreProductId:@"产品ID" storeSender:self storeFinishCallBa
  • 20 款优秀的 Linux 终端仿真器 brotherlamp linuxlinux视频linux资料linux自学linux教程
      终端仿真器是一款用其它显示架构重现可视终端的计算机程序。换句话说就是终端仿真器能使哑终端看似像一台连接上了服务器的客户机。终端仿真器允许最终用户用文本用户界面和命令行来访问控制台和应用程序。（LCTT 译注：终端仿真器原意指对大型机-哑终端方式的模拟，不过在当今的 Linux 环境中，常指通过远程或本地方式连接的伪终端，俗称“终端”。） 你能从开源世界中找到大量的终端仿真器，它们
  • Solr Deep Paging(solr 深分页) eksliang solr深分页solr分页性能问题
    转载请出自出处：http://eksliang.iteye.com/blog/2148370 作者：eksliang(ickes) blg:http://eksliang.iteye.com/ 概述 长期以来，我们一直有一个深分页问题。如果直接跳到很靠后的页数，查询速度会比较慢。这是因为Solr的需要为查询从开始遍历所有数据。直到Solr的4.7这个问题一直没有一个很好的解决方案。直到solr
  • 数据库面试题 18289753290 面试题 数据库
    1.union ,union all 网络搜索出的最佳答案： union和union all的区别是,union会自动压缩多个结果集合中的重复结果，而union all则将所有的结果全部显示出来，不管是不是重复。 Union：对两个结果集进行并集操作，不包括重复行，同时进行默认规则的排序； Union All：对两个结果集进行并集操作，包括重复行，不进行排序； 2.索引有哪些分类？作用是
  • Android TV屏幕适配 酷的飞上天空 android
    先说下现在市面上TV分辨率的大概情况 两种分辨率为主 1.720标清，分辨率为1280x720. 屏幕尺寸以32寸为主，部分电视为42寸 2.1080p全高清，分辨率为1920x1080 屏幕尺寸以42寸为主，此分辨率电视屏幕从32寸到50寸都有   适配遇到问题，已1080p尺寸为例： 分辨率固定不变，屏幕尺寸变化较大。 如：效果图尺寸为1920x1080，如果使用d
  • Timer定时器与ActionListener联合应用 永夜-极光 java
    功能:在控制台每秒输出一次   代码: package Main; import javax.swing.Timer; import java.awt.event.*; public class T { private static int count = 0; public static void main(String[] args){
  • Ubuntu14.04系统Tab键不能自动补全问题解决 随便小屋 Ubuntu 14.04
    Unbuntu 14.4安装之后就在终端中使用Tab键不能自动补全，解决办法如下：   1、利用vi编辑器打开/etc/bash.bashrc文件（需要root权限） sudo vi /etc/bash.bashrc  接下来会提示输入密码 2、找到文件中的下列代码 #enable bash completion in interactive shells #if
  • 学会人际关系三招 轻松走职场 aijuans 职场
    要想成功，仅有专业能力是不够的，处理好与老板、同事及下属的人际关系也是门大学问。如何才能在职场如鱼得水、游刃有余呢？在此，教您简单实用的三个窍门。 　　第一，多汇报 最近，管理学又提出了一个新名词“追随力”。它告诉我们，做下属最关键的就是要多请示汇报，让上司随时了解你的工作进度，有了新想法也要及时建议。不知不觉，你就有了“追随力”，上司会越来越了解和信任你。 　　第二，勤沟通 团队的力
  • 《O2O：移动互联网时代的商业革命》读书笔记 aoyouzi 读书笔记
    移动互联网的未来：碎片化内容+碎片化渠道=各式精准、互动的新型社会化营销。   O2O：Online to OffLine 线上线下活动 O2O就是在移动互联网时代，生活消费领域通过线上和线下互动的一种新型商业模式。   手机二维码本质：O2O商务行为从线下现实世界到线上虚拟世界的入口。   线上虚拟世界创造的本意是打破信息鸿沟，让不同地域、不同需求的人
  • js实现图片随鼠标滚动的效果 百合不是茶 JavaScript滚动属性的获取图片滚动属性获取页面加载
    1,获取样式属性值 top 与顶部的距离 left 与左边的距离 right 与右边的距离 bottom 与下边的距离 zIndex 层叠层次     例子:获取左边的宽度,当css写在body标签中时 <div id="adver" style="position:absolute;top:50px;left:1000p
  • ajax同步异步参数async bijian1013 jqueryAjaxasync
            开发项目开发过程中，需要将ajax的返回值赋到全局变量中，然后在该页面其他地方引用，因为ajax异步的原因一直无法成功，需将async:false，使其变成同步的。         格式： $.ajax({ type: 'POST', ur
  • Webx3框架（1） Bill_chen eclipsespringmaven框架ibatis
    Webx是淘宝开发的一套Web开发框架，Webx3是其第三个升级版本；采用Eclipse的开发环境，现在支持java开发； 采用turbine原型的MVC框架，扩展了Spring容器，利用Maven进行项目的构建管理，灵活的ibatis持久层支持，总的来说，还是一套很不错的Web框架。 Webx3遵循turbine风格，velocity的模板被分为layout/screen/control三部
  • 【MongoDB学习笔记五】MongoDB概述 bit1129 mongodb
    MongoDB是面向文档的NoSQL数据库，尽量业界还对MongoDB存在一些质疑的声音，比如性能尤其是查询性能、数据一致性的支持没有想象的那么好，但是MongoDB用户群确实已经够多。MongoDB的亮点不在于它的性能，而是它处理非结构化数据的能力以及内置对分布式的支持(复制、分片达到的高可用、高可伸缩)，同时它提供的近似于SQL的查询能力，也是在做NoSQL技术选型时，考虑的一个重要因素。Mo
  • spring/hibernate/struts2常见异常总结 白糖_ Hibernate
    Spring ①ClassNotFoundException: org.aspectj.weaver.reflect.ReflectionWorld$ReflectionWorldException 缺少aspectjweaver.jar，该jar包常用于spring aop中   ②java.lang.ClassNotFoundException: org.sprin
  • jquery easyui表单重置(reset)扩展思路 bozch formjquery easyuireset
    在jquery easyui表单中 尚未提供表单重置的功能，这就需要自己对其进行扩展。 扩展的时候要考虑的控件有： combo,combobox,combogrid,combotree,datebox,datetimebox 需要对其添加reset方法，reset方法就是把初始化的值赋值给当前的组件，这就需要在组件的初始化时将值保存下来。 在所有的reset方法添加完毕之后，就需要对fo
  • 编程之美-烙饼排序 bylijinnan 编程之美
    package beautyOfCoding; import java.util.Arrays; /* *《编程之美》的思路是：搜索+剪枝。有点像是写下棋程序：当前情况下，把所有可能的下一步都做一遍；在这每一遍操作里面，计算出如果按这一步走的话，能不能赢（得出最优结果）。 *《编程之美》上代码有很多错误，且每个变量的含义令人费解。因此我按我的理解写了以下代码： */
  • Struts1.X 源码分析之ActionForm赋值原理 chenbowen00 struts
    struts1在处理请求参数之前，首先会根据配置文件action节点的name属性创建对应的ActionForm。如果配置了name属性，却找不到对应的ActionForm类也不会报错，只是不会处理本次请求的请求参数。 如果找到了对应的ActionForm类，则先判断是否已经存在ActionForm的实例，如果不存在则创建实例，并将其存放在对应的作用域中。作用域由配置文件action节点的s
  • [空天防御与经济]在获得充足的外部资源之前,太空投资需有限度 comsci 资源
          这里有一个常识性的问题:       地球的资源,人类的资金是有限的,而太空是无限的.....       就算全人类联合起来,要在太空中修建大型空间站,也不一定能够成功,因为资源和资金,技术有客观的限制.... &
  • ORACLE临时表—ON COMMIT PRESERVE ROWS daizj oracle临时表
    ORACLE临时表 转 临时表：像普通表一样，有结构，但是对数据的管理上不一样，临时表存储事务或会话的中间结果集，临时表中保存的数据只对当前 会话可见，所有会话都看不到其他会话的数据，即使其他会话提交了，也看不到。临时表不存在并发行为，因为他们对于当前会话都是独立的。 创建临时表时，ORACLE只创建了表的结构（在数据字典中定义），并没有初始化内存空间，当某一会话使用临时表时，ORALCE会
  • 基于Nginx XSendfile+SpringMVC进行文件下载 denger 应用服务器Webnginx网络应用lighttpd
        在平常我们实现文件下载通常是通过普通 read-write方式，如下代码所示。 @RequestMapping("/courseware/{id}") public void download(@PathVariable("id") String courseID, HttpServletResp
  • scanf接受char类型的字符 dcj3sjt126com c
    /* 2013年3月11日22:35:54 目的：学习char只接受一个字符 */ # include <stdio.h> int main(void) { int i; char ch; scanf("%d", &i); printf("i = %d\n", i); scanf("%
  • 学编程的价值 dcj3sjt126com 编程
    发一个人会编程, 想想以后可以教儿女, 是多么美好的事啊, 不管儿女将来从事什么样的职业, 教一教, 对他思维的开拓大有帮助   像这位朋友学习:   http://blog.sina.com.cn/s/articlelist_2584320772_0_1.html   VirtualGS教程 (By @林泰前): 几十年的老程序员，资深的
  • 二维数组（矩阵）对角线输出 飞天奔月 二维数组
    今天在BBS里面看到这样的面试题目,   1，二维数组（N*N），沿对角线方向，从右上角打印到左下角如N=4： 4*4二维数组  { 1 2 3 4 } { 5 6 7 8 } { 9 10 11 12 } {13 14 15 16 } 打印顺序  4 3 8 2 7 12 1 6 11 16 5 10 15 9 14 13 要
  • Ehcache（08）——可阻塞的Cache——BlockingCache 234390216 并发ehcacheBlockingCache阻塞
    可阻塞的Cache—BlockingCache          在上一节我们提到了显示使用Ehcache锁的问题，其实我们还可以隐式的来使用Ehcache的锁，那就是通过BlockingCache。BlockingCache是Ehcache的一个封装类，可以让我们对Ehcache进行并发操作。其内部的锁机制是使用的net.
  • mysqldiff对数据库间进行差异比较 jackyrong mysqld
      mysqldiff该工具是官方mysql-utilities工具集的一个脚本，可以用来对比不同数据库之间的表结构，或者同个数据库间的表结构    如果在windows下，直接下载mysql-utilities安装就可以了，然后运行后，会跑到命令行下： 1） 基本用法    mysqldiff --server1=admin:12345
  • spring data jpa 方法中可用的关键字 lawrence.li javaspring
    spring data jpa 支持以方法名进行查询/删除/统计。 查询的关键字为find 删除的关键字为delete/remove (>=1.7.x) 统计的关键字为count (>=1.7.x)   修改需要使用@Modifying注解 @Modifying @Query("update User u set u.firstna
  • Spring的ModelAndView类 nicegege spring
    项目中controller的方法跳转的到ModelAndView类，一直很好奇spring怎么实现的？ /* * Copyright 2002-2010 the original author or authors. * * Licensed under the Apache License, Version 2.0 (the "License"); * yo
  • 搭建 CentOS 6 服务器(13) - rsync、Amanda rensanning centos
    （一）rsync Server端 # yum install rsync # vi /etc/xinetd.d/rsync service rsync { disable = no flags = IPv6 socket_type = stream wait
  • Learn Nodejs 02 toknowme nodejs
    （1）npm是什么 npm is the package manager for node 官方网站：https://www.npmjs.com/ npm上有很多优秀的nodejs包，来解决常见的一些问题，比如用node-mysql，就可以方便通过nodejs链接到mysql，进行数据库的操作 在开发过程往往会需要用到其他的包，使用npm就可以下载这些包来供程序调用 &nb
  • Spring MVC 拦截器 xp9802 spring mvc
    Controller层的拦截器继承于HandlerInterceptorAdapter HandlerInterceptorAdapter.java  1  public   abstract   class  HandlerInterceptorAdapter  implements  HandlerIntercep
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他