저는 Real World OCaml (RWO)의 8 장에서 암기에 관한 부분을 이해하려고 노력해 왔습니다. 나는 그것을 얻지 못했고 그래서 나는 OCaml 코드를 파이썬으로 번역하기로 결정했다. 이 연습은 (1) RWO의 말을 마침내 이해했으며, (2) 더 빠른 파이썬 코드를 작성하여 작동하는 것처럼 보이기 때문에 유용했습니다. 그러나 Python 코드를
루아에서 함수를 반환하는 방법은 무엇입니까? 이 파생 함수 주위에 내 머리를 감싸하려고하지만 그것을 이해하는 데 문제가 있습니다. function derivative(f, delta)
delta = delta or 1e-4
return function(x)
return (f(x + delta) - f(x))/delta
전송 패키지를 사용하여 맞춤 데이터 유형에 대한 유도 규칙을 설정하려하지만 apply transfer이 작동하지 않습니다. 다음은 간단한 예입니다 :이 시점에서 theory TransferHO imports Main begin
typedef pos = "{x :: nat. x > 0}" by blast
setup_lifting type_definiti
난 그냥 SO에 대답이 기능을 작성했습니다 function ngWrap($scope, fn) {
return function() {
var args = [].slice.call(arguments);
return $scope.$apply(function() {
fn.apply(null, args);
});
, 나는이 시도. 나는 하스켈하는 초보자입니다 [1 of 1] Compiling Main (pad.hs, interpreted)
pad.hs:2:8:
Could not deduce (Eq n) arising from the literal `0'
from the context (Num n)
bound by the type
는 같은 목표를 달성하기 위해 와 간단한 아마도 기능, 고차 패턴이 다음 코드 import std.datetime: Clock, SysTime, Duration;
SysTime[] times;
const n = 3;
foreach (i; 0..n) times ~= Clock.currTime;
을 감안할 때? 가능한 경우 보너스는 일부 내부 편집 패
내가 감소의 콜백 함수를 볼 수 있도록 부모 매개 변수를 얻을 수있는 많은 방법을 시도 고차원 콜백 매개 변수로 감소하지만 내가 모르는 뭔가가 있어야합니다 // Static
var y = [0, 1, 2, 3, 4, 5, 6, 7].reduce(
function(arr, x){
arr.push(Math.pow(2, x));
r
나는 다음과 같은 지능형리스트를 변환하는 시도했다 : f xs = [ x+8 | (x,_) <- xs ]
는 고차 함수를 사용하여. 내 최초의 솔루션이었다 : f'의 f' xs = map((+8).fst) xs
두 버전 모두 같은 (정확한) 출력을 제공 : f' xs = map (\(x,_) -> x+8) xs
나는 여러 가지 다른 접근을 시도
다음 코드 단편에 대한 바로 가기가 있습니까? while (true) {
val newClusters = this.iterate(instances, clusters)
if (newClusters == clusters) {
return clusters
}
clusters = newClusters
}
고정