函数式编程和局部函数状态分配
Functional programming and local function state assignments
我最近将一个代码转换为我认为至少部分有效的代码 javascript。
这是一个网络表单验证过程。在流程的每一步,函数都会执行自己的验证层并在将数据传递给下一个函数之前修改数据。
1) 我的第一个问题是......下面的代码至少可以被认为是 'partly' 功能吗?
您会注意到我在 requiredFields 中创建了两个赋值...状态。它们在函数中是局部的,函数没有外部副作用....
2) 这种局部赋值在函数式编程范式的上下文中是不好的做法吗?这算是'local side effect ?'
这是模型:
function linkmodel() {
return {
title: {
content: undefined,
validation: {
type: "string",
required: true,
minLength: 1,
maxLength: 3,
validationErrorMessage: "Your title must be a valid string between 1 and 35 characters"
}
},
email: {
content: undefined,
validation: {
type: "email",
required: true,
minLength: 1,
maxLength: 60,
validationErrorMessage: "Your email must be between 1 and 50 characters"
}
},
link: {
content: undefined,
validation: {
type: "url",
required: true,
minLength: 1,
maxLength: 500,
validationErrorMessage: "Your link name must be a valid email between 1 and 50 characters"
}
},
description: {
content: undefined
}
}
}
export default linkmodel
这是验证系统:
app.post( "/", function( req, res ) {
let form = new forms.IncomingForm()
form.parse( req, function( err, fields, files ) {
// Lodash launching the function flow
let errorMessageBag = _.flow( objectWithFieldsToValidate,
requiredFields,
stringLengthValidationCheck,
emailValidation )
let result = errorMessageBag(fields, linkmodel()) // That's the end result
console.log( "result", result )
})
// Return object containing all fields to validate and their criterias
function objectWithFieldsToValidate( fields, model ) {
// Remove all model fields that have no validation criteria in model. Description is one of those.
let modelFieldsToValidate = _.pickBy( model, function( value, key ) { return value.validation !== undefined })
// Remove from form field any entry that doesn't have a corresponding key in model
let formFieldsToValidate = _.pick( fields, Object.keys( modelFieldsToValidate ) )
_.forOwn( modelFieldsToValidate, function( value1, key1 ) {
_.forOwn( formFieldsToValidate, function( value, key ) {
if ( key1 === key ) {
modelFieldsToValidate[ key ].content = value
}
})
})
return modelFieldsToValidate
}
// Take care of required fields
function requiredFields( objectWithFieldsToValidate ) {
let okField = {}
let errors = {}
// error: field required but empty: add it to errors literal object
_.forOwn( objectWithFieldsToValidate, function( value, key ) {
if ( objectWithFieldsToValidate[ key ].validation.required === true && objectWithFieldsToValidate[ key ].content === "" ) {
errors[ key ] = objectWithFieldsToValidate[ key ].validation.validationErrorMessage
} else {
// no error: add field to litteral okField
okField[ key ] = value
}
})
return ( { "okField": okField, "errors": errors })
}
function stringLengthValidationCheck( requiredFields ) {
let validatedFields = requiredFields
_.forOwn( validatedFields.okField, function( value, key ) {
// Error: field length is not valid
if ( !validator.isLength( value[ "content" ],
{ min: value[ "validation" ].minLength, max: value[ "validation" ].maxLength }
) ) {
// Add error message to errors errors literal object
validatedFields[ "errors" ][ key ] = value[ "validation" ].validationErrorMessage
// Remove problematic field from okFields
delete validatedFields[ "okField" ][ key ]
}
})
return validatedFields
}
function emailValidation( stringLengthValidationCheck ) {
let validatedFields = stringLengthValidationCheck
_.forOwn( validatedFields.okField, function( value, key ) {
// Error
if ( value["validation"]["type"] === "email" && !validator.isEmail( value[ "content" ])) {
// Add error message to errors
validatedFields[ "errors" ][ key ] = value[ "validation" ].validationErrorMessage
// Remove problematic field from okFields
delete validatedFields[ "okField" ][ key ]
}
})
return validatedFields
}
3) 如果您找到改进此代码的方法,我将很高兴看到您可以提出更好的功能重构,仍然使用 lodash。
正如上面的评论所暗示的,具体的代码审查可能不是 SO 的主题,但要回答你问题的一般部分:是的,可以考虑没有外部可见副作用的功能 "functional"在更广泛的意义上——比如说,"behaviorally functional"——即使它在内部使用赋值。
这里一个可能的问题可能是如何验证副作用确实只是内部的并且从外部看不到。
另一个理论上有趣的事实是,存在一些在行为上具有功能但可以仅通过(内部)分配实现的功能。有关详细信息,请参阅 the paper(如果您无法访问 ACM 数字图书馆中的论文,请尝试在网上搜索论文的标题 and/or)。
我最近将一个代码转换为我认为至少部分有效的代码 javascript。 这是一个网络表单验证过程。在流程的每一步,函数都会执行自己的验证层并在将数据传递给下一个函数之前修改数据。
1) 我的第一个问题是......下面的代码至少可以被认为是 'partly' 功能吗?
您会注意到我在 requiredFields 中创建了两个赋值...状态。它们在函数中是局部的,函数没有外部副作用....
2) 这种局部赋值在函数式编程范式的上下文中是不好的做法吗?这算是'local side effect ?'
这是模型:
function linkmodel() {
return {
title: {
content: undefined,
validation: {
type: "string",
required: true,
minLength: 1,
maxLength: 3,
validationErrorMessage: "Your title must be a valid string between 1 and 35 characters"
}
},
email: {
content: undefined,
validation: {
type: "email",
required: true,
minLength: 1,
maxLength: 60,
validationErrorMessage: "Your email must be between 1 and 50 characters"
}
},
link: {
content: undefined,
validation: {
type: "url",
required: true,
minLength: 1,
maxLength: 500,
validationErrorMessage: "Your link name must be a valid email between 1 and 50 characters"
}
},
description: {
content: undefined
}
}
}
export default linkmodel
这是验证系统:
app.post( "/", function( req, res ) {
let form = new forms.IncomingForm()
form.parse( req, function( err, fields, files ) {
// Lodash launching the function flow
let errorMessageBag = _.flow( objectWithFieldsToValidate,
requiredFields,
stringLengthValidationCheck,
emailValidation )
let result = errorMessageBag(fields, linkmodel()) // That's the end result
console.log( "result", result )
})
// Return object containing all fields to validate and their criterias
function objectWithFieldsToValidate( fields, model ) {
// Remove all model fields that have no validation criteria in model. Description is one of those.
let modelFieldsToValidate = _.pickBy( model, function( value, key ) { return value.validation !== undefined })
// Remove from form field any entry that doesn't have a corresponding key in model
let formFieldsToValidate = _.pick( fields, Object.keys( modelFieldsToValidate ) )
_.forOwn( modelFieldsToValidate, function( value1, key1 ) {
_.forOwn( formFieldsToValidate, function( value, key ) {
if ( key1 === key ) {
modelFieldsToValidate[ key ].content = value
}
})
})
return modelFieldsToValidate
}
// Take care of required fields
function requiredFields( objectWithFieldsToValidate ) {
let okField = {}
let errors = {}
// error: field required but empty: add it to errors literal object
_.forOwn( objectWithFieldsToValidate, function( value, key ) {
if ( objectWithFieldsToValidate[ key ].validation.required === true && objectWithFieldsToValidate[ key ].content === "" ) {
errors[ key ] = objectWithFieldsToValidate[ key ].validation.validationErrorMessage
} else {
// no error: add field to litteral okField
okField[ key ] = value
}
})
return ( { "okField": okField, "errors": errors })
}
function stringLengthValidationCheck( requiredFields ) {
let validatedFields = requiredFields
_.forOwn( validatedFields.okField, function( value, key ) {
// Error: field length is not valid
if ( !validator.isLength( value[ "content" ],
{ min: value[ "validation" ].minLength, max: value[ "validation" ].maxLength }
) ) {
// Add error message to errors errors literal object
validatedFields[ "errors" ][ key ] = value[ "validation" ].validationErrorMessage
// Remove problematic field from okFields
delete validatedFields[ "okField" ][ key ]
}
})
return validatedFields
}
function emailValidation( stringLengthValidationCheck ) {
let validatedFields = stringLengthValidationCheck
_.forOwn( validatedFields.okField, function( value, key ) {
// Error
if ( value["validation"]["type"] === "email" && !validator.isEmail( value[ "content" ])) {
// Add error message to errors
validatedFields[ "errors" ][ key ] = value[ "validation" ].validationErrorMessage
// Remove problematic field from okFields
delete validatedFields[ "okField" ][ key ]
}
})
return validatedFields
}
3) 如果您找到改进此代码的方法,我将很高兴看到您可以提出更好的功能重构,仍然使用 lodash。
正如上面的评论所暗示的,具体的代码审查可能不是 SO 的主题,但要回答你问题的一般部分:是的,可以考虑没有外部可见副作用的功能 "functional"在更广泛的意义上——比如说,"behaviorally functional"——即使它在内部使用赋值。
这里一个可能的问题可能是如何验证副作用确实只是内部的并且从外部看不到。
另一个理论上有趣的事实是,存在一些在行为上具有功能但可以仅通过(内部)分配实现的功能。有关详细信息,请参阅 the paper(如果您无法访问 ACM 数字图书馆中的论文,请尝试在网上搜索论文的标题 and/or)。